Beginning at the end of the nineteenth century, systematic scientific abstracting played a crucial role in reconfiguring the sciences on an international scale. For mathematicians, the 1931 launch of the Zentralblatt für Mathematik and 1940 launch of Mathematical Reviews marked and intensified a fundamental transformation, not just to the geographic scale of professional mathematics but to the very nature of mathematicians’ research and theories. It was not an accident that mathematical abstracting in this period coincided with an embrace across mathematical (...) research fields of a distinctive form of symbolic and conceptual abstraction. This essay examines the historical, institutional, embodied, and conceptual bases of mathematical abstracting and abstraction in the mid-twentieth century, placing them in historical context within the first half of the twentieth century and then examining their consequences and legacies for the second half of the twentieth century and beyond. Focused on scale, media, and the relationship between mathematical knowledge and its forms of articulation, my analysis connects the changing social structure of modern mathematical research communities to their changing domains of investigation and resources for representation and collective understanding. (shrink)

This paper identifies ‘savage numbers’ – number-like or number-replacing concepts and practices attributed to peoples viewed as civilizationally inferior – as a crucial and hitherto unrecognized body of evidence in the first two decades of the Victorian science of prehistory. It traces the changing and often ambivalent status of savage numbers in the period after the 1858–1859 ‘time revolution’ in the human sciences by following successive reappropriations of an iconic 1853 story from Francis Galton's African travels. In response to a (...) fundamental lack of physical evidence concerning prehistoric men, savage numbers offered a readily available body of data that helped scholars envisage great extremes of civilizational lowliness in a way that was at once analysable and comparable, and anecdotes like Galton's made those data vivid and compelling. Moreover, they provided a simple and direct means of conceiving of the progressive scale of civilizational development, uniting societies and races past and present, at the heart of Victorian scientific racism. (shrink)

Pseudonymous mathematician Nicolas Bourbaki and his lesser-known counterpart E.S. Pondiczery, devised respectively in France and in Princeton in the mid-1930s, together index a pivotal moment in the history of modern mathematics, marked by international infrastructures and institutions that depended on mathematicians’ willingness to play along with mediated personifications. By pushing these norms and practices of personification to their farcical limits, Bourbaki’s and Pondiczery’s impersonators underscored the consensual social foundations of legitimate participation in a scientific community and the symmetric fictional character (...) of both fraud and integrity in scientific authorship. To understand authorial identity and legitimacy, individual authors’ conduct and practices matter less than the collective interpersonal relations of authorial assertion and authentication that take place within disciplinary institutions. (shrink)

Examining how, and to what effect, the phrase “truly international” became central to the rhetoric and organization of the American-hosted 1950 International Congress of Mathematicians, this essay traces the negotiation of a “truly international” discipline from mathematicians’ first international congresses around the turn of the century across two world wars and their divisive interlude. Two failed attempts to host international congresses of mathematicians in the United States, for 1924 and 1940, defined the stakes for those who became the principal organizers (...) for 1950. Combining American organizational records with contexts and sources that extend across and beyond traditional mathematical centers in Europe and North America, the essay shows how a small cohort of American mathematicians marshaled an emphatic but ambiguous “international” rhetoric to guide policies and command cooperation and support while responding to persistent challenges. Their adaptations and compromises left a lasting mark on the terms and achievements of international inclusion, cooperation, and hegemony in mathematics. (shrink)

It is conventionally understood that computers play a rather limited role in theoretical mathematics. While computation is indispensable in applied mathematics and the theory of computing and algorithms is rich and thriving, one does not, even today, expect to find computers in theoretical mathematics settings beyond the theory of computing. Where computers are used, by those studying combinatorics , algebra, number theory, or dynamical systems, the computer most often assumes the role of an automated and speedy theoretician, performing manipulations and (...) checking cases in a way assumed to be possible for human theoreticians, if only they had the time, the memory, and the precision. Automated proofs have become standard tools in mathematical logic, and it is often expected that proofs be published in a computer-checkable format. It is not surprising, then, that most philosophical work on computers in theoretical mathematics has been on computers' roles as supplementary mathematicians. Donald MacKenzie's 2001 book Mechanizing Proof demonstrates the rich potential for social and historical studies to complement the substantial analytic debate in this area of philosophy. But what of computers in theoretical mathematics behaving as computers, and not as mere mechanized mathematicians? Very little role is commonly assumed for computers working as supplements to mathematicians, rather than as supplementary mathematicians themselves. Accordingly, very little philosophy has attempted to grapple with theoretical mathematics in which computers play an essential but essentially non-theoretical role. My presentation will draw on work I conducted as a researcher in harmonic analysis on fractals at Cornell University. I will analyze the explicit and implicit conceptual apparatus employed in my and my fellow researchers' use of computers in the theoretical study of second order differential equations, such as those for sound and heat flow, on various fractal analogues of the Sierpinski gasket. Such gaskets are easy to visualize in very crude approximation in a low number of dimensions. As one increases the complexity of the gasket or the refinement of one's analysis, visualization and precise computation become impossible, and soon computers are unable to produce even approximate data to model differential equations in these situations. We thus had to carefully choose analytic approaches and methods to make our theoretical mathematics amenable to computer simulation. In my case, studying the transformation of the gaskets as they are expanded into increasingly high dimensions, computer simulation eventually required that the problem be reimagined entirely in terms of interlinked systems of parameters. This computer-approximation-driven theoretical orientation shaped my mathematical intuitions toward the problem and guided my fellow researchers and me in both theoretical and computational directions. We discovered both that computer approximation could be incredibly powerful as an aid to intuition, and that it can be incredibly difficult to transfer computer-oriented mathematics back into the purely theoretical standards of our area of specialty. I will address the philosophical implications of computer-driven theoretical mathematics, asking how computer experiments can shape both the content and standards of theoretical sciences. (shrink)

Astronomer Charles Piazzi Smyth’s 1864–65 expedition to measure the Great Pyramid of Giza was planned around a system of linear measures designed to guarantee the validity of his measurements and settle ongoing uncertainties as to the Pyramid’s true size. When the intended system failed to come together, Piazzi Smyth was forced to improvise a replacement that presented a fundamental challenge to the metrological enterprise upon which his system had been based. The astronomer’s new system centered around a small lump of (...) basalt, now held at Cambridge’s Whipple Museum of the History of Science, which nucleated a wide array of material and scientific considerations. Through a bipartite analysis of the physical and narrative dimensions of Piazzi Smyth’s basalt Standard, I develop the implications of its use and construction for understanding the material constitution of scientific instruments. In particular, I illustrate how instruments are locally constituted through co-accountable systems and how their material features become integrally implicated in both their uses and meanings. (shrink)

Sociology originated in the mid-nineteenth century from a new confidence in the power of science to explain the world on a mathematical foundation. Both mathematics and sociology transformed over the ensuing century, inverting the hierarchical relationship from sociology as a mathematics-based science of complex human configurations to mathematics as a complex science based on social institutions. That is, where sociology began as the hard case for mathematics, it became possible to see mathematics as the hard case for sociology. In this (...) light, we examine a number of motivations and provocations for the sociology of mathematics, from language and social cognition to Marxist and materialist skepticism of ideology, and sample the evidence and arguments brought to bear on the sociology of mathematics at a range of scales. (shrink)

Comparing my historical account of the early years of Laurent Schwartz’s theory of distributions with number theorist Michael Harris’s narrative of the early years of Peter Scholze’s perfectoid theory, I develop a perspective on change and temporality in mathematics that emphasizes the relationships between concepts, expectations, and communities of practice. Contemporary mathematics, understood as mathematics imbued with temporality, reflects the dynamic relationship between the people, ideas, pasts, and prospects of mathematical knowledge. Studying these historically may offer critical perspectives on the (...) social and political conditions and implications of mathematical research and the communities that practice it. (shrink)

This paper probes the foundations and limits of visual representation in the sciences through a close reading of the diagrams that accompanied definitions of the geometric point in the first century of printed editions of Euclid’s Elements. I begin with the modal form for such diagrams of Euclid’s “small and unsensible shape,” showing how it incorporates a broad spectrum of conventions and practices related to the point’s philosophical and practical roles in the surrounding Euclidean geometry. I then explore the form’s (...) several variations in order to consider the role of “mere representation” in geometric exegesis, and conclude by characterizing the curious relationship between things and their images and that relationship’s implications for understanding scientific knowledge and practice. (shrink)