Proof, Logic and Formalization

London, England: Routledge (1992)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

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

Through your library

Similar books and articles

Proof and Knowledge in Mathematics.Michael Detlefsen (ed.) - 1992 - New York: Routledge.
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 - Mineola, N.Y.: Dover Publications.
Reverse mathematics of prime factorization of ordinals.Jeffry L. Hirst - 1999 - Archive for Mathematical Logic 38 (3):195-201.

Analytics

Added to PP
2009-01-28

Downloads
117 (#152,175)

6 months
6 (#507,808)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Detlefsen
Last affiliation: University of Notre Dame

References found in this work

No references found.

Add more references