History: Philosophy of Mathematics

The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These ontological (...) issues are interesting in their own right. And if and only if in case ontological considerations make a strong case for something like (BLV) we have to trouble us with inconsistency and paraconsistency. These ontological issues also lead to a renewed methodological reflection what to assume or recognize as an axiom. (shrink)

A transcription and translation of Hermann Hankel's 1867 Vorlesungen über die complexen Zahlen und ihre Functionen, I. Theil: Theorie der Complexen Zahlensysteme, a textbook on complex analysis that played an important role in the transition to modern mathematics in nineteenth century Germany.

This comprehensive historical account concerns that non-void intersection region between Riemann zeta function and entire function theory, with a view towards possible physical applications.

The reception of Newton's Principia in 1687 led to the attempt of many European scholars to ‘mathematicise' their field of expertise. An important example of this ‘mathematicisation' lies in the work of Irish-Scottish philosopher Francis Hutcheson, a key figure in the Scottish Enlightenment. This essay aims to discuss the mathematical aspects of Hutcheson's work and its impact on British thought in the following centuries, providing a case in point for the importance of the interactions between mathematics and philosophy throughout time.

ABSTRACT We use Gödel’s incompleteness theorems as a case study for investigating mathematical depth. We examine the philosophical question of what the depth of Gödel’s incompleteness theorems consists in. We focus on the methodological study of the depth of Gödel’s incompleteness theorems, and propose three criteria to account for the depth of the incompleteness theorems: influence, fruitfulness, and unity. Finally, we give some explanations for our account of the depth of Gödel’s incompleteness theorems.

This edited volume includes 49 Chapters, each of which discusses the influence of a philosopher's reading of Wittgenstein in his/her philosophical works and the way such Wittgensteinian ideas have manifested themselves in those works.

Summary This article presents three hitherto unpublished letters by Frank Plumpton Ramsey on the foundations of mathematics with commentary. One of the letters was sent to Abraham Fraenkel and the other two letters to Heinrich Behmann. The transcription of the letters is preceded by an account that details the extent of Ramsey's known contacts with mathematical logicians on the Continent.

I begin by outlining Du Châtelet’s ontology of mathematical objects: she is an idealist, and mathematical objects are fictions dependent on acts of abstraction. Next, I consider how this idealism can be reconciled with her endorsement of necessary truths in mathematics, which are grounded in essences that we do not create. Finally, I discuss how mathematics and physics relate within Du Châtelet’s idealism. Because the primary objects of physics are partly grounded in the same kinds of acts as yield mathematical (...) objects, she thinks we are sometimes licensed in drawing conclusions about physical things from mathematical premises. (shrink)

The study of mathematical practice has always been an interdisciplinary enterprise and is not confined to history and philosophy. Important contributions have been made by scholars from many domains, including sociology, education, argumentation theory, rhetoric, formal epistemology, and theology. The chapters in this section provide overviews and introductions into the insights that scholars of mathematical practice may glean from these disciplines.

Claudius Ptolemy’s mathematical astronomy originated in Alexandria in Egypt under Roman rule in the second century CE and held for more than a millennium, even beyond the Copernican theories (sixteenth century). To trace the flourishing of such mathematical creativity requires an understanding of Ptolemy’s philosophy of mathematical practice, the ancient commentators of Ptolemaic works, and the historical context of Alexandria in Egypt, a multicultural city which became a cradle of cultures of mathematical practices and blossomed into the Ptolemaic system and (...) its several related outputs between the second and fourth centuries CE. Ptolemy’s mathematical practice will be explored under three lenses: (a) an examination of the mathematical prose of Ptolemy’s Almagest alongside the corresponding passages in its Alexandrian commentaries; (b) the social, material, and semantic layers of Ptolemy’s mathematics; and (c) the conception of true philosophy in Ptolemy’s theory of knowledge. Examining the history and philosophy of Ptolemy’s mathematical practice in Alexandria (1) shows that Ptolemy’s ideals were usually betrayed by the practitioners of his mathematics and (2) proves that its main aspect is constituted by mathematical knowledge arranged in tabular format, that is the so-called astronomical tables, to which Ptolemy’s mathematics owes its successful legacy. (shrink)

This paper defends a reading of Wittgenstein’s philosophy of mathematics in the Lectures on the Foundation of Mathematics as a radical conventionalist one, whereby our agreement about the particular case is constitutive of our mathematical practice and ‘the logical necessity of any statement is a direct expression of a convention’ (Dummett 1959, p. 329). -/- On this view, mathematical truths are conceptual truths and our practices determine directly for each mathematical proposition individually whether it is true or false. Mathematical truths (...) are thus not consequences of a prior adoption of a convention or rules as orthodox conventionalism has it. -/- The goal of the paper is not merely exegetical, however, and argues that radical conventionalism can withstand some of the most difficult objections that have been brought forward against it, including those of Dummett himself, and thus that radical conventionalism has been prematurely excluded from consideration by philosophers of mathematics. (shrink)

There are two distinct but interrelated questions concerning Aristotle’s account of infinity that have been the subject of recurring debate. The first of these, what I call here the interpretative question, asks for a charitable and internally coherent interpretation of the limited pieces of text where Aristotle outlines his view of the ‘potential’ (and not ‘actual’) infinite. The second, what I call here the philosophical question, asks whether there is a way to make Aristotle’s notion of the potential infinite coherent (...) and rigorous with modern tools that can stand as a rival to the widely-accepted view of the infinite as characterized in a mathematical theory of sets. In this paper, I argue that the theoretical roles that Aristotle intends his account of the potential infinite to fulfill lead to a deep and irresoluble tension that can help explain the persistence of debates on both of these questions. I do so by turning to the places where Aristotle attempts to argue for or against the existence of particular infinite processes to show that he slides between different underlying notions of when changes are possible. Making these underlying notions clear can help us better understand the role of Aristotle’s account in the history of philosophy, the possible pitfalls for a contemporary theory of the potential infinite, and what each of these debates might learn from each other. (shrink)

The most successful science on the Aristotelian model was geometry in the style of Euclid. As advocated in the Posterior Analytics, Euclid’s Elements laid out geometry as a structure of theorems deduced from definitions and axioms that were evident to reason. However, geometry deals with the category of quantity, whereas Aristotelian definitions are paradigmatically in the category of substance. This chapter argues that definitions in the category of quantity have fulfilled well the Aristotelian ideal of stating the essence of ‘what (...) a thing is’, in such a way as to support a superstructure of demonstrations about that thing. Euclid’s definition of circle is a prime example: it is philosophically satisfying and from the first theorem of the Elements proved itself very productive of theorems. As this chapter demonstrates, the definition of ratio was more difficult. Euclid stands at the end of a long search for a definition of ratio, one of the most central notions of mathematics, that is both philosophically satisfying and mathematically productive. The search was not wholly successful. (shrink)

Written for any motivated reader with a high-school knowledge of mathematics, and the discipline to follow logical arguments, this book presents the proofs for revolutionary impossibility theorems in an accessible way, with less jargon and notation, and more background, intuition, examples, explanations, and exercises.

In this article, I examine Leibniz’s criticism of Spinoza’s notion of priority by nature based on the first proposition in Spinoza’s Ethics. Leibniz provides two counterexamples: first, the number 10’s being 6+3+1 is prior by nature to its being 6+4; second, a triangle’s property that two internal angles are equal to the exterior angle of the third is prior by nature to its property that the three internal angles equal two right angles. Leibniz argues that Spinoza’s notion cannot capture these (...) priority relations. Although this text has received some scholarly attention, Leibniz’s objection in this text has not been fully explained yet. I argue that evaluating Leibniz’s objection relies on how to understand Spinoza’s notion of conception: first, whether conception is co-extensive with inherence and causation; second, whether conception is mental. (shrink)

Brouwer's philosophy of mathematics is usually regarded as an intra-subjective, even solipsistic approach, an approach that also underlies his mathematical intuitionism, as he strived to create a mathematics that develops out of something inner and a-linguistic. Thus, points of connection between Brouwer's mathematical views and his views about and the social world seem improbable and are rarely mentioned in the literature. The current paper aims to challenge and change that. The paper employs a socially oriented prism to examine Brouwer's views (...) on the construction, use, and practice of mathematics. It focuses on Brouwer's views on language, his social interactions, and the importance of group context as they appear in the significs dialogues. It does so by exploring the establishment and dissolution of the significs movement, focusing on Gerrit Mannoury's influence and relationship with Brouwer and analyzing several fragments from the significs dialogues while emphasizing the role Brouwer ascribed to groups in forming and sharing new ideas. The paper concludes by raising two questions that challenge common historical and philosophical readings of intuitionism. (shrink)

In "Plato's Ghost" Jeremy Gray presented many connections between mathematical practices in the nineteenth century and the rise of mathematical platonism in the context of more general developments, which he refers to as modernism. In this paper, I take up this theme and present a condensed discussion of some arguments put forward in favor of and against the view of mathematical platonism. In particular, I highlight some pressures that arose in the work of Frege, Cantor, and Gödel, which support adopting (...) a platonist position. The aim of this discussion is to provide an historically informed introduction to the philosophical position of mathematical platonism and to point at some of its mathematical and philosophical roots in the nineteenth century. (shrink)

Andr ́e Weil viewed mathematics as deeply intertwined with metaphysics. In his essay ”From Metaphysics to Mathematics,” he illustrates how mathematical ideas often arise from vague, metaphysical analogies and reflections that guide researchers toward new theories. For instance, Weil discusses how analogies between different areas, such as number theory and algebraic functions, have led to significant breakthroughs. These metaphysical underpinnings provide a fertile ground for mathematical creativity, eventually transforming into rigorous mathematical structures. -/- Alexander Grothendieck’s work, particularly in ”R ́ecoltes (...) et Semailles,” resonates with Weil’s ideas by emphasizing the organic and generative aspects of mathematical creation. Grothendieck sees mathematical work as akin to cultivating a garden, where ideas grow and develop in a nurturing environment. He describes the process of mathematical discovery as a deeply personal and creative journey, involving both solitary reflection and collaborative effort. -/- Grothendieck’s concept of creating mathematical ”houses” aligns with his broader philosophical view that mathematics provides structures within which new ideas can flourish. His work in category theory and algebraic geometry exemplifies this approach, where he developed vast, interconnected frameworks that have become foundational in modern mathematics. Grothendieck’s analogy of constructing houses for others to live in highlights the mathematician’s role in creating abstract frameworks that others can inhabit and explore. This metaphor emphasizes the constructive nature of mathematics, where researchers build theoretical structures that form the basis for further exploration and application by the mathematical community. (shrink)

The purpose of this unique handbook is to examine the transformation of the philosophy of mathematics from its origins in the history of mathematical practice to the present. It aims to synthesize what is known and what has unfolded so far, as well as to explore directions in which the study of the philosophy of mathematics, as evident in increasingly diverse mathematical practices, is headed. Each section offers insights into the origins, debates, methodologies, and newer perspectives that characterize the discipline (...) today. Contributions are written by scholars from mathematics, history, and philosophy – as well as other disciplines that have contributed to the richness of perspectives abundant in the study of philosophy today – who describe various mathematical practices throughout different time periods and contrast them with the development of philosophy. Editorial Advisory Board Andrew Aberdein, Florida Institute ofTechnology, USA Jody Azzouni, Tufts University, USA Otávio Bueno, University of Miami, USA William Byers, Concordia University, Canada Carlo Cellucci, Sapienza University of Rome, Italy Chandler Davis, University of Toronto, Canada (1926-2022) Paul Ernest, University of Exeter, UK Michele Friend, George Washington University, USA Reuben Hersh, University of New Mexico, USA (1927-2020) Kyeong-Hwa Lee, Seoul National University, South Korea Yuri Manin, Max Planck Institute for Mathematics, Germany (1937-2023) Athanase Papadopoulos, University of Strasbourg, France Ulf Persson, Chalmers University of Technology, Sweden John Stillwell, University of San Francisco, USA David Tall, University of Warwick, UK This book with its exciting depth and breadth, illuminates us about the history, practice, and the very language of our subject; about the role of abstraction, ofproof and manners of proof; about the interplay of fundamental intuitions; about algebraic thought in contrast to geometric thought. The richness of mathematics and the philosophy encompassing it is splendidly exhibited over the wide range of time these volumes cover---from deep platonic and neoplatonic influences to the most current experimental approaches. Enriched, as well, with vivid biographies and brilliant personal essays written by (and about) people who play an important role in our tradition, this extraordinary collection of essays is fittingly dedicated to the memory of Chandler Davis, Reuben Hersh, and Yuri Manin.---Barry Mazur, Gerhard Gade University Professor, Harvard University This encyclopedic Handbook will be a treat for all those interested in the history and philosophy of mathematics. Whether one is interested in individuals (from Pythagoras through Newton and Leibniz to Grothendieck), fields (geometry, algebra, number theory, logic, probability, analysis), viewpoints (from Platonism to Intuitionism), or methods (proof, experiment, computer assistance), the reader will find a multitude of chapters that inform and fascinate.---John Stillwell, Emeritus Professor of Mathematics, University of San Francisco; Recipient of the 2005 Chauvenet Prize Dedicating a volume to the memory of three mathematicians – Chandler Davis, Reuben Hersh, and Yuri Manin –, who went out of their way to show to a broader audience that mathematics is more than what they might think, is an excellent initiative. Gathering authors coming from many different backgrounds but who are very strict about the essays they write was successfully achieved by the editor-in-chief. The result: a great source of potential inspiration!---Jean-Pierre Bourguignon; Nicolaas Kuiper Honorary Professor at the Institut des Hautes Études Scientifiques. (shrink)

This chapter examines the pioneering work of Gottfried Wilhelm Leibniz (1646-1716) on various number systems, in particular binary, which he independently invented in the mid-to-late 1670s, and hexadecimal, which he invented in 1679. The chapter begins with the oft-debated question of who may have influenced Leibniz’s invention of binary, though as none of the proposed candidates is plausible I suggest a different hypothesis, that Leibniz initially developed binary notation as a tool to assist his investigations in mathematical problems that were (...) exercising him at the time, namely those concerning the divisibility of composite numbers, primality, and perfect numbers. The chapter then explores Leibniz’s development of binary, his little-known work on binary fractions and expansions, his use of binary as a symbol for creation in his philosophical-theology, and his response to the suggestion that there was a correlation between binary numeration and the hexagrams of the ancient Chinese divinatory text, the Yijing. The chapter then focuses on Leibniz’s work on other number systems, in particular his invention and exploration of hexadecimal as well as his work on duodecimal. The chapter concludes by revealing a hitherto unknown practical application of binary that Leibniz devised in the last year of his life. (shrink)

From the early eighteenth century onward, primacy for the invention of binary numeration and arithmetic was almost universally credited to the German polymath Gottfried Wilhelm Leibniz (1646–1716). Then, in 1922, Frank Vigor Morley (1899–1980) noted that an unpublished manuscript of the English mathematician, astronomer, and alchemist Thomas Harriot (1560–1621) contained the numbers 1 to 8 in binary. Morley’s only comment was that this foray into binary was “certainly prior to the usual dates given for binary numeration”. Almost thirty years later, (...) John William Shirley (1908–1988) published reproductions of two of Harriot’s undated manuscript pages, which, he claimed, showed that Harriot had invented binary numeration “nearly a century before Leibniz’s time”. But while Shirley correctly asserted that Harriot had invented binary numeration, he made no attempt to explain how or when Harriot had done so. Curiously, few since Shirley’s time have attempted to answer these questions, despite their obvious importance. After all, Harriot was, as far as we know, the first to invent binary. Accordingly, answering the how and when questions about Harriot’s invention of binary is the aim of this short paper. (shrink)

This contribution proposes an interpretation of Thomas Aquinas’s philosophy of mathematics. It is argued that Aquinas’s philosophy of mathematics is a coherent view whose main features enable us to understand it as a moderate realism according to which mathematical objects have an esse intentionale. This esse intentionale involves both mathematicians’ intellectual activity and natural things being knowable mathematically. It is shown that, in Aquinas’s view, mathematics’ constructive part does not conflict with mathematical realism. It is also held that mathematics’ imaginative (...) reasoning is coherent with Aquinas’s doctrine of formal abstraction and his realism. It focuses on some of Aquinas’s texts, which it places within their textual and doctrinal context and interprets them in the light of some historical elements. (shrink)

According to Mark Steiner, Wittgenstein’s intense work in the philosophy of mathematics during the early 1930s brought about a distinct turning point in his philosophy. The crux of this transition, Steiner contends, is that Wittgenstein came to see mathematical truths as originating in empirical regularities that in the course of time have been hardened into rules. This interpretation, which construes Wittgenstein’s later philosophy of mathematics as more realist than his earlier philosophy, challenges another influential interpretation which reads Wittgenstein as moving (...) in the opposite direction, from a more realist toward a less realist position. Both of these readings, I argue here, tend to overlook the crucial role of conventionalism in shaping Wittgenstein’s later philosophy. I show that during the transition period, Wittgenstein was first strongly attracted to conventionalism, but then, upon discovery of the rule following paradox, came to realize its weaknesses. Did this realization mark the end of the liaison with conventionalism and a wholehearted acceptance of the empirical regularities account? Illustrating Wittgenstein’s ongoing ambivalence toward conventionalism and pointing to his novel understanding of this position, I answer this question in the negative. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

The present article reviews the Polish-language edition of Gottlob Frege’s scientific correspondence. In the article, I discuss the material hitherto unpublished in Polish in relation to the remainder of Frege’s works. First of all, I inquire into the role and nature of definitions. Then, I consider Frege’s recognition criteria for sameness of thoughts. In the article’s third part, I study letters devoted to the principle of semantic compositionality, while in the fourth part I discuss Frege’s remarks concerning the context principle.

This book is about the relationship between necessary reasoning and visual experience in Charles S. Peirce’s mathematical philosophy. It presents mathematics as a science that presupposes a special imaginative connection between our responsiveness to reasons and our most fundamental perceptual intuitions about space and time. Central to this view on the nature of mathematics is Peirce’s idea of diagrammatic reasoning. In practicing this kind of reasoning, one treats diagrams not simply as external auxiliary tools, but rather as immediate visualizations of (...) the very process of the reasoning itself. Thus conceived, one's capacity to diagram their thought reveals a set of characteristics common to ordinary language, visual perception, and necessary mathematical reasoning. The book offers an original synthetic approach that allows tracing the roots of Peirce’s conception of a diagram in certain patterns of interrelation between his semiotics, his pragmaticist philosophy, his logical and mathematical ideas, bits and pieces of his biography, his personal intellectual predispositions, and his scientific practice as an applied mathematician. (shrink)

Wittgenstein gave a clearly erroneous refutation of Russell’s logicist project. The errors were ably pointed out by Mark Steiner. Nevertheless, I was motivated by Wittgenstein and Steiner to consider various ideas about the natural numbers. I ask which notations for natural numbers are ‘buck-stoppers’. For us it is the decimal notation and the corresponding verbal system. Based on the idea that a proper notation should be ‘structurally revelatory’, I draw various conclusions about our own concept of the natural numbers.

Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. I argue that (...) for Thomae, the formal standpoint is an _algebraic perspective_ on a domain of objects, and a "sign" is not a linguistic expression or mark, but a representation of an object within that perspective. Thomae exploits a shift into this perspective to give a purely algebraic construction of the real numbers from the rational numbers. I suggest that Thomae's chess analogy is intended to provide a model for such shifts in perspective. (shrink)

This book goes far beyond its title. Landry indeed surveys current definitions of “mathematical platonism” to show nothing like them applies to Socrates in Plat.

The objective of this article is to try to elucidate Wittgenstein’s ex-travagant thesis that each and every mathematical advancement involves some “semantical mutation”, i.e., some alteration of the very meanings of the terms involved. To do that we will argue in favor of the idea of a “modal incompati-bility” between the concepts involved, as they were prior to the advancement, and what they become after the new result was obtained. We will also argue that the adoption of this thesis profoundly (...) alters the traditional way of con-struing the idea of “progress” in mathematics. (shrink)

We analyze a solitaire game in which a demon rearranges some cards after each move. The graph edge coloring theorems of K˝onig (1931) and Vizing (1964) follow from the winning strategies developed.

Over Plato's Academy in ancient Athens, it is said, hung a sign: "Let no one ignorant of geometry enter here." Plato thought no one could do philosophy without also doing mathematics. In The Waltz of Reason, mathematician and philosopher Karl Sigmund shows us why. Charting an epic story spanning millennia and continents, Sigmund shows that philosophy and mathematics are inextricably intertwined, mutual partners in a reeling search for truth. Beginning with-appropriately enough-geometry, Sigmund explores the power and beauty of numbers and (...) logic, and then shows how those ideas laid the ground work for everything from the theory of a fair election, to modern conceptions of governance, cooperation, morality, and even of reason itself. Did you know, for example, that John Locke, author of some of the most important texts in the Western theory of government, was motivated in his work by his study of geometry? Or, that Locke was actually terrible at geometry, a seventeenth-century mathematical laughingstock? He was, a fact that might want us to think again about the logic of his life's work. And Locke wasn't the only one! Sigmund reveals how many of our modern ideas about what is true and what is reasonable are based on similarly shaky grounds. The economists and other thinkers who promulgated game theory, classical economics, and behavioral economics-the basis of so much in modern life-were not necessarily good at either math or philosophy, or both. The result is a remarkable book: accessible, funny, and wise, it tells an engrossing history of ideas that spins as dizzyingly and beautifully as a ballroom full of expert dancers. But it doesn't just celebrate the past. Instead, by making all these great ideas accessible to all, The Waltz of Reason empowers as it entertains, giving each of us the tools to ask, what do we know, how do we know it, and what do we want to do, with all these ideas? (shrink)

In this paper, through the analysis of the division of different scientific fields, we deal with the nature of mathematics as a scientific discipline. Through the historical analysis of the division of science, but also the analysis of the nature of mathematics and the ontological status of the objects that mathematics deals with, we show that the now-established divisions among scientific fields are the result of social circumstances and that mathematics itself is closer to the humanities than the natural sciences.

This paper studies Paul Cohen’s philosophy of mathematics and mathematical practice as expressed in his writing on set-theoretic consistency proofs using his method of forcing. Since Cohen did not consider himself a philosopher and was somewhat reluctant about philosophy, the analysis uses semiotic and literary textual methodologies rather than mainstream philosophical ones. Specifically, I follow some ideas of Lévi-Strauss’s structural semiotics and some literary narratological methodologies. I show how Cohen’s reflections and rhetoric attempt to bridge what he experiences as an (...) uncomfortable tension between reality and the formal by means of his notion of intuition. (shrink)

Du Châtelet holds that mathematical representations play an explanatory role in natural science. Moreover, she writes that things proceed in nature as they do in geometry. How should we square these assertions with Du Châtelet’s idealism about mathematical objects, on which they are ‘fictions’ dependent on acts of abstraction? The question is especially pressing because some of her important interlocutors (Wolff, Maupertuis, and Voltaire) denied that mathematics informs us about the properties of material things. After situating Du Châtelet in this (...) debate, this chapter argues, first, that her account of the origins of mathematical objects is less subjectivist than it might seem. Mathematical objects are non-arbitrary, public entities. While mathematical objects are partly mind-dependent, so are material things. Mathematical objects can approximate the material. Second, it is argued that this moderate metaphysical position underlies Du Châtelet’s persistent claims that mathematics is required for certain kinds of general knowledge, including in natural science. The chapter concludes with an illustrative example: an analysis of Du Châtelet’s argument that matter is continuous. A key premise in the argument is that mathematical representations and material nature correspond. (shrink)

The rhetoric of algorithmic neutrality is more alive than ever-why? This volume explores key moments in the historical emergence of algorithmic practices and in the constitution of their credibility and authority since 1500. If algorithms are historical objects and their associated meanings and values are situated and contingent-and if we are to push back against rhetorical claims of otherwise-then the genealogical investigation this book offers is essential to understand the power of the algorithm. The fact that algorithms create the conditions (...) for many of our encounters with social reality contrasts starkly with their relative invisibility. More than other artifacts, algorithms are easily black-boxed. Rather than contingent and modifiable, they are widely seen as obvious and unproblematic-without context and without history. As an antidote, this volume keeps a clear focus on the emergence and continuous reconstitution of algorithmic practices alongside the ascendance of modernity. Its essays highlight the trajectory of an algorithmic modernity, one characterized by attitudes and practices that are best emblematized by the modernist aesthetic and inhuman efficacy of the algorithm. The volume moves from early modern algorithmic practices, centered on heuristics for arithmetic operations, emphasizing ruptures, shifts, and variations across times and cultures. By the age of Enlightenment, the term algorithm had come to signify any process of systematic calculation that could be carried out mechanically, but its meaning and implications are still distant from those familiar to us. It's in the nineteenth and twentieth century that the meaning of algorithm is sharpened through a new discipline and by adding sets of specific conditions-such as the condition of finiteness-which acquire new and crucial significance in the age of digital computing. Throughout, the connection between algorithms and modernity is one of our central concerns. Through detailed historical reconstructions of specific moments, thinkers, and cultural phenomena over the last five hundred years, these essays lead us to the definitions of algorithm most legible today and to the pervasiveness of both algorithmic procedures and rhetoric. This volume contributes a multi-faceted exploration of the genealogies of algorithms, of algorithmic thinking, and of the distinctly modernist faith in algorithms as neutral tools that merely illuminate the natural and social world. (shrink)