Why do mathematicians re-prove theorems?

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)
DOI 10.1093/philmat/nkl009
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,545
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
How to Think About Informal Proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
The Nature of Mathematical Explanation.Carlo Cellucci - 2008 - Studies in History and Philosophy of Science Part A 39 (2):202-210.
Against Mathematical Explanation.Mark Zelcer - 2013 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 44 (1):173-192.
The Nature of Mathematical Explanation.Carlo Cellucci - 2008 - Studies in History and Philosophy of Science Part A 39 (2):202-210.
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.

View all 11 citations / Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
99 ( #54,700 of 2,210,861 )

Recent downloads (6 months)
2 ( #208,006 of 2,210,861 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature