On Proof and Progress in Mathematics. Thurston, W. P.
On Proof and Progress in Mathematics [link]Paper  abstract   bibtex   
In response to Jaffe and Quinn [math.HO/9307227], the author discusses forms of progress in mathematics that are not captured by formal proofs of theorems, especially in his own work in the theory of foliations and geometrization of 3-manifolds and dynamical systems.
@article{thurstonProofProgressMathematics1994,
  archivePrefix = {arXiv},
  eprinttype = {arxiv},
  eprint = {math/9404236},
  title = {On Proof and Progress in Mathematics},
  url = {http://arxiv.org/abs/math/9404236},
  abstract = {In response to Jaffe and Quinn [math.HO/9307227], the author discusses forms of progress in mathematics that are not captured by formal proofs of theorems, especially in his own work in the theory of foliations and geometrization of 3-manifolds and dynamical systems.},
  urldate = {2019-03-03},
  date = {1994-03-31},
  keywords = {Mathematics - History and Overview},
  author = {Thurston, William P.},
  file = {/home/dimitri/Nextcloud/Zotero/storage/H2ALBXMG/Thurston - 1994 - On proof and progress in mathematics.pdf;/home/dimitri/Nextcloud/Zotero/storage/RZ72RXLT/9404236.html}
}
Downloads: 0