W. Thurston. (1994)cite arxiv:math/9404236Comment: 17 pages. Abstract added in migration..
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.
[math/9404236] On proof and progress in mathematics