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.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,126

External links

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

Through your library

Analytics

Added to PP
2021-03-18

Downloads
98 (#229,774)

6 months
11 (#332,157)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Tanya Evans
University of Auckland
Juan Pablo Mejía Ramos
Rutgers University - New Brunswick
1 more

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