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.
Users
Please
log in to take part in the discussion (add own reviews or comments).