%0 Journal Article %1 thurston1994proof %A Thurston, William P. %D 1994 %K mathematics proof-systems %T On proof and progress in mathematics %U http://arxiv.org/abs/math/9404236 %X 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.

@article{thurston1994proof, 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.}, added-at = {2019-11-08T12:16:11.000+0100}, author = {Thurston, William P.}, biburl = {https://www.bibsonomy.org/bibtex/25d04ab4d380e12a99e60adcb7ac7a6ee/kirk86}, description = {[math/9404236] On proof and progress in mathematics}, interhash = {561946a97824a4de98ce7e91b63e2e7e}, intrahash = {5d04ab4d380e12a99e60adcb7ac7a6ee}, keywords = {mathematics proof-systems}, note = {cite arxiv:math/9404236Comment: 17 pages. Abstract added in migration.}, timestamp = {2019-11-08T12:16:11.000+0100}, title = {On proof and progress in mathematics}, url = {http://arxiv.org/abs/math/9404236}, year = 1994 }