David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Philosophia Mathematica 14 (3):269-286 (2006)
From ancient times to the present, the discovery and presentation of new proofs of previously established theorems has been a salient feature of mathematical practice. Why? What purposes are served by such endeavors? And how do mathematicians judge whether two proofs of the same theorem are essentially different? Consideration of such questions illuminates the roles that proofs play in the validation and communication of mathematical knowledge and raises issues that have yet to be resolved by mathematical logicians. The Appendix, in which several proofs of the Fundamental Theorem of Arithmetic are compared, provides a miniature case study.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
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|
References found in this work BETA
No references found.
Citations of this work BETA
Alexander Paseau (2011). Proofs of the Compactness Theorem. History and Philosophy of Logic 31 (1):73-98.
S. Pollard (2013). Mathematics and the Good Life. Philosophia Mathematica 21 (1):93-109.
Similar books and articles
Jean Paul Van Bendegem (1988). Non-Formal Properties of Real Mathematical Proofs. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:249 - 254.
Richard Tieszen (1994). Mathematical Realism and Gödel's Incompleteness Theorems. Philosophia Mathematica 2 (3):177-201.
J. W. Dawson (2006). Why Do Mathematicians Re-Prove Theorems? Philosophia Mathematica 14 (3):269-286.
Yehuda Rav (2007). A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices. Philosophia Mathematica 15 (3):291-320.
Don Fallis (2002). What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians. Logique Et Analyse 45.
Mateja Jamnik, Alan Bundy & Ian Green (1999). On Automating Diagrammatic Proofs of Arithmetic Arguments. Journal of Logic, Language and Information 8 (3):297-321.
Peter Smith (2013). An Introduction to Gödel's Theorems. Cambridge University Press.
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Added to index2009-01-28
Total downloads52 ( #37,712 of 1,679,377 )
Recent downloads (6 months)1 ( #182,933 of 1,679,377 )
How can I increase my downloads?