Moritz Pasch (1843ber neuere Geometrie (1882), in which he also clearly formulated the view that deductions must be independent from the meanings of the nonlogical terms involved. Pasch also presented in these lectures the main tenets of his philosophy of mathematics, which he continued to elaborate on throughout the rest of his life. This philosophy is quite unique in combining a deductivist methodology with a radically empiricist epistemology for mathematics. By taking into consideration publications from the entire span of Paschs (...) highly original, but virtually unknown, philosophy of mathematics is presented. (shrink)

In this paper we apply social epistemology to mathematical proofs and their role in mathematical knowledge. The most famous modern collaborative mathematical proof effort is the Classification of Finite Simple Groups. The history and sociology of this proof have been well-documented by Alma Steingart (2012), who highlights a number of surprising and unusual features of this collaborative endeavour that set it apart from smaller-scale pieces of mathematics. These features raise a number of interesting philosophical issues, but have received very little (...) attention. In this paper, we will consider the philosophical tensions that Steingart uncovers, and use them to argue that the best account of the epistemic status of the Classification Theorem will be essentially and ineliminably social. This forms part of the broader argument that in order to understand mathematical proofs, we must appreciate their social aspects. (shrink)

Monsters lurk within mathematical as well as literary haunts. I propose to trace some pathways between these two monstrous habitats. I start from Jeffrey Jerome Cohen’s influential account of monster culture and explore how well mathematical monsters fit each of his seven theses. The mathematical monsters I discuss are drawn primarily from three distinct but overlapping domains. Firstly, late nineteenth-century mathematicians made numerous unsettling discoveries that threatened their understanding of their own discipline and challenged their intuitions. The great French mathematician (...) Henri Poincaré characterised these anomalies as ‘monsters’, a name that stuck. Secondly, the twentieth-century philosopher Imre Lakatos composed a seminal work on the nature of mathematical proof, in which monsters play a conspicuous role. Lakatos coined such terms as ‘monster-barring’ and ‘monster-adjusting’ to describe strategies for dealing with entities whose properties seem to falsify a conjecture. Thirdly, and most recently, mathematicians dubbed the largest of the sporadic groups ‘the Monster’, because of its vast size and uncanny properties, and because its existence was suspected long before it could be confirmed. (shrink)

In this paper, I propose that applying the methods of data science to “the problem of whether mathematical explanations occur within mathematics itself” (Mancosu 2018) might be a fruitful way to shed new light on the problem. By carefully selecting indicator words for explanation and justification, and then systematically searching for these indicators in databases of scholarly works in mathematics, we can get an idea of how mathematicians use these terms in mathematical practice and with what frequency. The results of (...) this empirical study suggest that mathematical explanations do occur in research articles published in mathematics journals, as indicated by the occurrence of explanation indicators. When compared with the use of justification indicators, however, the data suggest that justifications occur much more frequently than explanations in scholarly mathematical practice. The results also suggest that justificatory proofs occur much more frequently than explanatory proofs, thus suggesting that proof may be playing a larger justificatory role than an explanatory role in scholarly mathematical practice. (shrink)

ABSTRACTIn this paper I investigate how conceptual engineering applies to mathematical concepts in particular. I begin with a discussion of Waismann’s notion of open texture, and compare it to Shapiro’s modern usage of the term. Next I set out the position taken by Lakatos which sees mathematical concepts as dynamic and open to improvement and development, arguing that Waismann’s open texture applies to mathematical concepts too. With the perspective of mathematics as open-textured, I make the case that this allows us (...) to deploy the tools of conceptual engineering in mathematics. I will examine Cappelen’s recent argument that there are no conceptual safe spaces and consider whether mathematics constitutes a counterexample. I argue that it does not, drawing on Haslanger’s distinction between manifest and operative concepts, and applying this in a novel way to set-theoretic foundations. I then set out some of the questions that need to be engaged with to establish mathematics as involving a kind of conceptual engineering. I finish with a case study of how the tools of conceptual engineering will give us a way to progress in the debate between advocates of the Universe view and the Multiverse view in set theory. (shrink)

We explore aspects of an experimental approach to mathematical proof, most notably number crunching, or the verification of subsequent particular cases of universal propositions. Since the rise of the computer age, this technique has indeed conquered practice, although it implies the abandonment of the ideal of absolute certainty. It seems that also in mathematical research, the qualitative criterion of effectiveness, i.e. to reach one’s goals, gets increasingly balanced against the quantitative one of efficiency, i.e. to minimize one’s means/ends ratio. Our (...) story will lead to the consideration of some limit cases, opening up the possibility of proofs of infinite length being surveyed in a finite time. By means of example, this should show that mathematical practice in vital aspects depends upon what the actual world is like. (shrink)

This article looks at recent work in cognitive science on mathematical cognition from the perspective of history and philosophy of mathematical practice. The discussion is focused on the work of Lakoff and Núñez, because this is the first comprehensive account of mathematical cognition that also addresses advanced mathematics and its history. Building on a distinction between mathematics as it is presented in textbooks and as it presents itself to the researcher, it is argued that the focus of cognitive analyses of (...) historical developments of mathematics has been primarily on the former, even if they claim to be about the latter. (shrink)

As mathematics departments in the United States began to shift toward standards of original research at the end of the nineteenth century, many adopted journal clubs as forums to engage with new periodical literature. The Bryn Mawr Mathematics Journal Club, maintained episodically between 1896 and 1924, began as a supplement to the graduate course offerings. Each semester student and professor participants focused on a single disciplinary area or surveyed what had been published lately. The Notebooks containing these reports were stored (...) on the open shelves of the college library. These collectively composed documents record ways in which graduate students transcribed and interpreted contemporary literature from the front to the back of mathematics. This article will consider the entries of a single student in which published mathematics was rewritten for a local audience and how the process of relocation animated research at Bryn Mawr. (shrink)

Examples of possible theological influences upon the development of mathematics are indicated. The best known connection can be found in the realm of infinite sets treated by us as known or graspable, which constitutes a divine-like approach. Also the move to treat infinite processes as if they were one finished object that can be identified with its limits is routine in mathematicians, but refers to seemingly super-human power. For centuries this was seen as wrong and even today some philosophers, for (...) example Brian Rotman, talk critically about “theological mathematics”. Theological metaphors, like “God’s view”, are used even by contemporary mathematicians. While rarely appearing in official texts they are rather easily invoked in “the kitchen of mathematics”. There exist theories developing without the assumption of actual infinity the tools of classical mathematics needed for applications (For instance, Mycielski’s approach). Conclusion: mathematics could have developed in another way. Finally, several specific examples of historical situations are mentioned where, according to some authors, direct theological input into mathematics appeared: the possibility of the ritual genesis of arithmetic and geometry, the importance of the Indian religious background for the emergence of zero, the genesis of the theories of Cantor and Brouwer, the role of Name-worshipping for the research of the Moscow school of topology. Neither these examples nor the previous illustrations of theological metaphors provide a certain proof that religion or theology was directly influencing the development of mathematical ideas. They do suggest, however, common points and connections that merit further exploration. (shrink)

The Euclidean ideal of mathematics as well as all the foundational schools in the philosophy of mathematics have been contested by the new approach, called the “maverick” trend in the philosophy of mathematics. Several points made by its main representatives are mentioned – from the revisability of actual proofs to the stress on real mathematical practice as opposed to its idealized reconstruction. Main features of real proofs are then mentioned; for example, whether they are convincing, understandable, and/or explanatory. Therefore, the (...) new approach questions Hilbert’s Thesis, according to which a correct mathematical proof is in principle reducible to a formal proof, based on explicit axioms and logic. (shrink)

Over the last century, there have been considerable variations in the frequency of use and types of diagrams used in mathematical publications. In order to track these changes, we developed a method enabling large-scale quantitative analysis of mathematical publications to investigate the number and types of diagrams published in three leading mathematical journals in the period from 1885 to 2015. The results show that diagrams were relatively common at the beginning of the period under investigation. However, beginning in 1910, they (...) were almost completely unused for about four decades before reappearing in the 1950s. The diagrams from the 1950s, however, were of a different type than those used earlier in the century. We see this change in publication practice as a clear indication that the formalist ideology has influenced mathematicians’ choice of representations. Although this could be seen as a minor stylistic aspect of mathematics, we argue that mathematicians’ representational practice is deeply connected to their cognitive practice and to the contentual development of the discipline. These changes in publication style therefore indicate more fundamental changes in the period under consideration. (shrink)

Jean Dieudonné, the spokesman of the group of French mathematicians named Bourbaki, called mathematics the music of reason. This metaphor invites a phenomenological account of the affective, in contrast to the epistemic and discursive, nature of mathematics: What constitutes its charm? Mathematical reasoning is described as a perceptual experience, which in Husserl’s late philosophy would be a case of passive synthesis. Like a melody, a mathematical proof is manifest in an affective identity of a temporal object. Rather than an exercise (...) for its own sake, this account sheds a different light on both the epistemic limitation of mathematical science, and the discursive problem of social responsibility in mathematics – two issues at the heart of Husserl’s critique of science as well as of mid-20th century mathematics, for which Nicolas Bourbaki stands as a monument of rigor. (shrink)

To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematical dialogues and expository texts. The framework can recover salient elements of discourse at, and within, the sentence level, as well as the way mathematical content connects to form larger argumentative structures. (...) We show how the framework might be used to support computational reasoning, and argue that it provides a more natural way to examine the process of proving theorems than do Lamport’s structured proofs. (shrink)

O tendinţă relativ nouă în filosofia contemporană a matematicii este reprezentată de nemulţumirea manifestată de un număr din ce în ce mai mare de filosofi faţă de viziunea tradiţională asupra matematicii ca având un statut special ce poate fi surprins doar cu ajutorul unei epistemologii speciale. Această nemulţumire i-a determinat pe mulţi să propună o nouă perspectivă asupra matematicii – una care ia în serios aspecte până acum neglijate de filosofia matematicii, precum latura sociologică, istorică şi empirică a cercetării matematice (...) şi care acordă astfel o atenţie deosebită practicii matematice. (shrink)

Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer.

Mathematicians use theological metaphors when they talk in the kitchen of mathematics. How essential is this talk? Have theological considerations and religious concepts influenced mathematics? Can mathematical models illuminate theology? Some authors have given positive answers to these questions, but they do not seem final. It is unclear how religious views influenced the work of those mathematicians who were also theologians. Religious background of some mathematical concepts could have been inessential. Mathematical models in theology have no predictive value. It is, (...) however, important to continue the recently initiated search for the mutual influences of mathematics and theology., 2016.). (shrink)