On proof and progress in mathematics

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.

Categories

Add categories

Keywords

Reprint years

2006

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Reuben Hersh, ed. 18 Unconventional Essays on the Nature of Mathematics. New York: Springer, 2005. ISBN-10 0-387-25717-9, ISBN-13 978-0387-25717-4. Pp. xxi + 326. [REVIEW][author unknown] - 2006 - Philosophia Mathematica 14 (1):131-132.
New Directions in the Philosophy of Mathematics: An Anthology.Thomas Tymoczko (ed.) - 1998 - Princeton University Press.
Mathematical Practice and Human Cognition.Bernd Buldt - unknown
Mathematical proofs: a transition to advanced mathematics.Gary Chartrand - 2018 - Boston: Pearson. Edited by Albert D. Polimeni & Ping Zhang.
Three-manifolds, Foliations and Circles, I.P. Thurston William - unknown
Building proofs: a practical guide.Suely Oliveira - 2015 - New Jersey: World Scientific. Edited by David Stewart.
Introduction: Hypotheses and Progress.C. McLarty - 2012 - Philosophia Mathematica 20 (2):135-142.
Granularity analysis for tutoring mathematical proofs.Marvin R. G. Schiller - 2011 - [Heidelberg]: AKA Verlag.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
Proof, rigour and informality : a virtue account of mathematical knowledge.Fenner Stanley Tanswell - 2016 - St Andrews Research Repository Philosophy Dissertations.

Analytics

Added to PP
2017-06-17

Downloads
14 (#1,020,370)

6 months
1 (#1,516,603)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
Mathematical knowledge is context dependent.Benedikt LÖWE & Thomas MÜLLER - 2008 - Grazer Philosophische Studien 76 (1):91-107.
Most Peers Don’t Believe It, Hence It Is Probably False.René van Woudenberg & Hans van Eyghen - 2017 - European Journal for Philosophy of Religion 9 (4):87-112.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references