The work done so far on the understanding of mathematical (proof) texts focuses mostly on logical and heuristical aspects; a proof text is considered to be understood when the reader is able to justify inferential steps occurring in it, to defend it against objections, to give an account of the “main ideas”, to transfer the proof idea to other contexts etc. (see, e.g., Avigad in The philosophy of mathematical practice, Oxford University Press, Oxford, 2008). In contrast, there (...) is a rich philosophical tradition dealing with the concept of understanding and interpreting texts, namely philosophical hermeneutics, represented, e.g., by Schleiermacher, Dilthey, Heidegger or Gadamer. In this tradition, “understanding” generally refers to the integration in a comprehensive (historical, existential, life-worldly,...) context. In this article, we take some first steps towards exploring the question how the ideas from philosophical hermeneutics presented in Gadamer’s “Truth and Method” apply to mathematical texts and what (if anything) can be learned from these for the didactics and presentation of mathematics. (shrink)

Arithmetical texts involving division are governed by conventions that avoid the risk of problems to do with division by zero (DbZ). A model for elementary arithmetic texts is given, and with the help of many examples and counter examples a partial description of what may be called traditional conventions on DbZ is explored. We introduce the informal notions of legal and illegal texts to analyse these conventions. First, we show that the legality of a text is algorithmically (...) undecidable. As a consequence, we know that there is no simple sound and complete set of guidelines to determine unambiguously how DbZ is to be avoided. We argue that these observations call for further explorations of mathematical conventions. We propose a method using logics to progress the analysis of legality versus illegality: arithmetical texts in a model can be transformed into logical formulae over special total algebras that are able to approximate partiality but in a total world. The algebras we use are called common meadows. Our dive into informal mathematical practice using formal methods opens up questions about DbZ which we address in conclusion. (shrink)

Figures of Thought looks at how mathematical works can be read as texts and examines their textual strategies. David Reed offers the first sustained and critical attempt to find a consistent argument or narrative thread in mathematical texts. Reed selects mathematicians from a range of historical periods and compares their approaches to organizing and arguing texts, using an extended commentary on Euclid's Elements as a central structuring framework. He develops fascinating interpretations of mathematicians' work throughout (...) history, from Descartes to Hilbert, Kronecker, Dedekind, Weil and Grothendieck. Reed traces the implications of this approach to the understanding of the history and development of mathematics. (shrink)

At their extremes, the modernization of ancient mathematical texts (absolute presentism) leaves nothing of the source and the refusal to modernize (absolute antiquarism) changes nothing. The extremes exist only as tendencies. This paper attempts to justify the admissibility of broad modernization of mathematical sources (presentism) in the context of a socio-cultural (non-fundamentalist) philosophy of mathematics.

The main purpose of this article is to present new material concerning Leibniz's use of indivisibles and infinitesimals in his early mathematical texts. Most of these texts are contained in hitherto unpublished manuscripts and are soon to be printed in volume VII, 4 of the Academy Edition. They present examples which illustrate how Leibniz operated with concepts such as indivisibles and infinitesimals in that period of his development.

The history of mathematics can be read in two ways. On the one hand, unlike the history of physics, it does not proceed by conjectures and refutations. New theories rarely refute old theories, but give them new foundations, generalize them, and reinterpret them through new concepts. This reading is unifying, highlighting the unity of the history of mathematics from its origins, through the permanence of its truths. On the other hand, many contemporary historians of mathematics have insisted on the diversity (...) of methods, objects, and practices throughout history. They have shown that the objects of the past mathematics are not the same as those of today. That second reading shatters the illusion of unity. It disjoins what the first reading unifies.Rather than deciding between these two readings, this chapter examines what makes them both possible and legitimate, based on an analysis of the acts of reading that we have to perform when confronted with the pages of a mathematical text, its signs, diagrams and images, and the different language modalities it employs. Starting with a discussion of Husserl's theses in The Origin of Geometry on the role of writing in the history of mathematics, and using a number of historical examples, the chapter shows that any reading of a mathematical text involves at least three divisions, three delimitations made by the reader’s gaze: divisions between the true and the false, between language and image, and between what is inside mathematics and what is outside. For the same text, these divisions are traced by the gaze in different ways throughout history.The chapter develops an example in greater detail, concerning the status of the equation in Descartes’ Geometry. It discusses the contrasting recent readings of the equation by two historians of science, Henk Bos and Enrico Giusti. It shows the concepts of The Geometry and the ideas the philosopher develops on reading and the nature of the sign. It shows how these ideas can be used to reconstruct how Descartes might have read a mathematical text, and it explains how successive readings of The Geometry can at the same time insert it into the mathematics of later centuries. (shrink)

The Mesopotamian system of sexagesimal counting numbers was based on the progressive series of units 1, 10, 1·60, 10·60, …. It may have been in use already before the invention of writing, with the mentioned units represented by various kinds of small clay tokens. After the invention of proto-cuneiform writing, c. 3300 BC, it continued to be used, with the successive units of the system represented by distinctive impressed cup- and disk-shaped number signs. Other kinds of “metrological” number systems in (...) the proto-cuneiform script, with similar number signs, were used to denote area numbers, capacity numbers, etc. In a handful of known mathematical cuneiform texts from the latter half of the third millennium BC, the ancient systems of sexagesimal counting numbers and area numbers were still in use, alongside new kinds of systems of capacity numbers and weight numbers. Large area numbers, capacity numbers, and weight numbers were counted sexagesimally, while each metrological number system had its own kind of fractional units. In the system of counting numbers itself, fractions could be expressed as sixtieths, sixtieths of sixtieths, and so on, but also in terms of small units borrowed from the system of weight numbers. Among them were the “basic fractions” which we would understand as 1/3, 1/2, and 2/3. In a very early series of metro-mathematical division exercises and an equally early metro-mathematical table of squares, “quasi-integers” of the form “integer plus basic fraction” play a prominent role. Quasi-integers play an essential role also in a recently found atypical cuneiform table of reciprocals. The invention of sexagesimal numbers in place-value notation, in the Neo-Sumerian period c. 2000 BC, was based on a series of innovations. The range of the system of sexagesimal counting numbers was extended indefinitely both upward and downward, and the use of quasi-integers was abolished. Sexagesimal place-value numbers were used for all kinds of calculations in Old Babylonian mathematical cuneiform texts, c. 1700 BC, while traditional metrological numbers were retained in both questions and answers of the exercises. Examples of impressive computations of reciprocals of many-place regular sexagesimal place-value numbers, with no practical applications whatsoever, are known from the Old Babylonian period. In the Late Babylonian period, such computations were still popular, performed by the same persons who constructed the many-place sexagesimal tables that make up the corpus of Late Babylonian mathematical astronomy. (shrink)

During the Middle Ages many Greek mathematical and astronomical texts were translated from Greek into Arabic and from Arabic into Latin. There were many factors complicating the study of them, such as translation from or into other languages, redactions, multiple translations, and independently transmitted scholia. A literal translation risks less in loss of meaning, but can be clumsy. This article includes lists of translations and a large bibliography, divided into sections.

This paper will apply post-structural semiotic theories to study the texts of Gödel's first incompleteness theorem. I will study the texts’ own articulations of concepts of ‘meaning’, analyze the mechanisms they use to sustain their senses of validity, and point out how the texts depend (without losing their mathematical rigor) on sustaining some shifts of meaning. I will demonstrate that the texts manifest semiotic effects, which we usually associate with poetry and everyday speech. I will (...) conclude with an analysis of how the picture I paint relates to an ethics of mathematical production. (shrink)

L’histoire des mathématiques présente une singularité qui a souvent été remarquée par les historiens : contrairement à la physique, cette histoire ne procède pas essentiellement par conjectures et réfutations, mais par une succession d’enchaînements intégrant le passé dans le présent en le réinterprétant. Cette opération implique un acte de lecture du passé par le présent. En partant des thèses de Husserl dans L’origine de la géométrie sur le rôle de l’écriture dans l’historicité des mathématiques, l’article analyse les conditions de possibilité (...) de cette lecture, liées à la nature du texte mathématique : cette dernière doit être pensée à partir de trois partages opérés par le regard du lecteur : entre le vrai et le faux, entre l’écriture et l’image, entre ce qui est mathématique et ce qui n’en relève pas. L’article prend pour exemple le statut de l’équation dans la Géométrie de Descartes. Il montre la solidarité profonde entre cette dernière et les idées que développe le philosophe sur la lecture et la nature du signe. Et il met en évidence comment il est possible à partir de ces idées de reconstituer la manière dont Descartes pouvait lire un texte mathématique, et de comprendre en quoi cela a déterminé en partie ses conceptions dans sa Géométrie, mais aussi en quoi d’autres lectures de la Géométrie peuvent l’insérer dans les mathématiques des siècles ultérieurs. (shrink)

A common description of a mathematical proof is as a logically structured sequence of assertions, beginning from accepted premises and proceeding by standard inference rules to a conclusion. Does this description match the language of proofs as mathematicians write them in their research articles? In this chapter, we use methods from corpus linguistics to look at the prevalence of imperatives and instructions in mathematical preprints from the arXiv repository. We find thirteen verbs that are used most often to (...) form imperatives in proofs, and that these show up significantly more often within proofs than in the surrounding mathematical writing. We also show that there are many more verbs used to form a diverse selection of instructions in proofs. These findings are at odds with the view of proofs as sequences of assertions. Instead, we argue in favour of the recipe model of proofs: that proofs are like recipes, giving instructions for mathematical actions to be carried out. (shrink)

1.1 ContextIn the period following the demise of logicism, formalism, and intuitionism, contributors to the philosophy of mathematics have been divided. On the one hand, there are those who tend to focus on such issues as: Do mathematical entities exist? If so, what type of entities are they and how do we know about them? If not, how can we account for the role that mathematics plays in our everyday and scientific lives? Contributors to this school—let us call it (...) the analytic school—do not, on the whole, concern themselves with careful analyses of important historical developments in mathematics. On the other hand, there are those who contribute to an historical school in the philosophy of mathematics. Contributors to this school tend to concern themselves almost exclusively with detailed historical analyses of important developments in mathematics. They are typically interested in answering questions concerning the growth of mathematical knowledge.In recent years, interest in the historical school has been growing, as has its influence on the analytic school. This book marks another stride in this direction. Oliveri aims to employ tools developed for use within the historical school to address one of the major issues investigated by the analytic school, i.e., whether we should be realists or anti-realists about mathematics. This is a laudable objective, since even a successful partial integration of these two schools would be valuable to contributors within both.1.2 Noteworthy ContributionsIn attempting a partial integration of these two schools, Oliveri makes several noteworthy contributions. The most significant is his development of a new type of argument for structural realism about mathematics. This argument exploits tools for theorizing about mathematics that were developed by Imre Lakatos [1978] in his work on scientific research programs . It focuses attention on the progressive mathematical research program that started with …. (shrink)

In previous work we gave a mathematical foundation, referred to as DisCoCat, for how words interact in a sentence in order to produce the meaning of that sentence. To do so, we exploited the perfect structural match of grammar and categories of meaning spaces. Here, we give a mathematical foundation, referred to as DisCoCirc, for how sentences interact in texts in order to produce the meaning of that text. First we revisit DisCoCat. While in DisCoCat all meanings (...) are fixed as states, in DisCoCirc word meanings correspond to a type, or system, and the states of this system can evolve. Sentences are gates within a circuit which update the variable meanings of those words. Like in DisCoCat, word meanings can live in a variety of spaces e.g. propositional, vectorial, or cognitive. The compositional structure are string diagrams representing information flows, and an entire text yields a single string diagram in which word meanings lift to the meaning of the entire text. While the developments in this paper are independent of a physical embodiment, both the compositional formalism and suggested meaning model are highly quantum-inspired, and implementation on a quantum computer would come with a range of benefits. We also praise Jim Lambek for his role in mathematical linguistics in general, and the development of the DisCo program more specifically. (shrink)

If anachronism is an historian's unforgivable sin, as Lucien Fèbvre told us long ago, it is nonetheless unavoidable, if only in the sense that we are constrained by our own point of view, anchored...

Understanding arithmetic word problems involves a complex interaction of text comprehension and mathematical processes. This article presents a computer simulation designed to capture the working memory demands required in “bottomup” comprehension of arithmetic word problems. The simulation's sentence‐level parser and text integration component reflect the importance of processing the problem from its original natural language presentation. Children's probability of solution was analyzed in exploratory regression analyses as a function of the simulation's sentence‐level and text integration processes. Working memory variables (...) measuring the combined effects of concepts to remember and text integration inferences account for a significant proportion of variance in children's solution probabilities across the first four grade levels (K‐3). Consistent with previous results from others, which highlighted the significance of small changes in problem wording, the simulation offers a process‐oriented perspective as to why natural language presentation constrains the comprehension of mathematical relationships. (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)

This paper argues that mathematics education curricular policy has slowly effected a reversal in the relationship between mathematics and its publics: from mathematics assuming its users to mathematics defined by its (supposed) users. Mathematics education research itself, its contribution to challenging the former notwithstanding, has often unwittingly supported this shift. While in the mid 1980s the mathematics educators propagating the teaching of mathematics by applications represented a small and unique group, by the mid 1990s those advocating teaching mathematics this way (...) had grown appreciably. A characteristic of this change in conviction is the emphasis on the importance of the context of mathematical thinking and problem-solving. Paradoxically, the consequences of the coupling of mathematics, both with utilitarianism,as other have argued, and with essentialism,as we argue in this paper, have been to narrow its scope (e.g. to a narrow version of 'numeracy') and to distance mathematics from its publics. In the paper we argue that action is needed to counter these trends, and to develop the area of the public understanding of mathematics. Otherwise policies aiming simply to 'popularize' mathematics might exacerbate these consequences. In particular, research is necessary along the lines followed by the social studies of science. For such research-by posing as pertinent the question of describing and accounting for differences between practices of knowledge production, dissemination and use-can help to avoid the assumption of a unique essence of some unitary culture called 'mathematics' and therefore a public (or publics) separated from it. (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)

After a survey of disagreements among Thomists on the nature of mathematical abstraction, the author cites Aquinas's text Scriptum super libros Sententiarum, I, d. 2, a.3 (a late text inserted in an older work). It assimilates the objects of mathematics to those of logic, thus admitting a remote foundation in reality but not the direct one of the concepts of the physical sciences.

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, (...) with additional coverage of introductory material such as sets. Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. Reduced mathematical rigour to fit the needs of undergraduate students. (shrink)

Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic ...

The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of (...) the period. Starting with the Renaissance debates on the certainty of mathematics, Mancosu leads the reader through the foundational issues raised by the emergence of these new mathematical techniques, including the influence of the Aristotelian conception of science in Cavalieri and Guldin, the foundational relevance of Descartes' Geometrie, the relation between geometrical and epistemological theories of the infinite, and the Leibnizian calculus and the opposition to infinitesimalist procedures. In the process Mancosu draws a sophisticated picture of the subtle dependencies between technical development and philosophical reflection in seventeenth century mathematics. (shrink)

This paper presents a lengthy unpublished passage by Russell on the attempts by Pythagoras and subsequent mathematicians to deal with continuity and the logical paradoxes, recently discovered in the manuscript of the _History of Western Philosophy_. In the first part, I provide a short introduction to the new material. In the second, I analyze its philosophical content. In the third, I develop some considerations, mainly in the attempt to solve the following problems: can we determine when and for what purpose (...) Russell wrote these leaves? why were they never published? where do we find similar subjects expounded in the History? where does the significance of the discovery really lie? (shrink)

Based on the ideas of Einstein and Minkowski, this concise treatment is derived from the author's many years of teaching the mathematics of relativity at the University of Michigan. Geared toward advanced undergraduates and graduate students of physics, the text covers old physics, new geometry, special relativity, curved space, and general relativity. Beginning with a discussion of the inverse square law in terms of simple calculus, the treatment gradually introduces increasingly complicated situations and more sophisticated mathematical tools. Changes in (...) fundamental concepts, which characterize relativity theory, and the refinements of mathematical technique are incorporated as necessary. The presentation thus offers an easier approach without sacrifice of rigor. Dover (2014) republication of the edition published by John Wiley & Sons, New York, 1950. See every Dover book in print at www.doverpublications.com. (shrink)

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most (...) striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. (shrink)

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part (...) II supplements the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index. (shrink)

This comprehensive text on African Mathematics addresses some of the problematic issues in the field, such as attitudes, curriculum development, educational change, academic achievement, standardized and other tests, performance factors, student characteristics, cross-cultural differences and studies, literacy, native speakers, social class and differences, equal education, teaching methods, and more.

Mathematical texts raise particular dilemmas for the translator. With its arm’s-length relation to verbal expression and long-standing “mathematics is written for mathematicians” ethos, mathematics lends itself awkwardly to textually centered analysis. Otherwise sound standards of historical scholarship can backfire when rigidly upheld in a mathematical context. Mathematically inclined historians have had more faith in a purported empathic sixth sense—and there is a case to be made that this is how mathematical authors have generally expected their works (...) to be read—but it is difficult to pin down exact evidentiary standards for this supposed instinct. This essay urges that both of these points of view, for all the tension between them, be kept in the historian’s toolbox. It illustrates these considerations with a case study from the Ptolemaic astronomical tradition on computing lunar model parameters from eclipse data. (shrink)