The connection between understanding and explanation has recently been of interest to philosophers. Inglis and Mejía-Ramos (Synthese, 2019) propose that within mathematics, we should accept a functional account of explanation that characterizes explanations as those things that produce understanding. In this paper, I start with the assumption that this view of mathematical explanation is correct and consider what we can consequently learn about mathematical explanation. I argue that this view of explanation suggests that we should shift the question of explanation (...) away from why-questions and towards a “what’s going on here” question. Additionally, I argue that when we recognize the connection between understanding and explanation we naturally see how more than just proof can be explanatory. I expand this point by detailing how definitions and diagrams can be explanatory. In all, we see that when we take seriously the connection between understanding and explanation, we get a better sense of how explanation arises within mathematics. (shrink)

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)

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

In the philosophy of mathematical practice, the aim is to understand the various aspects of this practice. Even though definitions are a central element of mathematical practice, the study of this aspect of mathematical practice is still in its infancy. In particular, there is little empirical evidence to substantiate claims about definitions in practice. In this article, we address this gap by reporting on an empirical investigation on how mathematicians create definitions and which roles and properties they attribute to them. (...) On the basis of interviews with thirteen research mathematicians, we provide a broad range of relevant aspects of definitions. In particular, we address various roles of definitions and show that definitions are not just a product of mathematical factors, but also of social and contingent factors. Furthermore, we provide concrete examples of how mathematicians interact and think about definition. This broad empirical basis with a variety of examples provides an optimal starting point for future investigations into definitions in mathematical practice. (shrink)

Opinionated state of the art paper on mathematical explanation. After a general introduction to the subject, the paper is divided into two parts. The first part is dedicated to intra-mathematical explanation and the second is dedicated to extra-mathematical explanation. Each of these parts begins to present a set of diverse problems regarding each type of explanation and, afterwards, it analyses relevant models of the literature. Regarding the intra-mathematical explanation, the models of deformable proofs, mathematical saliences and the demonstrative structure of (...) mathematical induction are addressed. Regarding the extra-mathematical explanation, modal, abstract and deductive models are addressed. (shrink)