[math/9404236] On proof and progress in mathematics
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.
View PDF HTML (experimental) 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. Comments: 17 pages. Abstract added in migration. Subjects: History and Overview (math.HO) Report number: Bulletin migration 11/99 Cite as: arXiv:math/9404236 [math.HO] (or arXiv:math/9404236v1 [math.HO] for this version) https://doi.org/10.48550/arXiv.math/9404236 arXiv-issued DOI…
saved by
related reading
- There’s more to mathematics than rigour and proofs | What's newterrytao.wordpress.com
- The fall of the theorem economydavidbessis.substack.com
- gstom.pdfmath.umd.edu
- Formalizing Fermat's Last Theoremanthropic.com
- Work hard | What's newterrytao.wordpress.com
- Napkin.pdfvenhance.github.io
- Tim Gowers - Two culturesdpmms.cam.ac.uk
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- FLT: Anthropic has beaten me to itxenaproject.wordpress.com
- Betalog · Daniel Littdaniellitt.com
- Artificial Intelligence and the Structure of Mathematicsarxiv.org
- Reaping without sowing – Tobias J. Osborne's research notestjoresearchnotes.wordpress.com