%0 Generic %1 thurston1994proof %A Thurston, William P. %D 1994 %K logic meta proof %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.

@misc{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-06-13T13:45:05.000+0200}, author = {Thurston, William P.}, biburl = {https://www.bibsonomy.org/bibtex/228e14ece6612786b472639d6712bac13/felix.gif}, description = {On proof and progress in mathematics}, interhash = {561946a97824a4de98ce7e91b63e2e7e}, intrahash = {28e14ece6612786b472639d6712bac13}, keywords = {logic meta proof}, note = {cite arxiv:math/9404236Comment: 17 pages. Abstract added in migration.}, timestamp = {2019-06-13T13:45:05.000+0200}, title = {On proof and progress in mathematics}, url = {http://arxiv.org/abs/math/9404236}, year = 1994 }