Why do mathematicians re-prove theorems?

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)
DOI 10.1093/philmat/nkl009
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,201
Through your library

References found in this work BETA

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.

View all 15 references / Add more references

Citations of this work BETA

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.
How to Think About Informal Proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.

View all 14 citations / Add more citations

Similar books and articles


Added to PP index

Total views
118 ( #72,588 of 2,289,672 )

Recent downloads (6 months)
3 ( #405,855 of 2,289,672 )

How can I increase my downloads?


My notes

Sign in to use this feature