Back to Search
Start Over
Explanatory Proofs and Beautiful Proofs.
- Source :
- Journal of Humanistic Mathematics; Jan2016, Vol. 6 Issue 1, p8-51, 45p
- Publication Year :
- 2016
-
Abstract
- 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 co-incidence, 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. [ABSTRACT FROM AUTHOR]
- Subjects :
- MATHEMATICAL proofs
MATHEMATICS education
ARITHMETIC series
Subjects
Details
- Language :
- English
- ISSN :
- 21598118
- Volume :
- 6
- Issue :
- 1
- Database :
- Complementary Index
- Journal :
- Journal of Humanistic Mathematics
- Publication Type :
- Academic Journal
- Accession number :
- 112931727
- Full Text :
- https://doi.org/10.5642/jhummath.201601.04