New top story on Hacker News: Peano arithmetic is enough, because Peano arithmetic encodes computation

Peano arithmetic is enough, because Peano arithmetic encodes computation
25 by btilly | 5 comments on Hacker News.


No comments:

Post a Comment