On proof and progress in mathematics Export

@article{citeulike:760173, abstract = {In response to Jaffe and Quinn [<a href="/abs/math.HO/9307227">math.HO/9307227</a>], 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.}, archivePrefix = {arXiv}, author = {Thurston, William P.}, citeulike-article-id = {760173}, citeulike-linkout-0 = {http://arxiv.org/abs/math.HO/9404236}, citeulike-linkout-1 = {http://arxiv.org/pdf/math.HO/9404236}, day = {1}, eprint = {math.HO/9404236}, keywords = {famous, logic, math-history, metamath}, month = {Apr}, posted-at = {2009-11-08 03:34:51}, priority = {2}, title = {On proof and progress in mathematics}, url = {http://arxiv.org/abs/math.HO/9404236}, year = {1994} }

TY - JOUR ID - citeulike:760173 L3 - citeulike-article-id:760173 N2 - In response to Jaffe and Quinn [<a href="/abs/math.HO/9307227">math.HO/9307227</a>], 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. TI - On proof and progress in mathematics KW - famous KW - logic KW - math-history KW - metamath AU - Thurston, William PY - 1994/Apr/01/ UR - http://arxiv.org/abs/math.HO/9404236 ER -