2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/152906In 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.History and Overviewtext