History of Mathematics

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.

Brouwer’s intuitionism was a far-reaching attempt to reform the foundations of mathematics. While the mathematical community was reluctant to accept Brouwer’s work, its response to later-developed brands of intuitionism, such as those presented by Hermann Weyl and Arend Heyting, was different. The paper accounts for this difference by analyzing the intuitionistic versions of Brouwer, Weyl, and Heyting in light of a two-tiered model of the body and image of mathematical knowledge. Such a perspective provides a richer account of each story (...) and points to a possible connection between the community’s reaction and the changes each mathematician had proposed. (shrink)

Brouwer’s intuitionistic program was an intriguing attempt to reform the foundations of mathematics that eventually did not prevail. The current paper offers a new perspective on the scientific community’s lack of reception to Brouwer’s intuitionism by considering it in light of Michael Friedman’s model of parallel transitions in philosophy and science, specifically focusing on Friedman’s story of Einstein’s theory of relativity. Such a juxtaposition raises onto the surface the differences between Brouwer’s and Einstein’s stories and suggests that contrary to Einstein’s (...) story, the philosophical roots of Brouwer’s intuitionism cannot be traced to any previously established philosophical traditions. The paper concludes by showing how the intuitionistic inclinations of Hermann Weyl and Abraham Fraenkel serve as telling cases of how individuals are involved in setting in motion, adopting, and resisting framework transitions during periods of disagreement within a discipline. (shrink)

The classification of algebraic surfaces by the Italian School of algebraic geometry is universally recognized as a breakthrough in 20th-century mathematics. The methods by which it was achieved do not, however, meet the modern standard of rigor and therefore appear dubious from a contemporary viewpoint. In this article, we offer a glimpse into the mathematical practice of the three leading exponents of the Italian School of algebraic geometry: Castelnuovo, Enriques, and Severi. We then bring into focus their distinctive conception of (...) rigor and intuition. Unlike what is often assumed today, from their perspective, rigor is neither opposed to intuition nor understood as a unitary phenomenon – Enriques distinguishes between small-scale rigor and large-scale rigor and Severi between formal rigor and substantial rigor. Finally, we turn to the notion of mathematical objectivity. We draw from our case study in order to advance a multi-dimensional analysis of objectivity. Specifically, we suggest that various types of rigor may be associated with different conceptions of objectivity: namely, objectivity as faithfulness to facts and objectivity as intersubjectivity. (shrink)

Ein Beispiel für die Rezeption und Fortführung der schopenhauerschen Logik findet man in den Mathematiklehrbüchern Friedrich Adolph Wilhelm Diesterwegs (1790–1866), In diesem Aufsatz werden die historische und systematische Dimension dieser Anwendung von Logikdiagramme auf die Mathematik skizziert. In Kapitel 2 wird zunächst die frühe Rezeption der schopenhauerschen Logik und Philosophie der Mathematik vorgestellt. Dabei werden einige oftmals tradierte Vorurteile, die das Werk Schopenhauers betreffen, in Frage gestellt oder sogar ausgeräumt. In Kapitel 3 wird dann die Philosophie der Mathematik und der (...) Logik Schopenhauers vorgestellt. Es wird gezeigt, dass Schopenhauers Logikdiagramme auf Ideen der Mathematiker Leonhard Euler (1707–1783), Bernhard Friedrich Thibaut (1775–1832) und Franz Ferdinand Schweins (1780–1856) zurückgehen und dass Schopenhauer diese Logikdiagramme auch bereits zur Analyse mathematischer Begriffe verwendet. Kapitel 4 beschäftigt sich mit der Schopenhauer-Rezeption Diesterwegs. Es wird die Frage behandelt, inwieweit Diesterweg in der Mathematik von Schopenhauer beeinflusst war und welche Rolle dieser Einfluss auf sein Verständnis von Logik und Mathematik hatte. In Kapitel 5 wird schließlich gezeigt, dass Diesterweg die schopenhauersche Begriffsanalyse der Mathematik mit Hilfe von Logikdiagrammen aufgreift und weiterführt. Da Diesterweg einer der einflussreichsten Pädagogen und Mathematikdidaktiker des 20. Jahrhunderts war, ist anzunehmen, dass sich Spuren dieser Methode noch heute finden lassen. Inwiefern dies wahrscheinlich ist, wird in der Zusammenfassung (Kapitel 6) thematisiert. (shrink)

Open Court began publishingThe Monistin 1890 as a journal“devotedto the philosophy of science”that regularly included mathematics. The audiencewas understood to be“cultured people who have not a technical mathematicaltraining”but nevertheless“have a mathematical penchant.”With these constraints,the mathematical content varied from recreations to logical foundations, but every-one had something to say about non-Euclidean geometry, in debates that rangedfrom psychology to semantics. The focus in this essay is on the contested value ofmathematical expertise in legitimating what should be considered as mathematics.While some mathematicians urgedThe (...) Monistto uphold disciplinary standards ofgeometrical reasoning, authors opposed tonon-Euclidean geometry aligned theirreasoning with practical applications, universal know-how, and nonhierarchicaldemocracy. As one contributorinquired,“How isthe professional expert betterfit-ted to see more lucidly in dealing with the elements of geometry than any otherperson of good geometric faculty?”. (shrink)

The paper examines Yankov’s contribution to the history of mathematical logic and the foundations of mathematics. It concerns the public communication of Markov’s critical attitude towards Brouwer’s intuitionistic mathematics from the point of view of his constructive mathematics and the commentary on A.S. Esenin-Vol’pin program of ultra-intuitionistic foundations of mathematics.

The paper examines the main points of Yankov’s hypothesis on the rise of Greek mathematics. The novelty of Yankov’s interpretation is that the rise of mathematics is examined within the context of the rise of ontological theories of the early Greek philosophers, which mark the beginning of rational thinking, as understood in the Western tradition.

The paper explores Hermann Weyl’s turn to intuitionism through a philosophical prism of normative framework transitions. It focuses on three central themes that occupied Weyl’s thought: the notion of the continuum, logical existence, and the necessity of intuitionism, constructivism, and formalism to adequately address the foundational crisis of mathematics. The analysis of these themes reveals Weyl’s continuous endeavor to deal with such fundamental problems and suggests a view that provides a different perspective concerning Weyl’s wavering foundational positions. Building on a (...) philosophical model of scientific framework transitions and the special role that normative indecision or ambivalence plays in the process, the paper examines Weyl’s motives for considering such a radical shift in the first place. It concludes by showing that Weyl’s shifting stances should be regarded as symptoms of a deep, convoluted intrapersonal process of self-deliberation induced by exposure to external criticism. (shrink)

Bernard Bolzano (1781–1848) is commonly thought to have attempted to develop a theory of size for infinite collections that follows the so-called part–whole principle, according to which the whole is always greater than any of its proper parts. In this paper, we develop a novel interpretation of Bolzano’s mature theory of the infinite and show that, contrary to mainstream interpretations, it is best understood as a theory of infinite sums. Our formal results show that Bolzano’s infinite sums can be equipped (...) with the rich and original structure of a non-commutative ordered ring, and that Bolzano’s views on the mathematical infinite are, after all, consistent. (shrink)

This book offers insights relevant to modern history and epistemology of physics, mathematics and, indeed, to all the sciences and engineering disciplines emerging of 19th century. This research volume is the first of a set of three Springer books on Lazare Nicolas Marguérite Carnot’s (1753–1823) remarkable work: Essay on Machines in General (Essai sur les machines en général [1783] 1786). The other two forthcoming volumes are: Principes fondamentaux de l’équilibre et du mouvement (1803) and Géométrie de position (1803). Lazare Carnot (...) – l'organisateur de la victoire – in Essai sur le machine en général (1786) assumed that the generalization of machines was a necessity for society and its economic development. Subsequently, his new coming science applied to machines attracted considerable interest for technician, as well, already in the 1780’s. With no lack in rigour, Carnot used geometric and trigonometric rather than algebraic arguments, and usually went on to explain in words what the formulae contained. His main physical– mathematical concepts were the Geometric motion and Moment of activity–concept of Work . In particular, he found the invariants of the transmission of motion (by stating the principle of the moment of the quantity of motion) and theorized the condition of the maximum efficiency of mechanical machines (i.e., principle of continuity in the transmission of power). While the core theme remains the theories and historical studies of the text, the book contains an extensive Introduction and an accurate critical English Translation – including the parallel text edition and substantive critical/explicative notes – of Essai sur les machines en général (1786). The authors offer much-needed insight into the relation between mechanics, mathematics and engineering from a conceptual, empirical and methodological, and universalis point of view. As a cutting–edge writing by leading authorities on the history of physics and mathematics, and epistemological aspects, it appeals to historians, epistemologist–philosophers and scientists (physicists, mathematicians and applied sciences and technology). (shrink)

The paper discusses Peano's defense and application of permanence as a principle of practice, and Hahn's further point that, even if it were a principle of logic, permanence would not eliminate all logical ambiguity. Dedicated to the memory of Mic Detlefsen.

The purpose of this work is to address the relation existing between ancient Greek practical geometry and ancient Greek pure geometry. In the first part of the work, we will consider practical and pure geometry and how pure geometry can be seen, in some respects, as arising from an idealization of practical geometry. From an analysis of relevant extant texts, we will make explicit the idealizations at play in pure geometry in relation to practical geometry, some of which are basically (...) explicit in definitions, like that of segments in Euclid’s Elements. Then, we will address how in pure geometry we, so to speak, “refer back” to practical geometry. This occurs in two ways. One, in the propositions of pure geometry. The other, when applying pure geometry. In this case, geometrical objects can represent practical figures like, e.g., a practical segment. (shrink)

Archimedes’ statics is considered as an example of ancient Greek applied mathematics; it is even seen as the beginning of mechanics. Wilbur Knorr made the case regarding this work, as other works by him or other mathematicians from ancient Greece, that it lacks references to the physical phenomena it is supposed to address. According to Knorr, this is understandable if we consider the propositions of the treatise in terms of purely mathematical elaborations suggested by quantitative aspects of the phenomena. In (...) this paper, we challenge Knorr’s view, and address propositions of Archimedes’ statics in their relation to physical phenomena. (shrink)

It has been argued in relation to Old Babylonian mathematical procedure texts that their validity or correctness is self-evident. One “sees” that the procedure is correct without it having, or being accompanied by, any explicit arguments for the correctness of the procedure. Even when agreeing with this view, one might still ask about how is the correctness of a procedure articulated? In this work, we present an articulation of the correctness of ancient Egyptian and Old Babylonian mathematical procedure texts – (...) mathematical texts presenting the solution of problems. We endeavor to make explicit and explain how and why the procedures are reliable over and above the fact that their correctness is intuitive. (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 Bertrand Russell's 1903 Principles of Mathematics, he offers an apparently devastating criticism of the neo-Kantian Hermann Cohen's Principle of the Infinitesimal Method and its History (PIM). Russell's criticism is motivated by his concern that Cohen's account of the foundations of calculus saddles mathematics with the paradoxes of the infinitesimal and continuum, and thus threatens the very idea of mathematical truth. This paper defends Cohen against that objection of Russell's, and argues that properly understood, Cohen's views of limits and infinitesimals (...) do not entail the paradoxes of the infinitesimal and continuum. Essential to that defense is an interpretation, developed in the paper, of Cohen's positions in the PIM as deeply rationalist. The interest in developing this interpretation is not just that it reveals how Cohen's views in the PIM avoid the paradoxes of the infinitesimal and continuum. It also reveals some of what is at stake, both historically and philosophically, in Russell's criticism of Cohen. (shrink)

The “four-color” theorem seems to be generalizable as follows. The four-letter alphabet is sufficient to encode unambiguously any set of well-orderings including a geographical map or the “map” of any logic and thus that of all logics or the DNA plan of any alive being. Then the corresponding maximally generalizing conjecture would state: anything in the universe or mind can be encoded unambiguously by four letters. That admits to be formulated as a “four-letter theorem”, and thus one can search for (...) a properly mathematical proof of the statement. It would imply the “four colour theorem”, the proof of which many philosophers and mathematicians believe not to be entirely satisfactory for it is not a “human proof”, but intermediated by computers unavoidably since the necessary calculations exceed the human capabilities fundamentally. It is furthermore rather unsatisfactory because it consists in enumerating and proving all cases one by one. Sometimes, a more general theorem turns out to be much easier for proving including a general “human” method, and the particular and too difficult for proving theorem to be implied as a corollary in certain simple conditions. The same approach will be followed as to the four colour theorem, i.e. to be deduced more or less trivially from the “four-letter theorem” if the latter is proved. References are only classical and thus very well-known papers: their complete bibliographic description is omitted. (shrink)

David Lindsay Roberts. Republic of Numbers: Unexpected Stories of Mathematical Americans through History. ix + 244 pp., bibl., index. Baltimore: Johns Hopkins University Press, 2019. $29.95 (cloth); ISBN 9781421433080. E-book available. Julian Havil. Curves for the Mathematically Curious: An Anthology of the Unpredictable, Historical, Beautiful, and Romantic. xx + 259 pp., apps., refs., index. Princeton, N.J./Oxford: Princeton University Press, 2019. $29.95 (cloth); ISBN 9780691180052. E-book available. David S. Richeson. Tales of Impossibility: The Two-Thousand-Year Quest to Solve the Mathematical Problems of (...) Antiquity. xii + 436 pp., notes, refs., index. Princeton, N.J./Oxford: Princeton University Press, 2019. $29.95 (cloth); ISBN 9780691192963. E-book availabl. (shrink)

From 1908 to 1916, articles supporting the axiom of choice were scant. The situation changed in 1916, when Wacław Sierpiński published a series of articles reviving the debate. The posterity of the axiom of choice as we know it would be unimaginable without Sierpiński’s efforts.

The purpose of this work is to address what notion of geometrical object and geometrical figure we have in different kinds of geometry: practical, pure, and applied. Also, we address the relation between geometrical objects and figures when this is possible, which is the case of pure and applied geometry. In practical geometry it turns out that there is no conception of geometrical object.

Relying upon a very close reading of all of the definitions given in Euclid’s Elements, I argue that this mathematical treatise contains a philosophical treatment of mathematical objects. Specifically, I show that Euclid draws elaborate metaphysical distinctions between substances and non-substantial attributes of substances, different kinds of substance, and different kinds of non-substance. While the general metaphysical theory adopted in the Elements resembles that of Aristotle in many respects, Euclid does not employ Aristotle’s terminology, or indeed, any philosophical terminology at (...) all. Instead, Euclid systematically uses different types of definition to distinguish between metaphysically different kinds of mathematical object. (shrink)

The concept of ‘ideas’ plays central role in philosophy. The genesis of the idea of continuity and its essential role in intellectual history have been analyzed in this research. The main question of this research is how the idea of continuity came to the human cognitive system. In this context, we analyzed the epistemological function of this idea. In intellectual history, the idea of continuity was first introduced by Leibniz. After him, this idea, as a paradigm, formed the base of (...) several fundamental scientific conceptions. This idea also allowed mathematicians to justify the nature of real numbers, which was one of central questions and intellectual discussions in the history of mathematics. For this reason, we analyzed how Dedekind’s continuity idea was used to this justification. As a result, it can be said that several fundamental conceptions in intellectual history, philosophy and mathematics cannot arise without existence of the idea of continuity. However, this idea is neither a purely philosophical nor a mathematical idea. This is an interdisciplinary concept. For this reason, we call and classify it as mathematical and philosophical invariance. (shrink)

in this paper we return to Marshall Clagett’s view about the existence of an ancient Greek geometry of motion. It can be read in two ways. As a basic presentation of ancient Greek geometry of motion, followed by some aspects of its further development in landmark works by Galileo and Newton. Conversely, it can be read as a basic presentation of aspects of Galileo’s and Newton’s mathematics that can be considered as developments of a geometry of motion that was first (...) conceived by ancient Greek mathematicians. (shrink)

Prominent constructive theories of sets as Martin-Löf type theory and Aczel and Myhill constructive set theory, feature a distinctive form of constructivity: predicativity. This may be phrased as a constructibility requirement for sets, which ought to be finitely specifiable in terms of some uncontroversial initial “objects” and simple operations over them. Predicativity emerged at the beginning of the 20th century as a fundamental component of an influential analysis of the paradoxes by Poincaré and Russell. According to this analysis the paradoxes (...) are caused by a vicious circularity in definitions; adherence to predicativity was therefore proposed as a systematic method for preventing such problematic circularity. In the following, I sketch the origins of predicativity, review the fundamental contributions by Russell and Weyl and look at modern incarnations of this notion. (shrink)

Albert Lautman (b. 1908–1944) was a philosopher of mathematics whose views on mathematical reality and on the philosophy of mathematics parted with the dominant tendencies of mathematical epistemology of the time. Lautman considered the role of philosophy, and of the philosopher, in relation to mathematics to be quite specific. He writes that: ‘in the development of mathematics, a reality is asserted that mathematical philosophy has as a function to recognize and describe’ (Lautman 2011, 87). He goes on to characterize this (...) reality as an ‘ideal reality’ that ‘governs’ the development of mathematics. The relation between mathematical problems as they arise in the historical development of mathematics and the solutions that are provided to these problems by mathematicians, in the form of new mathematical theories, definitions or axioms, are governed by a what Lautman characterises as a dialectics of mathematics. The aim of this paper is to give an account of this Lautmanian dialectic and of how it can be understood to govern the development of solutions to mathematical problems. (shrink)

Mathematics has always been a core part of western education, from the medieval quadrivium to the large amount of arithmetic and algebra still compulsory in high schools. It is an essential part. Its commitment to exactitude and to rigid demonstration balances humanist subjects devoted to appreciation and rhetoric as well as giving the lie to postmodernist insinuations that all “truths” are subject to political negotiation. In recent decades, the character of mathematics has changed – or rather broadened: it has become (...) the enabling science behind the complexity of contemporary knowledge, from gene interpretation to bank risk. Mathematical understanding is all the more necessary for future jobs, as well as remaining, as ever, a prophylactic against the more corrosive philosophical views emanating from the humanities. (shrink)

The influence of religious beliefs to several leading mathematicians in early Soviet years, especially among members of the Moscow Mathematical Society, had drawn the attention of militant Soviet marxists, as well as Soviet authorities. The issue has also drawn significant attention from scholars in the post-Soviet period. According to the currently prevailing interpretation, reported purges against Moscow mathematicians due to their religious inclination are the focal point of the relevant history. However, I maintain that historical data arguably offer reasons to (...) cast reasonable doubts on this interpretation. In this paper, by reviewing the relevant literature, I raise some methodological and philosophical concerns, in an attempt to contribute to a better understanding of the issue. I maintain that an efficient line of reasoning is to discuss issues in the context of their making, taking into consideration the specific features of each era’s culture. Thus, by focusing on P.A. Nekrasov’s case, I attempt to point to an alternative interpretation, in which the different treatment of religious inclined mathematicians by Soviet authorities is explained in the context of the ideological confrontation between two contrasting worldviews, as part of the ongoing class war in the several phases of Soviet history. (shrink)

Richard Dedekind’s theorem 66 states that there exists an infinite set. Its proof invokes such apparently nonmathematical notions as the thought-world and the self. This article discusses the content and context of Dedekind’s proof. It is suggested that Dedekind took the notion of the thought-world from Hermann Lotze. The influence of Kant and Bernard Bolzano on the proof is also discussed, and the reception of the proof in the mathematical and philosophical literature is covered in detail.

In mathematics textbooks and special mathematical treatises, themes and theses of Arthur Schopenhauer's elementary geometry appear again and again. Since Schopenhauer's geometry or philosophy of geometry was considered exemplary in the 19th and early 20th centuries in its relation to figures and thus to the intuition, the two-hundred-year reception history sketched in this paper also follows the evaluation of intuition-related geometries, which depends on the mathematical paradigms.

In a career that spans 60 years so far, W.W. Tait has made many highly influential contributions to logic, the philosophy of mathematics, and their history. The present collection of new essays - contributed by former students, colleagues, and friends - is a Festschrift, i.e., a celebration of his life and work. The essays address a variety of themes prominent in his work or related to it. The collection starts with an introduction in which Tait's contributions are sketched and put (...) into context. The eleven essays that follow are arranged in three parts: Part I. Proof Theory and its History; Part II. Logic and Philosophy of Mathematics; and Part III. History of Logic and Philosophy of Mathematics. Each of the essays contributes substantially to one or several of these areas. The authors included are: Steve Awodey, Solomon Feferman, Michael Friedman, Warren Goldfarb, Geoffrey Hellman, William Howard, Stephen Menn, Rebecca Morris, Charles Parsons, Erich Reck, Thomas Ricketts, and Wilfried Sieg. The editor, Erich H. Reck is Professor of Philosophy at the University of California at Riverside. (shrink)

Essay Review of “Les Arithmétiques de Diophante. Lecture historique et mathématique” by Roshdi Rashed and Christian Houzel, and Histoire de l’analyse diophantienne classique : d’Abū Kamil à Fermat by Roshdi Rashed.

The main goal of part 1 is to challenge the widely held view that Poincaré orders the sciences in a hierarchy of dependence, such that all others presuppose arithmetic. Commentators have suggested that the intuition that grounds the use of induction in arithmetic also underlies the conception of a continuum, that the consistency of geometrical axioms must be proved through arithmetical induction, and that arithmetical induction licenses the supposition that certain operations form a group. I criticize each of these readings. (...) More fully, I argue that the justification Poincaré offers for the use of the group notion in geometry appears to extend to set-theoretic notions that would suffice to put arithmetic on a logical foundation, thus undermining his own case for the necessity of intuition in arithmetic. In part 2, I offer an interpretation of intuition’s role on which it justifies the use of group-theoretic, but not set-theoretic, notions. (shrink)

The current literature on history of science reports that Levi-Civita’s parallel transport was motivated by his attempt to provide the covariant derivative of the absolute differential calculus with a geometrical interpretation (For instance, see Scholz in ''The intersection of history and mathematics'', Birkhäuser, Basel, pp 203-230, 1994, Sect. 4). Levi-Civita’s memoir on the subject was explicitly aimed at simplifying the geometrical computation of the curvature of a Riemannian manifold. In the present paper, we wish to point out the possible role (...) implicitly played by the principle of virtual work in Levi-Civita’s conceptual reasoning to formulate parallel transport. (shrink)