Memories of Kurt Gödel (2012) | Hacker News Reader