Mario Pieri and His Contributions to Geometry and Foundations of Mathematics
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Richard Dedekind English Version
RICHARD DEDEKIND (October 6, 1831 – February 12, 1916) by HEINZ KLAUS STRICK, Germany The biography of JULIUS WILHELM RICHARD DEDEKIND begins and ends in Braunschweig (Brunswick): The fourth child of a professor of law at the Collegium Carolinum, he attended the Martino-Katherineum, a traditional gymnasium (secondary school) in the city. At the age of 16, the boy, who was also a highly gifted musician, transferred to the Collegium Carolinum, an educational institution that would pave the way for him to enter the university after high school. There he prepared for future studies in mathematics. In 1850, he went to the University at Göttingen, where he enthusiastically attended lectures on experimental physics by WILHELM WEBER, and where he met CARL FRIEDRICH GAUSS when he attended a lecture given by the great mathematician on the method of least squares. GAUSS was nearing the end of his life and at the time was involved primarily in activities related to astronomy. After only four semesters, DEDEKIND had completed a doctoral dissertation on the theory of Eulerian integrals. He was GAUSS’s last doctoral student. (drawings © Andreas Strick) He then worked on his habilitation thesis, in parallel with BERNHARD RIEMANN, who had also received his doctoral degree under GAUSS’s direction not long before. In 1854, after obtaining the venia legendi (official permission allowing those completing their habilitation to lecture), he gave lectures on probability theory and geometry. Since the beginning of his stay in Göttingen, DEDEKIND had observed that the mathematics faculty, who at the time were mostly preparing students to become secondary-school teachers, had lost contact with current developments in mathematics; this in contrast to the University of Berlin, at which PETER GUSTAV LEJEUNE DIRICHLET taught. -
Hubert Kennedy Eight Mathematical Biographies
Hubert Kennedy Eight Mathematical Biographies Peremptory Publications San Francisco 2002 © 2002 by Hubert Kennedy Eight Mathematical Biographies is a Peremptory Publications ebook. It may be freely distributed, but no changes may be made in it. Comments and suggestions are welcome. Please write to [email protected] . 2 Contents Introduction 4 Maria Gaetana Agnesi 5 Cesare Burali-Forti 13 Alessandro Padoa 17 Marc-Antoine Parseval des Chênes 19 Giuseppe Peano 22 Mario Pieri 32 Emil Leon Post 35 Giovanni Vailati 40 3 Introduction When a Dictionary of Scientific Biography was planned, my special research interest was Giuseppe Peano, so I volunteered to write five entries on Peano and his friends/colleagues, whose work I was investigating. (The DSB was published in 14 vol- umes in 1970–76, edited by C. C. Gillispie, New York: Charles Scribner's Sons.) I was later asked to write two more entries: for Parseval and Emil Leon Post. The entry for Post had to be done very quickly, and I could not have finished it without the generous help of one of his relatives. By the time the last of these articles was published in 1976, that for Giovanni Vailati, I had come out publicly as a homosexual and was involved in the gay liberation movement. But my article on Vailati was still discreet. If I had written it later, I would probably have included evidence of his homosexuality. The seven articles for the Dictionary of Scientific Biography have a uniform appear- ance. (The exception is the article on Burali-Forti, which I present here as I originally wrote it—with reference footnotes. -
Mathematicians Fleeing from Nazi Germany
Mathematicians Fleeing from Nazi Germany Mathematicians Fleeing from Nazi Germany Individual Fates and Global Impact Reinhard Siegmund-Schultze princeton university press princeton and oxford Copyright 2009 © by Princeton University Press Published by Princeton University Press, 41 William Street, Princeton, New Jersey 08540 In the United Kingdom: Princeton University Press, 6 Oxford Street, Woodstock, Oxfordshire OX20 1TW All Rights Reserved Library of Congress Cataloging-in-Publication Data Siegmund-Schultze, R. (Reinhard) Mathematicians fleeing from Nazi Germany: individual fates and global impact / Reinhard Siegmund-Schultze. p. cm. Includes bibliographical references and index. ISBN 978-0-691-12593-0 (cloth) — ISBN 978-0-691-14041-4 (pbk.) 1. Mathematicians—Germany—History—20th century. 2. Mathematicians— United States—History—20th century. 3. Mathematicians—Germany—Biography. 4. Mathematicians—United States—Biography. 5. World War, 1939–1945— Refuges—Germany. 6. Germany—Emigration and immigration—History—1933–1945. 7. Germans—United States—History—20th century. 8. Immigrants—United States—History—20th century. 9. Mathematics—Germany—History—20th century. 10. Mathematics—United States—History—20th century. I. Title. QA27.G4S53 2008 510.09'04—dc22 2008048855 British Library Cataloging-in-Publication Data is available This book has been composed in Sabon Printed on acid-free paper. ∞ press.princeton.edu Printed in the United States of America 10 987654321 Contents List of Figures and Tables xiii Preface xvii Chapter 1 The Terms “German-Speaking Mathematician,” “Forced,” and“Voluntary Emigration” 1 Chapter 2 The Notion of “Mathematician” Plus Quantitative Figures on Persecution 13 Chapter 3 Early Emigration 30 3.1. The Push-Factor 32 3.2. The Pull-Factor 36 3.D. -
The Development of Mathematical Logic from Russell to Tarski: 1900–1935
The Development of Mathematical Logic from Russell to Tarski: 1900–1935 Paolo Mancosu Richard Zach Calixto Badesa The Development of Mathematical Logic from Russell to Tarski: 1900–1935 Paolo Mancosu (University of California, Berkeley) Richard Zach (University of Calgary) Calixto Badesa (Universitat de Barcelona) Final Draft—May 2004 To appear in: Leila Haaparanta, ed., The Development of Modern Logic. New York and Oxford: Oxford University Press, 2004 Contents Contents i Introduction 1 1 Itinerary I: Metatheoretical Properties of Axiomatic Systems 3 1.1 Introduction . 3 1.2 Peano’s school on the logical structure of theories . 4 1.3 Hilbert on axiomatization . 8 1.4 Completeness and categoricity in the work of Veblen and Huntington . 10 1.5 Truth in a structure . 12 2 Itinerary II: Bertrand Russell’s Mathematical Logic 15 2.1 From the Paris congress to the Principles of Mathematics 1900–1903 . 15 2.2 Russell and Poincar´e on predicativity . 19 2.3 On Denoting . 21 2.4 Russell’s ramified type theory . 22 2.5 The logic of Principia ......................... 25 2.6 Further developments . 26 3 Itinerary III: Zermelo’s Axiomatization of Set Theory and Re- lated Foundational Issues 29 3.1 The debate on the axiom of choice . 29 3.2 Zermelo’s axiomatization of set theory . 32 3.3 The discussion on the notion of “definit” . 35 3.4 Metatheoretical studies of Zermelo’s axiomatization . 38 4 Itinerary IV: The Theory of Relatives and Lowenheim’s¨ Theorem 41 4.1 Theory of relatives and model theory . 41 4.2 The logic of relatives . -
Definitions and Nondefinability in Geometry 475 2
Definitions and Nondefinability in Geometry1 James T. Smith Abstract. Around 1900 some noted mathematicians published works developing geometry from its very beginning. They wanted to supplant approaches, based on Euclid’s, which han- dled some basic concepts awkwardly and imprecisely. They would introduce precision re- quired for generalization and application to new, delicate problems in higher mathematics. Their work was controversial: they departed from tradition, criticized standards of rigor, and addressed fundamental questions in philosophy. This paper follows the problem, Which geo- metric concepts are most elementary? It describes a false start, some successful solutions, and an argument that one of those is optimal. It’s about axioms, definitions, and definability, and emphasizes contributions of Mario Pieri (1860–1913) and Alfred Tarski (1901–1983). By fol- lowing this thread of ideas and personalities to the present, the author hopes to kindle interest in a fascinating research area and an exciting era in the history of mathematics. 1. INTRODUCTION. Around 1900 several noted mathematicians published major works on a subject familiar to us from school: developing geometry from the very beginning. They wanted to supplant the established approaches, which were based on Euclid’s, but which handled awkwardly and imprecisely some concepts that Euclid did not treat fully. They would present geometry with the precision required for general- ization and applications to new, delicate problems in higher mathematics—precision beyond the norm for most elementary classes. Work in this area was controversial: these mathematicians departed from tradition, criticized previous standards of rigor, and addressed fundamental questions in logic and philosophy of mathematics.2 After establishing background, this paper tells a story about research into the ques- tion, Which geometric concepts are most elementary? It describes a false start, some successful solutions, and a demonstration that one of those is in a sense optimal. -
Infinitesimals Via Cauchy Sequences: Refining the Classical Equivalence
INFINITESIMALS VIA CAUCHY SEQUENCES: REFINING THE CLASSICAL EQUIVALENCE EMANUELE BOTTAZZI AND MIKHAIL G. KATZ Abstract. A refinement of the classic equivalence relation among Cauchy sequences yields a useful infinitesimal-enriched number sys- tem. Such an approach can be seen as formalizing Cauchy’s senti- ment that a null sequence “becomes” an infinitesimal. We signal a little-noticed construction of a system with infinitesimals in a 1910 publication by Giuseppe Peano, reversing his earlier endorsement of Cantor’s belittling of infinitesimals. June 2, 2021 1. Historical background Robinson developed his framework for analysis with infinitesimals in his 1966 book [1]. There have been various attempts either (1) to obtain clarity and uniformity in developing analysis with in- finitesimals by working in a version of set theory with a concept of infinitesimal built in syntactically (see e.g., [2], [3]), or (2) to define nonstandard universes in a simplified way by providing mathematical structures that would not have all the features of a Hewitt–Luxemburg-style ultrapower [4], [5], but nevertheless would suffice for basic application and possibly could be helpful in teaching. The second approach has been carried out, for example, by James Henle arXiv:2106.00229v1 [math.LO] 1 Jun 2021 in his non-nonstandard Analysis [6] (based on Schmieden–Laugwitz [7]; see also [8]), as well as by Terry Tao in his “cheap nonstandard analysis” [9]. These frameworks are based upon the identification of real sequences whenever they are eventually equal.1 A precursor of this approach is found in the work of Giuseppe Peano. In his 1910 paper [10] (see also [11]) he introduced the notion of the end (fine; pl. -
1 CS Peirce's Classification of Dyadic Relations: Exploring The
C.S. Peirce’s Classification of Dyadic Relations: Exploring the Relevance for Logic and Mathematics Jeffrey Downard1 In “The Logic of Mathematics; an Attempt to Develop my Categories from Within” [CP 1.417-520] Charles S. Peirce develops a scheme for classifying different kinds of monadic, dyadic and triadic relations. His account of these different classes of relations figures prominently in many parts of his philosophical system, including the phenomenological account of the categories of experience, the semiotic account of the relations between signs, objects and the metaphysical explanations of the nature of such things as chance, brute existence, law-governed regularities and the making and breaking of habits. Our aim in this essay is to reconstruct and examine central features of the classificatory system that he develops in this essay. Given the complexity of the system, we will focus our attention in this essay mainly on different classes of degenerate and genuine dyadic relations, and we will take up the discussion of triadic relations in a companion piece. One of our reasons for wanting to explore Peirce’s philosophical account of relations is to better understand how it might have informed the later development of relations as 1 Associate Professor, Department of Philosophy, Northern Arizona University. 2 In what follows, I will refer to Peirce’s essay “The Logic of Mathematics; An Attempt to Develop my Categories from Within” using the abbreviated title “The Logic of Mathematics.” 3 One reason to retain all of the parts of the figures—including the diamonds that represent the saturated bonds—is that it makes it possible to study more closely the combinatorial possibilities of the system. -
Peano 441 Peano
PEANO PEANO On his life and work, see M . Berthelot, "Necrologie," his position at the military academy but retained his in Bulletin . Societe chindque de France, A5 (1863), 226- professorship at the university until his death in 1932, 227 ; J. R. Partington, A History of Chemistry, IV (London, having transferred in 1931 to the chair of complemen- 1964), 584-585 ; and F. Szabadvary, History of Analytical tary mathematics. He was elected to a number of Chemistry (Oxford, 1966), 251 . scientific societies, among them the Academy of F . SZABADVARY Sciences of Turin, in which he played a very active role . He was also a knight of the Order of the Crown of Italy and of the Order of Saint Maurizio and PEANO, GIUSEPPE (b . Spinetta, near Cuneo, Italy, Saint Lazzaro. Although lie was not active politically, 27 August 1858 ; d. Turin, Italy, 20 April 1932), his views tended toward socialism ; and lie once invited mathematics, logic . a group of striking textile workers to a party at his Giuseppe Peano was the second of the five children home. During World War I he advocated a closer of Bartolomeo Peano and Rosa Cavallo . His brother federation of the allied countries, to better prosecute Michele was seven years older . There were two the war and, after the peace, to form the nucleus of a younger brothers, Francesco and Bartolomeo, and a world federation . Peano was a nonpracticing Roman sister, Rosa . Peano's first home was the farm Tetto Catholic . Galant, near the village of Spinetta, three miles from Peano's father died in 1888 ; his mother, in 1910. -
Models in Geometry and Logic: 1870-1920 ∗
Models in Geometry and Logic: 1870-1920 ∗ Patricia Blanchette University of Notre Dame 1 Abstract Questions concerning the consistency of theories, and of the independence of axioms and theorems one from another, have been at the heart of logical investigation since the beginning of logic. It is well known that our own contemporary methods for proving independence and consistency owe a good deal to developments in geometry in the middle of the nineteenth century, and especially to the role of models in estab- lishing the consistency of non-Euclidean geometries. What is less well understood, and is the topic of this essay, is the extent to which the concepts of consistency and of independence that we take for granted today, and for which we have clear techniques of proof, have been shaped in the intervening years by the gradual de- velopment of those techniques. It is argued here that this technical development has brought about significant conceptual change, and that the kinds of consistency- and independence-questions we can decisively answer today are not those that first motivated metatheoretical work. The purpose of this investigation is to help clarify what it is, and importantly what it is not, that we can claim to have shown with a modern demonstration of consistency or independence.1 ∗This is the nearly-final version of the paper whose official version appears in Logic, Methodology, and Philosophy of Science - proceedings of the 15th International Congress, edited by Niiniluoto, Sepp¨al¨a,Sober; College Publications 2017, pp 41-61 1Many thanks to the organizers of CLMPS 2015 in Helsinki, and also to audience members for helpful comments. -
OF the AMERICAN MATHEMATICAL SOCIETY 157 Notices February 2019 of the American Mathematical Society
ISSN 0002-9920 (print) ISSN 1088-9477 (online) Notices ofof the American MathematicalMathematical Society February 2019 Volume 66, Number 2 THE NEXT INTRODUCING GENERATION FUND Photo by Steve Schneider/JMM Steve Photo by The Next Generation Fund is a new endowment at the AMS that exclusively supports programs for doctoral and postdoctoral scholars. It will assist rising mathematicians each year at modest but impactful levels, with funding for travel grants, collaboration support, mentoring, and more. Want to learn more? Visit www.ams.org/nextgen THANK YOU AMS Development Offi ce 401.455.4111 [email protected] A WORD FROM... Robin Wilson, Notices Associate Editor In this issue of the Notices, we reflect on the sacrifices and accomplishments made by generations of African Americans to the mathematical sciences. This year marks the 100th birthday of David Blackwell, who was born in Illinois in 1919 and went on to become the first Black professor at the University of California at Berkeley and one of America’s greatest statisticians. Six years after Blackwell was born, in 1925, Frank Elbert Cox was to become the first Black mathematician when he earned his PhD from Cornell University, and eighteen years later, in 1943, Euphemia Lofton Haynes would become the first Black woman to earn a mathematics PhD. By the late 1960s, there were close to 70 Black men and women with PhDs in mathematics. However, this first generation of Black mathematicians was forced to overcome many obstacles. As a Black researcher in America, segregation in the South and de facto segregation elsewhere provided little access to research universities and made it difficult to even participate in professional societies. -
Philosophia Scientić, 17-1
Philosophia Scientiæ Travaux d'histoire et de philosophie des sciences 17-1 | 2013 The Epistemological Thought of Otto Hölder Paola Cantù et Oliver Schlaudt (dir.) Édition électronique URL : http://journals.openedition.org/philosophiascientiae/811 DOI : 10.4000/philosophiascientiae.811 ISSN : 1775-4283 Éditeur Éditions Kimé Édition imprimée Date de publication : 1 mars 2013 ISBN : 978-2-84174-620-0 ISSN : 1281-2463 Référence électronique Paola Cantù et Oliver Schlaudt (dir.), Philosophia Scientiæ, 17-1 | 2013, « The Epistemological Thought of Otto Hölder » [En ligne], mis en ligne le 01 mars 2013, consulté le 04 décembre 2020. URL : http:// journals.openedition.org/philosophiascientiae/811 ; DOI : https://doi.org/10.4000/ philosophiascientiae.811 Ce document a été généré automatiquement le 4 décembre 2020. Tous droits réservés 1 SOMMAIRE General Introduction Paola Cantù et Oliver Schlaudt Intuition and Reasoning in Geometry Inaugural Academic Lecture held on July 22, 1899. With supplements and notes Otto Hölder Otto Hölder’s 1892 “Review of Robert Graßmann’s 1891 Theory of Number”. Introductory Note Mircea Radu Review of Graßmann, Robert, Theory of Number or Arithmetic in Strict Scientific Presentation by Strict Use of Formulas (1891) Otto Hölder Between Kantianism and Empiricism: Otto Hölder’s Philosophy of Geometry Francesca Biagioli Hölder, Mach, and the Law of the Lever: A Case of Well-founded Non-controversy Oliver Schlaudt Otto Hölder’s Interpretation of David Hilbert’s Axiomatic Method Mircea Radu Geometry and Measurement in Otto Hölder’s Epistemology Paola Cantù Varia Hat Kurt Gödel Thomas von Aquins Kommentar zu Aristoteles’ De anima rezipiert? Eva-Maria Engelen Philosophia Scientiæ, 17-1 | 2013 2 General Introduction Paola Cantù and Oliver Schlaudt 1 The epistemology of Otto Hölder 1 This special issue is devoted to the philosophical ideas developed by Otto Hölder (1859-1937), a mathematician who made important contributions to analytic functions and group theory. -
Arxiv:1803.02193V1 [Math.HO] 6 Mar 2018 AQE AR IT AZZK EE ENG IHI .KA G
KLEIN VS MEHRTENS: RESTORING THE REPUTATION OF A GREAT MODERN JACQUES BAIR, PIOTR BLASZCZYK, PETER HEINIG, MIKHAIL G. KATZ, JAN PETER SCHAFERMEYER,¨ AND DAVID SHERRY Abstract. Historian Herbert Mehrtens sought to portray the his- tory of turn-of-the-century mathematics as a struggle of modern vs countermodern, led respectively by David Hilbert and Felix Klein. Some of Mehrtens’ conclusions have been picked up by both histo- rians (Jeremy Gray) and mathematicians (Frank Quinn). We argue that Klein and Hilbert, both at G¨ottingen, were not adversaries but rather modernist allies in a bid to broaden the scope of mathematics beyond a narrow focus on arithmetized anal- ysis as practiced by the Berlin school. Klein’s G¨ottingen lecture and other texts shed light on Klein’s modernism. Hilbert’s views on intuition are closer to Klein’s views than Mehrtens is willing to allow. Klein and Hilbert were equally interested in the axiomatisation of physics. Among Klein’s credits is helping launch the career of Abraham Fraenkel, and advancing the careers of Sophus Lie, Emmy Noether, and Ernst Zermelo, all four surely of impeccable modernist credentials. Mehrtens’ unsourced claim that Hilbert was interested in pro- duction rather than meaning appears to stem from Mehrtens’ marx- ist leanings. Mehrtens’ claim that [the future SS-Brigadef¨uhrer] “Theodor Vahlen . cited Klein’s racist distinctions within math- ematics, and sharpened them into open antisemitism” fabricates a spurious continuity between the two figures mentioned and is thus an odious misrepresentation of Klein’s position. arXiv:1803.02193v1 [math.HO] 6 Mar 2018 Contents 1.