Mathematikform

Die Mathematikform ist ein Werk von Giuseppe Peano , das von ihm und seinen Mitarbeitern verfasst wurde, darunter Giovanni Vailati  (en) , Mario Pieri  (en) , Alessandro Padoa , Giovanni Vacca , Gino Fano , Cesare Burali-Forti usw. Ziel ist es, die wichtigsten mathematischen Theorien in der von Peano ab 1888 eingeführten symbolischen Sprache auf organisierte Weise auszudrücken. Die Veröffentlichung der Mathematikform durchlief von 1895 bis 1908 fünf Ausgaben (mit wesentlichen Überarbeitungen und Anreicherungen von einer zur anderen) Das Formular ist in symbolischer Sprache verfasst. Die Begleittexte der ersten vier Ausgaben sind in französischer Sprache. Das fünfte und letzte wurde als Formulario mathematico in lateinischer Sinusflexion veröffentlicht , dem vereinfachten Latein, das Peano als internationale Hilfssprache erfunden hat.

Der Veröffentlichung des Formulars geht eine Einführung voraus, die 1894 noch in französischer Sprache unter dem Titel Notations de Logique Mathatique veröffentlicht wurde und in der Peano die Notationen vorstellt, die er für das Formular verwenden wird und die er bereits in Artikeln eingeführt hat .

Auch wenn die Sätze der Form für zeitgenössische Mathematiker oder Logiker ohne ein Minimum an Lernen nicht direkt lesbar sind , sind einige ihrer Notationen noch heute aktuell oder haben einige der Notationen der aktuellen Logik und Mathematik direkt inspiriert.

Wenn Peanos Arbeit die Begeisterung einiger seiner Zeitgenossen wie Bertrand Russell weckte, war es alles andere als allgemein. Wir finden manchmal den Begriff Pasigraphie , um ihn zu bezeichnen. Laut Louis Couturat behauptet der italienische Mathematiker dies nicht. Dieser wird in seiner Verbindung von Ernst Schröder "wahrscheinlich mit abwertender Absicht" verwendet und durch die Werke von Henri Poincaré populär gemacht . Pasigraphie bezeichnet das Schreiben, dessen Ziel es ist, universell zu sein. Couturat findet es angemessener, von Ideographie zu sprechen . Für Peano ist seine Symbolsprache auch ein analytisches Werkzeug: „Weil die Notationen der Logik nicht nur eine Tachigraphie sind, um die Sätze der Mathematik in abgekürzter Form darzustellen; Sie sind ein mächtiges Instrument zur Analyse von Aussagen und Theorien. “

Anmerkungen

  1. Kennedy 2006, Kap. 6, insbesondere S. 66
  2. siehe rmm S. 211-212
  3. Der Artikel in der Übersicht über Metaphysik und Moral von 1906, auf den Couturat antwortet, ist in Wissenschaft und Methoden enthalten
  4. tachigraphie: Rechtschreibung wahrscheinlich schon veraltet am Ende des XIX - ten  Jahrhunderts Stenografie oder Stenographie; siehe für diese Schreibweise F. Raymond (1832) Allgemeines Wörterbuch der französischen Sprache und universelles Vokabular der Kunst- und Handwerkswissenschaften , S. 544  ; Couturat korrigiert im Fahrtenschreiber (rmm p 212, Anmerkung 3).
  5. Peano 1895, Mathematikform , Vorwort zu Band I, S. VI

Literaturverzeichnis