Although mathematicians often use it, mathematical beauty is a philosophically challenging concept. How can abstract objects be evaluated as beautiful? Is this related to their visualisations? Using an example from graph theory, this paper argues that, in making aesthetic judgements, mathematicians may be responding to a combination of perceptual properties of visual representations and mathematical properties of abstract structures; the latter seem to carry greater weight. Mathematical beauty thus primarily involves mathematicians’ sensitivity to aesthetics of the abstract.

One of the general criteria G. H. Hardy identifies and discusses in his famous essay A Mathematician’s Apology (Cambridge University Press, Cambridge, 1940) by which a mathematician’s patterns must be judged is seriousness. This article focuses on one of Hardy’s examples of a non-serious theorem, namely that 8712 and 9801 are the only numbers below 10000 which are integral multiples of their reversals, in the sense that 8712 = 4·2178, and 9801 = 9·1089. In the context of a discussion of (...) generality, which he considers an essential quality of seriousness, he explains that there is nothing in this example which “appeals much to a mathematician” and that it is “not capable of any significant generalization.” Interestingly, since the publication of the Apology, more than a dozen papers—including one by the renowned mathematician Neil Sloane—have been published that discuss generalizations of Hardy’s example. By identifying the most important aspect of Hardy’s notion of generality, it is argued that, contrary to the views of several researchers, Hardy’s claim regarding the non-capability of any significant generalization is still tenable. Furthermore, this case study is presented and discussed as an example of the multifaceted nature of mathematical interest. (shrink)

ABSTRACT Our goal in this paper is to extend counterfactual accounts of scientific explanation to mathematics. Our focus, in particular, is on intra-mathematical explanations: explanations of one mathematical fact in terms of another. We offer a basic counterfactual theory of intra-mathematical explanations, before modelling the explanatory structure of a test case using counterfactual machinery. We finish by considering the application of counterpossibles to mathematical explanation, and explore a second test case along these lines.

In this paper we argue that questions about which mathematical ideas mathematicians are exposed to and choose to pay attention to are epistemologically relevant and entangled with power dynamics and social justice concerns. There is a considerable body of literature that discusses the dissemination and uptake of ideas as social justice issues. We argue that these insights are also relevant for the epistemology of mathematics. We make this visible by a journalistic exploration of relevant cases and embed our insights into (...) the larger question how mathematical ideas are taken up in mathematical practices. We argue that epistemologies of mathematics ought to account for questions of exposure to and choice of attention to mathematical ideas, and remark on the political relevance of such epistemologies. (shrink)

In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice . In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice covering topics including the (...) distinction between formal and informal proofs, visualization and artefacts, mathematical explanation and understanding, value judgments, and mathematical design. We conclude with some remarks on the potential connections between the philosophy of mathematical practice and mathematics education. (shrink)