[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
- gstom.pdfmath.umd.edu
- There’s more to mathematics than rigour and proofs | What's newterrytao.wordpress.com
- The Riemann Hypothesis: Past, Present and a Letter Through Timearxiv.org
- Napkin.pdfvenhance.github.io
- Evan Chen • The Napkin project (v1.6)web.evanchen.cc
- Tim Gowers - Two culturesdpmms.cam.ac.uk
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Dynamics of Symmetry Group Theorizinglaetusinpraesens.org
- The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematicswolframscience.com
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- 245A: Problem solving strategies | What's newterrytao.wordpress.com
- Shtetl-Optimized >> Blog Archive >> Ten Signs a Claimed Mathematical Breakthrough is Wrongscottaaronson.blog