On proof and progress in mathematics (1994) [pdf]arxiv.org1 point·edjroot··0 commentsOpen articleSaveView on HN