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}, month = {Apr}, posted-at = {2009-10-20 08:50:56}, 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 AU - Thurston, William PY - 1994/Apr/01/ UR - http://arxiv.org/abs/math.HO/9404236 ER -