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