The (complicated) relationship between math and logic (2012) | Hacker News Reader