London, England: Routledge (1992)

Michael Detlefsen
University of Notre Dame
The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.
Keywords Proof theory  Logic, Symbolic and mathematical
Categories (categorize this paper)
Reprint years 2005, 2014, 2015
Buy this book $58.00 new (6% off)   $61.44 from Amazon    $62.62 used   Amazon page
Call number QA9.54.P77 1991
ISBN(s) 9781138009073   9780203980255   0415023351   9780415023351   9781134975280   9781134975273   9781134975235   9781134975259   1134975287   1138009075
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,316
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
Chapters BETA

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Non-Deductive Methods in Mathematics.Alan Baker - 2010 - Stanford Encyclopedia of Philosophy.
Is Mathematics Problem Solving or Theorem Proving?Carlo Cellucci - 2017 - Foundations of Science 22 (1):183-199.

Add more citations

Similar books and articles

Proof: Its Nature and Significance.Michael Detlefsen - 2008 - In Bonnie Gold & Roger A. Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. pp. 1.
Limitations of Formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Reverse Mathematics of Prime Factorization of Ordinals.Jeffry L. Hirst - 1999 - Archive for Mathematical Logic 38 (3):195-201.


Added to PP index

Total views
103 ( #106,238 of 2,456,151 )

Recent downloads (6 months)
5 ( #143,540 of 2,456,151 )

How can I increase my downloads?


My notes