On proof and progress in mathematics (1994) [pdf] | Dark Hacker News