On proof and progress in mathematics (1994) #1 Post by jgyou » Wed, Jun 28, 2017, 3:17 PM UTC On proof and progress in mathematics (1994)arxiv.org