On proof and progress in mathematics (1994)arxiv.org1 point·DavidSJ··1 commentOpen articleSaveView on HN