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.Comment: 17 pages. Abstract added in migration

Thurston, William P.

English

arXiv

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

On proof and progress in mathematics

Abstract

Similar works

Full text

Available Versions

eScholarship - University of California