On proof and progress in mathematics

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.

17 pages. Abstract added in migration.

Cited by in corpus (2)

• Resurgence and Trans-series in Quantum Field Theory: The CP(N-1) Model
• NaturalProofs: Mathematical Theorem Proving in Natural Language