Over a period of more than 30 years, more than 100 mathematicians worked on a project to classify mathematical objects known as finite simple groups. The Classification, when officially declared completed in 1981, ranged between 300 and 500 articles and ran somewhere between 5,000 and 10,000 journal pages. Mathematicians have hailed the project as one of the greatest mathematical achievements of the 20th century, and it surpasses, both in scale and scope, any other mathematical proof of the 20th century. The history of the Classification points to the importance of face-to-face interaction and close teaching relationships in the production and transformation of theoretical knowledge. The techniques and methods that governed much of the work in finite simple group theory circulated via personal, often informal, communication, rather than in published proofs. Consequently, the printed proofs that would constitute the Classification Theorem functioned as a sort of shorthand for and formalization of proofs that had already been established during personal interactions among mathematicians. The proof of the Classification was at once both a material artifact and a crystallization of one community’s shared practices, values, histories, and expertise. However, beginning in the 1980s, the original proof of the Classification faced the threat of ‘uninvention’. The papers that constituted it could still be found scattered throughout the mathematical literature, but no one other than the dwindling community of group theorists would know how to find them or how to piece them together. Faced with this problem, finite group theorists resolved to produce a ‘second-generation proof’ to streamline and centralize the Classification. This project highlights that the proof and the community of finite simple groups theorists who produced it were co-constitutive–one formed and reformed by the other.
Diagrams and Proofs in Analysis
This article discusses the role of diagrams in mathematical reasoning in the light of a case study in analysis. In the example presented certain combinatorial expressions were first found by using diagrams. In the published proofs the pictures were replaced by reasoning about permutation groups. This article argues that, even though the diagrams are not present in the published papers, they still play a role in the formulation of the proofs. It is shown that they play a role in concept formation as well as representations of proofs. In addition we note that ‘visualization’ is used in two different ways. In the first sense ‘visualization’ denotes our inner mental pictures, which enable us to see that a certain fact holds, whereas in the other sense ‘visualization’ denotes a diagram or representation of something.
An Inquiry into the Practice of Proving in Low-Dimensional Topology
The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology.
Proofs Versus Experiments: Wittgensteinian Themes Surrounding the Four-Color Theorem
The Four-Colour Theorem (4CT) proof, presented to the mathematical community in a pair of papers by Appel and Haken in the late 1970’s, provoked a series of philosophical debates. Many conceptual points of these disputes still require some elucidation. After a brief presentation of the main ideas of Appel and Haken’s procedure for the proof and a reconstruction of Thomas Tymoczko’s argument for the novelty of 4CT’s proof, we shall formulate some questions regarding the connections between the points raised by Tymoczko and some Wittgensteinian topics in the philosophy of mathematics such as the importance of the surveyability as a criterion for distinguishing mathematical proofs from empirical experiments. Our aim is to show that the “characteristic Wittgensteinian invention” (Mühlhölzer 2006) – the strong distinction between proofs and experiments – can shed some light in the conceptual confusions surrounding the Four-Colour Theorem.
Authorship in top-ranked mathematical and physical journals: Role of gender on self-perceptions and bibliographic evidence
Despite increasing rates of women researching in math-intensive fields, publications by female authors remain underrepresented. By analyzing millions of records from the dedicated bibliographic databases zbMATH, arXiv, and ADS, we unveil the chronological evolution of authorships by women in mathematics, physics, and astronomy. We observe a pronounced shortage of female authors in top-ranked journals, with quasistagnant figures in various distinguished periodicals in the first two disciplines and a significantly more equitable situation in the latter. Additionally, we provide an interactive open-access web interface to further examine the data. To address whether female scholars submit fewer articles for publication to relevant journals or whether they are consciously or unconsciously disadvantaged by the peer review system, we also study authors’ perceptions of their submission practices and analyze around 10,000 responses, collected as part of a recent global survey of scientists. Our analysis indicates that men and women perceive their submission practices to be similar, with no evidence that a significantly lower number of submissions by women is responsible for their underrepresentation in top-ranked journals. According to the self-reported responses, a larger number of articles submitted to prestigious venues correlates rather with aspects associated with pronounced research activity, a well-established network, and academic seniority.
Groundwork for a Fallibilist Account of Mathematics
According to the received view, genuine mathematical justification derives from proofs. In this article, I challenge this view. First, I sketch a notion of proof that cannot be reduced to deduction from the axioms but rather is tailored to human agents. Secondly, I identify a tension between the received view and mathematical practice. In some cases, cognitively diligent, well-functioning mathematicians go wrong. In these cases, it is plausible to think that proof sets the bar for justification too high. I then propose a fallibilist account of mathematical justification. I show that the main function of mathematical justification is to guarantee that the mathematical community can correct the errors that inevitably arise from our fallible practices.
Commemorating Public Figures–In Favour of a Fictionalist Position
In this article, I discuss the commemoration of public figures such as Nelson Mandela and Yitzhak Rabin. In many cases, our commemoration of such figures is based on the admiration we feel for them. However, closer inspection reveals that most (if not all) of those we currently honour do not qualify as fitting objects of admiration. Yet, we may still have the strong intuition that we ought to continue commemorating them in this way. I highlight two problems that arise here: the problem that the expressed admiration does not seem appropriate with respect to the object and the problem that continued commemorative practices lead to rationality issues. In response to these issues, I suggest taking a fictionalist position with respect to commemoration. This crucially involves sharply distinguishing between commemorative and other discourses, as well as understanding the objects of our commemorative practices as fictional objects.
Critical commemorations
Drawing on the works of Friedrich Nietzsche, this contribution will examine commemorative practices alongside critical modes of historical engagement. In Untimely Meditations, Friedrich Nietzsche documents three historical methodologies—the monumental, antiquarian and critical—which purposely use history in non-objective ways. In particular, critical history desires to judge and reject historical figures rather than repeat the past or venerate the dead. For instance, in recent protests against racism there have also been calls to decolonize public space through the defacement, destruction, and removal of monuments. There is thus much potential in critical history being used to address ongoing harms.
Plato on Parts and Wholes: The Metaphysics of Structure
This book is an examination of Plato’s treatment of the relation between a whole and its parts in a group of Plato’s later works: the Theaetetus, Parmenides, Sophist, Philebus, and Timaeus. Plato’s discussions of part and whole in these texts fall into two distinct groups: a problematic one in which he explores, without endorsing, a model of composition as identity; and another in which he develops an alternative to this rejected model. Each model is concerned with the nature of composition of a whole from its parts, such that a whole is an individual, rather than a mere collection or heap. According to the problematic model of composition, a whole is identical to its many parts, that is, the relation of many parts to one whole is just the relation of identity. This model is shown to have the paradoxical consequence that the same thing(s) is (or are) both one thing and many things, and for this reason, amongst others, it cannot support an adequate account of composition. According to the alternative model of composition, wholes of parts are contentful structures (or, instances of such structures), whose parts get their identity only in the context of the whole they compose. Plato presents the structure of such wholes as the proper objects of Platonic science: essentially irreducible, intelligible, and normative in character.
Rationality and the Structure of the Self, Volume II: A Kantian Conception
Adrian Piper argues that the Humean conception can be made to work only if it is placed in the context of a wider and genuinely universal conception of the self, whose origins are to be found in Kant’s Critique of Pure Reason. This conception comprises the basic canons of classical logic, which provide both a model of motivation and a model of rationality. These supply necessary conditions both for the coherence and integrity of the self and also for unified agency. The Kantian conception solves certain intractable problems in decision theory by integrating it into classical predicate logic, and provides answers to longstanding controversies in metaethics concerning moral motivation, rational final ends, and moral justification that the Humean conception engenders. In addition, it sheds light on certain kinds of moral behavior – for example, the whistleblower – that the Humean conception is at a loss to explain.