Graduate studies at Western
Philosophia Mathematica 14 (3):269-286 (2006)
|Abstract||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)|
|Through your library||Configure|
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 (2007). 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 ( #107,689 of 751,826 )
Recent downloads (6 months)1 ( #62,995 of 751,826 )
How can I increase my downloads?