The Peano School: Logic, Epistemology and Didactics
Total Page:16
File Type:pdf, Size:1020Kb

Load more
Recommended publications
-
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. -
Guide to Proper Names and References in Gödel's “Protokolle
Guide to proper names and references in Gödel’s “Protokolle” notebook People Abel Othenio Abel (1875-1946) professor of paleontology and paleobiology at the University of Vienna. Founder of the group of professors known as the “Bärenhöhle” that blocked the appointment and promotion of Jews Adele Adele Nimbursky, née Porkert (1899–1981), Gödel’s girlfriend, separated from her first husband; she and Gödel would marry in September 1938 Bachmann Friedrich Bachmann (1909–1982), mathematician, doctoral student of Scholz’s at Münster, where he received his Ph.D. in 1933; from 1935 at University of Marburg, as assistant then Privatdozent Behmann Heinrich Behmann (1891–1970), German mathematician; his reply to Perelman’s criticism of Gödel’s result had appeared in the journal Mind in April 1937. He was dismissed from his position at the University of Halle after the war for his Nazi Party activities Beer Gustav Beer, member of the Vienna Circle and Menger’s Mathematical Colloquium Benjamin Abram Cornelius Benjamin (1897–1968), American philosopher of science on the University of Chicago faculty 1932 to 1945 Bernays Paul Bernays (1888–1977), Swiss mathematician and logician; close collaborator with David Hilbert on the foundations of mathematics and the axiomatization of set theory Brentano Franz Brentano (1838-1917), resigned as priest, Professor of Philosophy at the University of Vienna, founder of Gestalt Brunsvick Egon Brunswik (1903–1955), Hungarian-born psychologist, assistant to Karl Bühler in Vienna, active member of Otto Neurath’s “Unity of Science” movement Bühler Karl Bühler (1879–1963), professor of psychology at the University of Vienna. He led an effort to reorganize Vienna’s city schools by incorporating scientific findings from child psychology. -
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. -
Mathematics in the Austrian-Hungarian Empire
Mathematics in the Austrian-Hungarian Empire Christa Binder The appointment policy in the Austrian-Hungarian Empire In: Martina Bečvářová (author); Christa Binder (author): Mathematics in the Austrian-Hungarian Empire. Proceedings of a Symposium held in Budapest on August 1, 2009 during the XXIII ICHST. (English). Praha: Matfyzpress, 2010. pp. 43–54. Persistent URL: http://dml.cz/dmlcz/400817 Terms of use: © Bečvářová, Martina © Binder, Christa Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz THE APPOINTMENT POLICY IN THE AUSTRIAN- -HUNGARIAN EMPIRE CHRISTA BINDER Abstract: Starting from a very low level in the mid oft the 19th century the teaching and research in mathematics reached world wide fame in the Austrian-Hungarian Empire before World War One. How this was complished is shown with three examples of careers of famous mathematicians. 1 Introduction This symposium is dedicated to the development of mathematics in the Austro- Hungarian monarchy in the time from 1850 to 1914. At the beginning of this period, in the middle of the 19th century the level of teaching and researching mathematics was very low – with a few exceptions – due to the influence of the jesuits in former centuries, and due to the reclusive period in the first half of the 19th century. But even in this time many efforts were taken to establish a higher education. -
Preface Issue 4-2014
Jahresber Dtsch Math-Ver (2014) 116:199–200 DOI 10.1365/s13291-014-0108-4 PREFACE Preface Issue 4-2014 Hans-Christoph Grunau © Deutsche Mathematiker-Vereinigung and Springer-Verlag Berlin Heidelberg 2014 The last few years have been a good time for solving long standing geometrical- topological conjectures. This issue reports on the solution of the Willmore conject-√ ure—the “best” topological torus is a “real” torus with ratio of radii equal to 2— and one of Thurston’s conjectures—every hyperbolic 3-manifold can be fibered over a circle, up to passing to a finite cover. Starting in the 1960s, Thomas Willmore studied the integral of the squared mean curvature of surfaces in R3 as the simplest but most interesting frame invariant elas- tic bending energy. This energy had shown up already in the early 19th century—too early for a rigorous investigation. Willmore asked: What is the shape of a compact surface of fixed genus minimising the Willmore energy in this class? (In the 1990s, existence of minimisers was proved by Leon Simon, with a contribution by Matthias Bauer and Ernst Kuwert.) Willmore already knew that the genus-0-minimiser is a sphere. Assuming that symmetric surfaces require less energy than asymmetric ones (which has not been proved, yet) he studied families√ of geometric tori with the smaller radius 1 fixed and found that the larger radius 2 would yield the minimum in this very special family. He conjectured that this particular torus would be the genus- 1-minimiser. Almost 50 years later Fernando Marques and André Neves found and published a 100-page-proof. -
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. -
Hermann Cohen's Das Princip Der Infinitesimal-Methode
Hermann Cohen’s Das Princip der Infinitesimal-Methode: The History of an Unsuccessful Book Marco Giovanelli Abstract This paper offers an introduction to Hermann Cohen’s Das Princip der Infinitesimal-Methode (1883), and recounts the history of its controversial reception by Cohen’s early sympathizers, who would become the so-called ‘Marburg school’ of Neo-Kantianism, as well as the reactions it provoked outside this group. By dissecting the ambiguous attitudes of the best-known represen- tatives of the school (Paul Natorp and Ernst Cassirer), as well as those of several minor figures (August Stadler, Kurd Lasswitz, Dimitry Gawronsky, etc.), this paper shows that Das Princip der Infinitesimal-Methode is a unicum in the history of philosophy: it represents a strange case of an unsuccessful book’s enduring influence. The “puzzle of Cohen’s Infinitesimalmethode,” as we will call it, can be solved by looking beyond the scholarly results of the book, and instead focusing on the style of philosophy it exemplified. Moreover, the paper shows that Cohen never supported, but instead explicitly opposed, the doctrine of the centrality of the ‘concept of function’, with which Marburg Neo-Kantianism is usually associated. Long Draft 24/12/2015 Introduction Hermann Cohen’s Das Princip der Infinitesimal-Methode (Cohen, 1883) was undoubtedly an unsuccessful book. Its devastating reviews are customarily mentioned in the literature, but less known and perhaps more significant, is the lukewarm, and sometimes even hostile, reception the book received from Cohen’s early sympathizers. Some members of the group dissented publicly, while others expressed their discomfort in private correspondence. -
Remarks on Non-Euclidean Geometry in the Austro-Hungarian Empire Uwagi O Geometrii Nieeuklidesowej W Monarchii Austro-Węgiersk
TECHNICAL TRANSACTIONS CZASOPISMO TECHNICZNE FUNDAMENTAL SCIENCES NAUKI PODSTAWOWE 1-NP/2014 KATALIN MUNKÁCSY* REMARKS ON NON-EUCLIDEAN GEOMETRY IN THE AUSTRO-HUNGARIAN EMPIRE UWAGI O GEOMETRII NIEEUKLIDESOWEJ W MONARCHII AUSTRO-WĘGIERSKIEJ Abstract Since 1800s, Central European mathematicians have achieved great results in hyperbolic geometry. The paper is devoted to brief description of the background as well as history of these results. Keywords: Austro-Hungarian Empire, history of hyperbolic geometry Streszczenie Od XIX w. matematycy w Europie Środkowo-Wschodniej osiągali znaczące wyniki w geome- trii hiperbolicznej. Niniejszy artykuł zarysowuje tło i historię tych wyników. Słowa kluczowe: Monarchia Austro-Węgierska, historia geometrii hiperbolicznej * Katalin Munkácsy, ELTE TTK Matematikatanítási és Módszertani Központ, Budapest. This paper was prepared for publication by S. Domoradzki and M. Stawiska-Friedland on the basis of the author’s draft. 178 1. Introduction The Bolyai geometry is an important historical phenomenon in mathematics, and a timely research topic with potential applications. I will say a few words about these topics here. I would like to say first something about the expression “Bolyai geometry”. Officially the hyperbolic geometry is called B-L geometry, but this form is not really used anywhere. In 1894 Poincaré was the chairman of the committee that compiled the bibliography of hyperbolic geometry. The title was originally Lobachevsky’s Geometrie. However, it was changed to Geometrie de Bolyai et Lobachevsky – as a result of Hungarian mathematicians’ argumentations (see, e.g. [16]). The most common name is “hyperbolic geometry”; sometimes “Bolyai-Lobachevsky- Gauss” is used. In the Russian-speaking world the common name is ‘Lobachevski’s geometry’, while in Hungary it is called “Bolyai geometry”. -
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.