On Proof and Progress in Mathematics (1994) [pdf]math.toronto.edu2 points·lukeplato··0 commentsOpen articleSaveView on HN