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