Giuseppe PeanoGiuseppe Peano und seine Frau Carola Crosio 1887
Peano war der Sohn von Bauern. Er besuchte die Schule in Cuneo und, als sein Talent erkannt wurde, ab 1870 das Gymnasium (Liceo) in Turin, wo ein Onkel Priester und Anwalt war. Ab 1876 studierte er Mathematik an der Universität Turin unter anderem bei Enrico D’Ovidio, Angelo Genocchi, Francesco Faà di Bruno und Francesco Siacci. 1880 promovierte er und wurde Assistent von D'Ovidio und danach bei Genocchi. Gleichzeitig erschien 1880 seine erste mathematische Arbeit. Er hielt die Analysis-Vorlesungen von Genocchi (die 1884 als Buch herauskamen, herausgegeben, geschrieben und mit Zusätzen versehen von Peano). 1884 habilitierte er sich. Außer an der Universität hielt er auch Vorlesungen an der Militärakademie in Turin. 1890 wurde er Nachfolger von Genocchi als Professor an der Universität.
1891 gründete er die Zeitschrift Rivista di matematica, die sich vor allem den Grundlagen der Mathematik und der Logik widmete. 1892 begann er ein Projekt, die bekannten Sätze der Mathematik in logischer Strenge zu formulieren, das Formulario Matematico (beendet 1908), das er später auch für seine Vorlesungen benutzte, was ein pädagogischer Misserfolg wurde. 1901 wurde deshalb seine Lehrtätigkeit an der Militärakademie beendet. An der Universität konnte man ihm dagegen nicht hineinreden. 1900 fand Peano Anerkennung auf dem Internationalen Kongress für Philosophie in Paris.
Peanos mathematisches Werk ist durch große logische Rigorosität geprägt. So hat er wiederholt Ausnahmefälle in veröffentlichten Theoremen gefunden (beispielsweise Arbeiten von Corrado Segre und Hermann Laurent). Auch die nach ihm benannte Peano-Kurve ist ein Beispiel hierfür. Sie ist eine stetige, surjektive Abbildung des Einheitsintervalls in das Einheitsquadrat, also eine raumfüllende Kurve, die definiert ist als der Grenzwert einer Folge von Kurven, die schrittweise konstruiert werden können. Vor Peano hatte man nicht mit der Möglichkeit der Existenz einer solchen Kurve gerechnet. Peano fand die Kurven 1890, wenig später gab David Hilbert weitere Beispiele. Er war auch mit Camille Jordan (und mit einem ähnlichen Konzept wie Jordan) ein Pionier der Maßtheorie mit seinem Buch von 1887 über geometrische Anwendungen der Infinitesimalrechnung, einen befriedigenden Maßbegriff fand aber erst Émile Borel.[1]
Auch auf dem Gebiet der Analysis und der Differentialgleichungen hat Peano Wichtiges geleistet. Er fand das Restglied der Simpsonregel für die näherungsweise Berechnung von Integralen und bewies den Existenzsatz von Peano für gewöhnliche Differentialgleichungen (1886). Er fand auch unabhängig von Émile Picard dessen Näherungsverfahren zur Lösung von Systemen gewöhnlicher Differentialgleichungen (1887).
Peano hatte einen prägenden Einfluss auf die moderne Logik, Mengenlehre und Mathematik durch einige Werke, in denen er eine konsequente Formalisierung mathematischer Sachverhalte verfolgte. Peano erstellte in seinem Buch Calcolo Geometrico von 1888 erstmals ein Axiomensystem für den Vektorraum (wobei er unbeachtete Ideen von Hermann Grassmann aufgriff) und formulierte dort auch das moderne Axiomensystem für die boolesche Algebra, wobei er die Symbole und einführte. In seiner Arithmetik von 1889 stellte er – unabhängig von Dedekinds Arithmetik[2] – die ersten formalen Axiome für die natürlichen Zahlen auf, die als Peano-Axiome berühmt wurden. Als Fundament für seine Arithmetik schuf er die erste formalisierte Klassenlogik, in der er unter anderem auch das Elementzeichen und geordnete Paare (a, b) einführte. Die Formalisierung wichtiger logischer und mathematischer Gebiete baute er später in Formelsammlungen weiter aus; aus ihnen stammt unter anderem das Existenzquantorsymbol.
Er gab 1906 einen neuen Beweis des Satzes von Cantor-Bernstein, wobei es zu einem Disput mit Ernst Zermelo kam, der einen ähnlichen Beweis veröffentlichte (publiziert erst 1908). Beiden zuvorgekommen war Richard Dedekind (1899 in einem Brief), der diesen aber nicht veröffentlichte.[3]
Auf dem Gebiet der Linguistik machte sich Peano einen Namen, als er die PlanspracheLatino sine flexione (= Latein ohne Beugung) schuf. Dies war ein Versuch, die ehemalige Weltsprache Latein wiederzubeleben, indem der weitgehend bekannte Wortschatz gewahrt wurde, die Schwierigkeiten der lateinischen Sprache aber weitgehend getilgt wurden. Dieses Latino sine flexione ging später in Interlingua auf.
Den Formulario Mathematico V (1905/1908) schrieb Peano in Latino sine flexione.
Sulla integrabilità delle funzione, Atti Accad. Sci. Torino, Band 18, 1882/83, S. 439–446 (englische Übersetzung in Kennedy, Peano, Selected Works, 1973, S. 37–43)
mit Angelo Genocchi: Calcolo differenziale e principii di calcolo integrale, Turin 1884, Archive
Deutsche Übersetzung (von G. Bohlmann, A. Schepp): Angelo Genocchi: Differentialrechnung und Grundzüge der Integralrechnung, Teubner 1899, im Anhang mit der Übersetzung der Arbeiten von Peano von Sulla definizione di integrale, Ann. mat. pura appl., Band 23, 1895, S. 153–157, von Studii di logica matematica, Atti Accad. Sci. Torino, Band 32, 1897, S. 565–583 und Sulla formula di Taylor, Atti Accad. Sci. Torino, Band 27, 1891, S. 40–46, Archive
Sull´integrabilità delle equazioni differenziali del primo ordine, Atti Accad. Sci. Torino, Band 21, 1886, S. 677–685 (englische Übersetzung: On the integrability of first order differential equations, in Kennedy, Peano, Selected Works, 1973, S. 51–57)
Applicazioni geometriche del calcolo infinitesimale, Turin 1887, Archive
Integration par séries des équations differentielles linéaires, Mathematische Annalen, Band 32, 1888, S. 450–456, SUB Göttingen
Calcolo geometrico secondo l´Ausdehnungslehre di H. Grassmann, preceduto dalle operazioni della logica deduttiva, Turin 1888, Digitalisat
Englische Übersetzung: Geometric Calculus, übersetzt von L. C. Kannenberg, Boston 2000.
Arithmetices principia: nova methodo, Turin: Bocca 1889, Archive (auch in Opera Scelte, Band 2, 1958, S. 20–55)
Englische Übersetzung: The principles of arithmetic, presented by a new method, in Jan van Heijenoort, From Frege to Goedel, Harvard University Press 1967, S. 83–97, eine weitere englische Übersetzung ist in Kennedy, Peano, Selected Works, 1973, S. 101–134.
I principii di geometria logicamente esposti, Turin 1889, Digitalisat, Archive
Démonstration de l´intégrabilité des equations differentielles ordinaires, Mathematische Annalen, Band 37, 1890, S. 182–228, SUB Göttingen
Sur une courbe qui remplit tout une aire plane, Mathematische Annalen, Band 36, 1890, S. 157–160, SUB Göttingen
Sopra alcune curvi singolari, Atti della Reale Accademia delle Scienze di Torino, Classe di Scienze Fisiche, Matematiche e Naturali, Band 26, 1890/91, S. 221–224, Biodiversity Heritage Library (Englische Übersetzung: On some singular curves in Kennedy, Peano, Selected Works 1973)
Principii di logica matematica, Rivista di Matematica, Band 1, 1891, S. 1–10 (englische Übersetzung in Kennedy, Peano, Selected Works 1973, S. 153–161)
Sul concetto di numero, Rivista di Matematica, Band 1, 1891, S. 87–102, 256–267.
Gli elementi di calcolo geometrico, Turin 1891, Archive
Deutsche Übersetzung: Die Grundzüge des geometrischen Calculus, Teubner 1891, Archive
Generallizazione della formula de Simpson, Atti Accad. Sci. Torino, Band 27, 1892, S. 68–612 (englische Übersetzung in Kennedy, Peano, Selected Works 1973)
Lezioni di analisi infintesimale, 2 Bände, Turin 1893, Archive, Band 1
Sur la définition de la limite d´une fonction, exercise de logique mathèmatique, American J. Math., Band 17, 1894, S. 27–68.
Notations de logique mathèmatique, Turin 1894, Digitalisat
Saggio di calcolo geometrico, Atti Accad. Sci. Torino, Band 31, 1895/96, S. 852–957 (englische Übersetzung: Essay on geometrical calculus in Kennedy, Peano, Selected Works 1973)
Studii in logica matematica, Atti Accad. Sci. Torino, Band 32, 1896/97, S. 565–583 (englische Übersetzung in Kennedy, Peano, Selected Works 1973)
Formules de logique mathématique, Rivista di Matematica, Band 7, 1900, S. 1–41, Archive
Les définitions mathématiques, Congrès Int. de Philosophie, Paris 1900, Band 3, S. 279–288.
Aritmetica generale e algebra elementare, Turin 1902, Archive
De Latino Sine Flexione. Lingua Auxiliare Internationale, Rivista di Matematica, Band 8, Turin, 1903, S. 74–83, Nachgedruckt in: G. Peano, Opere scelte II, Rom 1958, S. 439–447, Project Gutenberg
Vocabulario de Latino internationale comparato cum Anglo, Franco, Germano, Hispano, Italo, Russo, Græco et Sanscrito, Turin 1904
Super Theorema de Cantor-Bernstein, Rendiconti del Circolo Mat. di Palermo, Band 21, 1906, S. 360–366 (Nachgedruckt in Rivista di Mathematica, Band 8, 1906, S. 136–157 mit Zusatz)
Super teorema de Cantor-Bernstein et additione, Rivista di Matematica, Band 8, 1902–1906, S. 136–157 (englische Übersetzung: Supplement to On the Cantor-Bernstein theorem, in Kennedy, Peano, Selected Works, 1973)
Vocabulario Commune ad linguas de Europa, Turin 1909
Sui fondamenti dell´analisi, Bolletino Mathesis Societa Italiana di Mat., Band 2, 1910, S. 31–37 (englische Übersetzung: On the foundations of analysis, in Kennedy, Peano, Selected Works 1937)
L´importanze dei simboli in matematica, Scientio, Band 18, 1915, S. 165–173 (englische Übersetzung in Kennedy, Peano, Selected Works 1973)
La definizioni in matematica, Periodico di matematiche, Band 1, 1921, S. 175–189 (englische Übersetzung in Kennedy, Peano, Selected Works 1973)
Giochi di aritmetica e problemi interessanti, Turin 1925
Peano: Opere Scelte, 3 Bände, Rom: Cremonese 1957 bis 1959 (Herausgeber Ugo Cassina)
Hubert C. Kennedy (Hrsg.): Selected Works of Giuseppe Peano, Allen and Unwin und University of Toronto Press 1973
G. Peano: Arbeiten zur Analysis und zur mathematischen Logik. Hrsg. von G. Asser, Leipzig (Teubner) 1990.
Hubert Kennedy: The origins of modern Axiomatics. In: American Mathematical monthly, 79 (1972), 133–136. Auch in: Kennedy: Giuseppe Peano, San Francisco, 2002, S. 15.
Hubert Kennedy, Peano, 2006, S. 164. Das wird auch in Hinkis, Proofs of the Cantor-Bernstein theorem, a mathematical excursion, Birkhäuser 2013, analysiert und in historischem Zusammenhang dargestellt.
