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.
References
The reference list for this paper has not been collected yet.
Cited by 19
19 papers in the index cite this (Semantic Scholar counts 737 in total).
The cited-by list is still filling in while reference lists are collected.
order