W. Thurston. (1994)cite arxiv:math/9404236Comment: 17 pages. Abstract added in migration..
Аннотация
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.
Описание
[math/9404236] On proof and progress in mathematics
%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
}