Proof: Its Nature and Significance

In Bonnie Gold & Roger A. Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. MAA. pp. 3-32 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
The four-color theorem and mathematical proof.Michael Detlefsen & Mark Luker - 1980 - Journal of Philosophy 77 (12):803-820.
Computer, Proof, and Testimony.Kai-Yee Wong - 2012 - Studies in Logic 5 (1):50-67.
Michael Detlefsen (ed.), Proof, Logic and Formalization. Michael Detlefsen (ed.), Proof and Knowledge in Mathematics. [REVIEW]Luiz Carlos Pereira - 1997 - Erkenntnis 47 (2):245-254.
Descartes's Ontological Proof of God's Existence.Cecilia Wee - 2012 - British Journal for the History of Philosophy 20 (1):23-40.
Descartes's Ontological Proof of God's Existence.Cecilia Wee - 2012 - British Journal for the History of Philosophy 20 (1):23-40.
Proof in mathematics ("if", "then" and "perhaps"): a collection of material illustrating the nature and variety of the idea of proof in mathematics.P. R. Baxandall (ed.) - 1978 - [Keele]: University of Keele, Institute of Education.
A Computer Tutor for Formal & Applied Logic: A Proposal to NCR Corporation.Preston K. Covey - unknown
Assertion-level Proof Representation with Under-Specification.Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek & Bao Quoc Vo - 2004 - Electronic Notes in Theoretical Computer Science 93:5-23.
Skolem and the löwenheim-skolem theorem: a case study of the philosophical significance of mathematical results.Alexander George - 1985 - History and Philosophy of Logic 6 (1):75-89.
Poincaré vs. Russell on the rôle of logic in mathematicst.Michael Detlefsen - 1993 - Philosophia Mathematica 1 (1):24-49.
Sequent reconstruction in LLM—A sweepline proof.R. Banach - 1995 - Annals of Pure and Applied Logic 73 (3):277-295.
Is Euclid's proof of the infinitude of prime numbers tautological?Zeeshan Mahmud - manuscript
The proofs of the grundgedanke in Wittgenstein's tractatus.Leo K. C. Cheung - 1999 - Synthese 120 (3):395-410.

Analytics

Added to PP
2019-04-26

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Michael Detlefsen
Last affiliation: University of Notre Dame

Citations of this work

Groundwork for a Fallibilist Account of Mathematics.Silvia De Toffoli - 2021 - Philosophical Quarterly 7 (4):823-844.
Reliability of mathematical inference.Jeremy Avigad - 2020 - Synthese 198 (8):7377-7399.
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references