Explanation in mathematical conversations: an empirical investigation
Open Access
- 21 January 2019
- journal article
- research article
- Published by The Royal Society in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
- Vol. 377 (2140) , 20180159
Abstract
Analysis of online mathematics forums can help reveal how explanation is used by mathematicians; we contend that this use of explanation may help to provide an informal conceptualization of simplicity. We extracted six conjectures from recent philosophical work on the occurrence and characteristics of explanation in mathematics. We then tested these conjectures against a corpus derived from online mathematical discussions. To this end, we employed two techniques, one based on indicator terms, the other on a random sample of comments lacking such indicators. Our findings suggest that explanation is widespread in mathematical practice and that it occurs not only in proofs but also in other mathematical contexts. Our work also provides further evidence for the utility of empirical methods in addressing philosophical problems. This article is part of the theme issue ‘The notion of ‘simple proof’ - Hilbert's 24th problem’.Keywords
Funding Information
- Engineering and Physical Sciences Research Council (EP/K040251/2)
- Engineering and Physical Sciences Research Council (EP/P017320/1)
- FET-Open
This publication has 41 references indexed in Scilit:
- Against Mathematical ExplanationJournal for General Philosophy of Science, 2013
- A new proof of the density Hales-Jewett theoremAnnals of Mathematics, 2012
- Does mathematics look certain in the front, but fallible in the back?Social Studies of Science, 2011
- What is good mathematics?Bulletin of the American Mathematical Society, 2007
- Van Fraassen on ExplanationThe Journal of Philosophy, 1987
- Explanation, Independence and Realism in MathematicsThe British Journal for the Philosophy of Science, 1987
- The epistemology of a rule-based expert system —a framework for explanationArtificial Intelligence, 1983
- Explanatory UnificationPhilosophy of Science, 1981
- The Conceivability of MechanismPhilosophical Review, 1968
- Explanation and Prediction in Evolutionary TheoryScience, 1959