New top story on Hacker News: Gödel’s first incompleteness theorem – an interactive tutorial

Gödel’s first incompleteness theorem – an interactive tutorial
56 by jamesfisher | 13 comments on Hacker News.