news.volyx.in

Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)

246 points by btilly · 412 days ago · 141 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.