Marc Lange
University of North Carolina, Chapel Hill
This paper concerns the relation between a proof’s beauty and its explanatory power – that is, its capacity to go beyond proving a given theorem to explaining why that theorem holds. Explanatory power and beauty are among the many virtues that mathematicians value and seek in various proofs, and it is important to come to a better understanding of the relations among these virtues. Mathematical practice has long recognized that certain proofs but not others have explanatory power, and this paper offers an account of what makes a proof explanatory. This account is motivated by a wide range of examples drawn from mathematical practice, and the account proposed here is compared to other accounts in the literature. The concept of a proof that explains is closely intertwined with other important concepts, such as a brute force proof, a mathematical coincidence, unification in mathematics, and natural properties. Ultimately, this paper concludes that the features of a proof that would contribute to its explanatory power would also contribute to its beauty, but that these two virtues are not the same; a beautiful proof need not be explanatory
Keywords No keywords specified (fix it)
Categories (categorize this paper)
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: 50,308
External links

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

What Makes a Scientific Explanation Distinctively Mathematical?Marc Lange - 2013 - British Journal for the Philosophy of Science 64 (3):485-511.
Explanatory Unification and the Causal Structure of the World.Philip Kitcher - 1989 - In Philip Kitcher & Wesley Salmon (eds.), Scientific Explanation. Minneapolis: University of Minnesota Press. pp. 410-505.
Mathematical Explanation.Mark Steiner - 1978 - Philosophical Studies 34 (2):135 - 151.

View all 10 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Explanation in Mathematical Practice.David Sandborg - 1997 - Dissertation, University of Pittsburgh
The Surveyability of Long Proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
An Inquiry Into the Explanatory Virtues of Transaction Cost Economics.Lukasz Hardt - 2011 - Journal of Philosophical Economics 5 (1):120-147.
Kilka uwag o dowodzie w matematyce.Roman Murawski - 2013 - Filozofia Nauki 21 (1).
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.
On Automating Diagrammatic Proofs of Arithmetic Arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.


Added to PP index

Total views
39 ( #241,576 of 2,325,999 )

Recent downloads (6 months)
2 ( #445,586 of 2,325,999 )

How can I increase my downloads?


My notes