Proof, Logic, and Formalization

Routledge (1992)

Authors
Michael Detlefsen
University of Notre Dame
Abstract
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, 2015
Buy the book $49.67 used (71% off)   $130.20 new (24% off)   $143.65 direct from Amazon (16% off)    Amazon page
Call number QA9.54.P77 1991
ISBN(s) 9781138009073   9780203980255   0415023351   9780415023351   9781134975280   9781134975273   9781134975235   9781134975259   1134975287  
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,796
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

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.James Franklin - 1996 - Quakers Hill Press.
Reverse Mathematics of Prime Factorization of Ordinals.Jeffry L. Hirst - 1999 - Archive for Mathematical Logic 38 (3):195-201.

Analytics

Added to PP index
2009-01-28

Total views
95 ( #79,872 of 2,244,031 )

Recent downloads (6 months)
2 ( #812,133 of 2,244,031 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature