Minds, Machines and Gödel | Hacker News Reader