news.volyx.in

Natural Number Game: build the basic theory of the natural numbers from scratch (adam.math.hhu.de)

191 points by mildog8 · 597 days ago · 32 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.