Mathematicians’ Assessments of the Explanatory Value of Proofs

, , &
Axiomathes 31 (5):575-599 (2021)
  Copy   BIBTEX

Abstract

The literature on mathematical explanation contains numerous examples of explanatory, and not so explanatory proofs. In this paper we report results of an empirical study aimed at investigating mathematicians’ notion of explanatoriness, and its relationship to accounts of mathematical explanation. Using a Comparative Judgement approach, we asked 38 mathematicians to assess the explanatory value of several proofs of the same proposition. We found an extremely high level of agreement among mathematicians, and some inconsistencies between their assessments and claims in the literature regarding the explanatoriness of certain types of proofs.

Categories

Keywords

Reprint years

DOI

10.1007/s10516-021-09545-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Mathematical Proofs: The Beautiful and The Explanatory.Marcus Giaquinto - unknown
Explanation in mathematics: Proofs and practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11):e12629.
Mathematical Explanations that are Not Proofs.Marc Lange - 2018 - Erkenntnis 83 (6):1285-1302.
Functional explanation in mathematics.Matthew Inglis & Juan Pablo Mejía Ramos - 2019 - Synthese 198 (26):6369-6392.
Motivated proofs: What they are, why they matter and how to write them.Rebecca Lea Morris - 2020 - Review of Symbolic Logic 13 (1):23-46.
Explanatory Proofs and Beautiful Proofs.Marc Lange - unknown
Unificatory Understanding and Explanatory Proofs.Joachim Frans - 2020 - Foundations of Science 26 (4):1105-1127.
Aspects of Mathematical Explanation: Symmetry, Unity, and Salience.Marc Lange - 2014 - Philosophical Review 123 (4):485-531.
A Historical Approach to Understanding Explanatory Proofs Based on Mathematical Practices.Erika Oshiro - 2018 - Dissertation, University of South Florida
What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians.Don Fallis - 2002 - Logique Et Analyse 45.
On Mathematicians' Different Standards When Evaluating Elementary Proofs.Matthew Inglis, Juan Pablo Mejia-Ramos, Keith Weber & Lara Alcock - 2013 - Topics in Cognitive Science 5 (2):270-282.
Probabilistic Proofs and the Collective Epistemic Goals of Mathematicians.Don Fallis - 2011 - In Hans Bernhard Schmid, Daniel Sirtes & Marcel Weber (eds.), Collective Epistemology. Heusenstamm, Germany: Ontos. pp. 157-175.
Acceptable gaps in mathematical proofs.Line Edslev Andersen - 2020 - Synthese 197 (1):233-247.
Explanation by induction?Miguel Hoeltje, Benjamin Schnieder & Alex Steinberg - 2013 - Synthese 190 (3):509-524.
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.

Analytics

Added to PP
2021-03-18

Downloads
61 (#253,934)

6 months
15 (#145,565)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Add more citations

References found in this work

Explanatory unification.Philip Kitcher - 1981 - Philosophy of Science 48 (4):507-531.
The explanatory power of phase spaces.Aidan Lyon & Mark Colyvan - 2008 - Philosophia Mathematica 16 (2):227-243.
An introduction to the philosophy of mathematics.Mark Colyvan - 2012 - Cambridge: Cambridge University Press.
A law of comparative judgment.L. L. Thurstone - 1927 - Psychological Review 34 (4):273-286.

View all 32 references / Add more references