Gödel's Incompleteness Theorem (2014) | Hacker News Reader