Proof and Progress in Mathematics (1994) | Dark Hacker News