Skip to main content Accessibility help
×
Home
Hostname: page-component-559fc8cf4f-9dmbd Total loading time: 0.273 Render date: 2021-03-01T19:52:40.920Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": false, "newCiteModal": false, "newCitedByModal": true }

MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM

Published online by Cambridge University Press:  07 November 2019

REBECCA LEA MORRIS
Affiliation:
Independent Scholar
Corresponding

Abstract

Mathematicians judge proofs to possess, or lack, a variety of different qualities, including, for example, explanatory power, depth, purity, beauty and fit. Philosophers of mathematical practice have begun to investigate the nature of such qualities. However, mathematicians frequently draw attention to another desirable proof quality: being motivated. Intuitively, motivated proofs contain no “puzzling” steps, but they have received little further analysis. In this article, I begin a philosophical investigation into motivated proofs. I suggest that a proof is motivated if and only if mathematicians can identify (i) the tasks each step is intended to perform; and (ii) where each step could have reasonably come from. I argue that motivated proofs promote understanding, convey new mathematical resources and stimulate new discoveries. They thus have significant epistemic benefits and directly contribute to the efficient dissemination and advancement of mathematical knowledge. Given their benefits, I also discuss the more practical matter of how we can produce motivated proofs. Finally I consider the relationship between motivated proofs and proofs which are explanatory, beautiful and fitting.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2019 

Access options

Get access to the full version of this content by using one of the access options below.

References

Art of Problem Solving (n.d.). Proofs of AM-GM. Archived at: https://perma.cc/QTE7-YEH8.Google Scholar
Avigad, J. (2018). Modularity in mathematics. Review of Symbolic Logic, doi: 10.1017/S1755020317000387.CrossRefGoogle Scholar
Avigad, J. & Morris, R. L. (2014). The concept of “character” in Dirichlet’s theorem on primes in an arithmetic progression. Archive for History of Exact Sciences, 68(3), 265326.CrossRefGoogle Scholar
Avigad, J. & Morris, R. L. (2016). Character and object. Review of Symbolic Logic, 9(3), 480510.CrossRefGoogle Scholar
Cellucci, C. (2015). Mathematical beauty, understanding, and discovery. Foundations of Science, 20(4), 339355.CrossRefGoogle Scholar
Clark, P. L. (2013). Proof that every odd integer is a difference of two squares. URL: http://math.stackexchange.com/q/510239. Archived at: https://perma.cc/F8UZ-G7SP.Google Scholar
Cohn, H. (2006). A short proof of the simple continued fraction expansion of e. The American Mathematical Monthly, 113(1), 5762.Google Scholar
Cooke, D. E., Kreinovich, V., & Longpré, L. (1998). Which algorithms are feasible? Maxent approach. In Erickson, G. J., Rychert, J. T., and Smith, C. R., editors. Maximum Entropy and Bayesian Methods. Fundamental Theories of Physics. Dordrecht: Springer Netherlands, pp. 2533.CrossRefGoogle Scholar
Corrádi, K. & Szadó, S. (1993). A generalized form of Hajós’ theorem. Communications in Algebra, 21(11), 41194125.CrossRefGoogle Scholar
Detlefsen, M. & Arana, A. (2011). Purity of methods. Philosophers’ Imprint, 11, 120.Google Scholar
Deutsch, F. R. (2012). Best Approximation in Inner Product Spaces. New York: Springer Science & Business Media.Google Scholar
Gowers, T. (2008). Very brief tricki update. Archived at: https://perma.cc/9V4P-734F.Google Scholar
Halliwell, J. J. (2014). Two proofs of fine’s theorem. Physics Letters A, 378(40), 29452950.CrossRefGoogle Scholar
Jones, T. W. (2010). Discovering and proving that π is irrational. The American Mathematical Monthly, 117(6), 553557.CrossRefGoogle Scholar
Kitcher, P. (1989). Explanatory unification and the causal structure of the world. In Kitcher, P. and Salmon, W., editors. Scientific Explanation. Minneapolis: University of Minnesota Press, pp. 410505.Google Scholar
Lange, M. (2009). Why proofs by mathematical induction are generally not explanatory. Analysis, 69(2), 203211.CrossRefGoogle Scholar
Lange, M. (2015). Depth and explanation in mathematics. Philosophia Mathematica Series III, 23(2), 196214.CrossRefGoogle Scholar
MacLane, S. (1935). A logical analysis of mathematical structure. The Monist, 45(1), 118130.CrossRefGoogle Scholar
Montanaro, A. (2013). Simplest or nicest proof that 1 + xe x. Mathematics Stack Exchange. Archived at: https://perma.cc/E3Y5-WW9F.Google Scholar
Morris, R. L. (2015). Appropriate Steps: A Theory of Motivated Proofs. Ph.D. Thesis, Carnegie Mellon University.Google Scholar
Morris, R. L. (2019). Do mathematical explanations have instrumental value? Synthese, doi: 10.1007/s11229-019-02114-y.CrossRefGoogle Scholar
Müller, M. & Schleicher, D. (2011). How to add a noninteger number of terms: From axioms to new identities. The American Mathematical Monthly, 118(2), 136152.CrossRefGoogle Scholar
Pólya, G. (1949). With, or without, motivation? The American Mathematical Monthly, 56(10), 684691.CrossRefGoogle Scholar
Raman-Sundström, M. & Öhman, L.-D. (2018). Mathematical fit: A case study. Philosophia Mathematica, 26(2), 184210.Google Scholar
Rav, Y. (1999). Why do we prove theorems? Philosophia Mathematica, 7(1), 541.CrossRefGoogle Scholar
Rogers, C. A. (1973). Lusin’s second separation theorem. Journal of the London Mathematical Society. Second Series, s2-6(3), 491503.CrossRefGoogle Scholar
Rota, G.-C. (1997). The phenomenology of mathematical beauty. Synthese, 111(2), 171182.CrossRefGoogle Scholar
Sandborg, D. (1997). Explanation in Mathematical Practice. Ph.D. Thesis, University of Pittsburgh.Google Scholar
Sandborg, D. (1998). Mathematical explanation and the theory of why-questions. The British journal for the philosophy of science, 49(4), 603624.CrossRefGoogle Scholar
Sherali, H. D. (1987). A constructive proof of the representation theorem for polyhedral sets based on fundamental definitions. American Journal of Mathematical and Management Sciences, 7(3–4), 253270.CrossRefGoogle Scholar
Sieg, W. (2010). Searching for proofs (and uncovering capacities of the mathematical mind). In Feferman, S., and Sieg, W., editors. Proofs, Categories and Computations–Essays in Honor of Grigori Mints. London: College Publications, 189215.Google Scholar
Steele, J. M. (2004). The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
Steiner, M. (1978). Mathematical explanation. Philosophical studies, 34(2), 135151.CrossRefGoogle Scholar
Tappenden, J. (2008). Mathematical concepts: Fruitfulness and naturalness. In Mancosu, P., editor. The Philosophy of Mathematical Practice. New York: Oxford University Press, pp. 276301.CrossRefGoogle Scholar
Thurston, W. P. (1994). On proof and progress in mathematics. Bulletin of the American Mathematical Society, 30, 161177.CrossRefGoogle Scholar
Woodward, J. (2017). Scientific explanation. In Zalta, E. N., editor. The Stanford Encyclopedia of Philosophy (Fall 2017 edition). https://plato.stanford.edu/archives/fall2017/entries/scientific-explanation/.Google Scholar
Yap, A. (2011). Gauss’ quadratic reciprocity theorem and mathematical fruitfulness. Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics, 42(3), 410415.CrossRefGoogle Scholar

Full text views

Full text views reflects PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.

Total number of HTML views: 18
Total number of PDF views: 95 *
View data table for this chart

* Views captured on Cambridge Core between 07th November 2019 - 1st March 2021. This data will be updated every 24 hours.

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM
Available formats
×
×

Reply to: Submit a response


Your details


Conflicting interests

Do you have any conflicting interests? *