New top story on Hacker News: Peano arithmetic is enough, because Peano arithmetic encodes computation
Peano arithmetic is enough, because Peano arithmetic encodes computation
26 by btilly | 5 comments on Hacker News.
26 by btilly | 5 comments on Hacker News.
New top story on Hacker News: Peano arithmetic is enough, because Peano arithmetic encodes computation
![New top story on Hacker News: Peano arithmetic is enough, because Peano arithmetic encodes computation]()
Reviewed by zero news
on
June 14, 2025
Rating:
No comments: