Lecturer at Ariel University. I like discrete geometry.
9 Elementary proof of a triangular grid lemma Jun 3 '15
3 How long does the slow inefficient algorithm for computing the product in classical Laver tables take? Mar 28
3 Inverse Ackermann Function Apr 21
3 Simplest PA theorem whose proof requires encoding of sequences even though the statement itself doesn't Feb 18
2 Reference to parabola lemma Apr 16 '15