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
Carlo Cellucci (2008). The Nature of Mathematical Explanation. Studies in History and Philosophy of Science Part A 39 (2):202-210.
Alexander Paseau (2011). Proofs of the Compactness Theorem. History and Philosophy of Logic 31 (1):73-98.
Brendan Larvor (2012). How to Think About Informal Proofs. Synthese 187 (2):715-730.
S. Pollard (2013). Mathematics and the Good Life. Philosophia Mathematica 21 (1):93-109.
Mark Zelcer (2013). Against Mathematical Explanation. Journal for General Philosophy of Science 44 (1):173-192.
Similar books and articles
John W. Dawson Jr (2006). Why Do Mathematicians Re-Prove Theorems? Philosophia Mathematica 14 (3):269-286.
Su Gao (2001). Some Dichotomy Theorems for Isomorphism Relations of Countable Models. Journal of Symbolic Logic 66 (2):902-922.
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Eric Dietrich (2000). A Counterexample T o All Future Dynamic Systems Theories of Cognition. J. Of Experimental and Theoretical AI 12 (2):377-382.
R. A. V. Yehuda (1999). Why Do We Prove Theorems? Philosophia Mathematica 7 (1).
Y. Rav (1999). Why Do We Prove Theorems? Philosophia Mathematica 7 (1):5-41.
Don Fallis, What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians.
Peter Smith (2013). An Introduction to Gödel's Theorems. Cambridge University Press.
Janusz Czelakowski (1983). Some Theorems on Structural Entailment Relations. Studia Logica 42 (4):417 - 429.
Stefan Geschke (2002). Applications of Elementary Submodels in General Topology. Synthese 133 (1-2):31 - 41.
Kenny Easwaran (2008). The Role of Axioms in Mathematics. Erkenntnis 68 (3):381 - 391.
James Owen Weatherall (2013). The Scope and Generality of Bell's Theorem. Foundations of Physics 43 (9):1153-1169.
Saharon Shelah (1989). The Number of Pairwise Non-Elementary-Embeddable Models. Journal of Symbolic Logic 54 (4):1431-1455.
Andrew Arana (2008). Logical and Semantic Purity. Protosociology 25:36-48.
Added to index2010-08-24
Total downloads11 ( #113,039 of 1,089,064 )
Recent downloads (6 months)1 ( #69,801 of 1,089,064 )
How can I increase my downloads?