Mathematicians often conduct aesthetic judgements to evaluate mathematical objects such as equations or proofs. But is there a consensus about which mathematical objects are beautiful? We used a comparative judgement technique to measure aesthetic intuitions among British mathematicians, Chinese mathematicians, and British mathematics undergraduates, with the aim of assessing whether judgements of mathematical beauty are influenced by cultural differences or levels of expertise. We found aesthetic agreement both within and across these demographic groups. We conclude that judgements of mathematical beauty (...) are not strongly influenced by cultural difference, levels of expertise, and types of mathematical objects. Our findings contrast with recent studies that found mathematicians often disagree with each other about mathematical beauty. (shrink)

Many of the methods commonly used to research mathematical practice, such as analyses of historical episodes or individual cases, are particularly well-suited to generating causal hypotheses, but less well-suited to testing causal hypotheses. In this paper we reflect on the contribution that the so-called hypothetico-deductive method, with a particular focus on experimental studies, can make to our understanding of mathematical practice. By way of illustration, we report an experiment that investigated how mathematicians attribute aesthetic properties to mathematical proofs. We demonstrate (...) that perceptions of the aesthetic properties of mathematical proofs are, in some cases at least, subject to social influence. Specifically, we show that mathematicians’ aesthetic judgements tend to conform to the judgements made by others. Pedagogical implications are discussed. (shrink)

Mathematical explanations are poorly understood. Although mathematicians seem to regularly suggest that some proofs are explanatory whereas others are not, none of the philosophical accounts of what such claims mean has become widely accepted. In this paper we explore Wilkenfeld’s suggestion that explanations are those sorts of things that generate understanding. By considering a basic model of human cognitive architecture, we suggest that existing accounts of mathematical explanation are all derivable consequences of Wilkenfeld’s ‘functional explanation’ proposal. We therefore argue that (...) the explanatory criteria offered by earlier accounts can all be thought of as features that make it more likely that a mathematical proof will generate understanding. On the functional account, features such as characterising properties, unification, and salience correlate with explanatoriness, but they do not define explanatoriness. (shrink)

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. (shrink)

Additional theorizing about mathematical practice is needed in order to ground appeals to truly useful notions of the virtues in mathematics. This paper aims to contribute to this theorizing, first, by characterizing mathematical practice as being epistemic and “objectual” in the sense of Knorr Cetina The practice turn in contemporary theory, Routledge, London, 2001). Then, it elaborates a MacIntyrean framework for extracting conceptions of the virtues related to mathematical practice so understood. Finally, it makes the case that Wittgenstein’s methodology for (...) examining mathematics and its practice is the most appropriate one to use for the actual investigation of mathematical practice within this MacIntyrean framework. At each stage of thinking through mathematical practice by these means, places where new virtue-theoretic questions are opened up for investigation are noted and briefly explored. (shrink)

One of the central aims of the philosophical analysis of mathematical explanation is to determine how one can distinguish explanatory proofs from non-explanatory proofs. In this paper, I take a closer look at the current status of the debate, and what the challenges for the philosophical analysis of explanatory proofs are. In order to provide an answer to these challenges, I suggest we start from analysing the concept understanding. More precisely, I will defend four claims: understanding is a condition for (...) explanation, unificatory understanding is a type of explanatory understanding, unificatory understanding is valuable in mathematics, and mathematical proofs can contribute to unificatory understanding. As a result, in a context where the epistemic aim is to unify mathematical results, I argue it is fruitful to make a distinction between proofs based on their explanatory value. (shrink)