Frage:
Hat Bertrand Russell den Zweiten Internationalen Mathematikerkongress verlassen, um das Formulario von Giuseppe Peano zu lesen?
Franck Dernoncourt
2014-11-05 23:54:39 UTC
view on stackexchange narkive permalink

Die Wikipedia-Seite zu Giuseppe Peano behauptet Folgendes:

Auf der Konferenz traf Peano Bertrand Russell und gab ihm eine Kopie von Formulario. Russell war so beeindruckt von Peanos innovativen logischen Symbolen, dass er die Konferenz verließ und nach Hause zurückkehrte, um Peanos Text zu studieren.

Die Behauptung wird jedoch nicht erwähnt. Hat Bertrand Russell den Zweiten Internationalen Mathematikerkongress verlassen, um Giuseppe Peanos Formulario zu lesen, oder ist das nur ein Mythos?

Ray Monk, Russell, Bertrand Arthur William, dritter Earl Russell (1872–1970) ', Oxford Dictionary of National Biography, Oxford University Press, 2004; Online-Ausgabe, Mai 2014 ( http://www.oxforddnb.com/view/article/35875, abgerufen am 5. November 2014) erwähnt diese vorzeitige Abreise nicht:

In Paris traf Russell den italienischen Mathematiker Giuseppe Peano, den Kopf einer Bewegung, deren letztendliches Ziel es war, ein einziges axiomatisches System zu konstruieren, auf dem die gesamte Mathematik basieren konnte. Um dieses Ziel zu erreichen, hatte Peano eine spezielle Symbolik erfunden, mit der er ein System der mathematischen Logik konstruierte, dessen Kern der heute bekannte Begriff einer „Satzfunktion“ ist. Mit diesem System hatten Peano und seine Kollegen gezeigt, dass die Arithmetik auf einer einzigen eleganten formalen Theorie beruhen kann, die nur drei Grundideen (Null, Zahl und Nachfolger) und fünf Anfangsaxiome verwendet. Inspiriert von seinem Treffen mit Peano und seinem Studium von Peanos Werken kehrte Russell aus Paris mit der fast ekstatischen Überzeugung zurück, dass er den Weg in die Zukunft kenne: Wenn er zeigen könnte, dass alle mathematischen Begriffe grundsätzlich arithmetisch waren und dass Peanos System im Grunde ein System der Logik war dann wäre es ihm gelungen, zu demonstrieren, dass Mathematik Logik ist. Der entscheidende Schritt hierfür wäre zu zeigen, dass Peanos Axiome auf einem logischen System beruhen könnten.

Einer antworten:
#1
+8
Mauro ALLEGRANZA
2014-11-06 01:47:51 UTC
view on stackexchange narkive permalink

Ich habe in Hubert Kennedy Zwölf Artikel über Giuseppe Peano (2002) gefunden: Was Russell von Peano gelernt hat , von Notre Dame Journal of Formal Logic (1983):

Die Beweise stammen von Russell selbst, unter anderem in der Beschreibung des Internationalen Kongresses für Philosophie in Paris, 1900 in seiner Autobiographie (S.217–219):

Der Kongress war ein Wendepunkt in meinem intellektuellen Leben, weil ich dort Peano traf. Ich kannte ihn bereits beim Namen und hatte einige seiner Arbeiten gesehen, mir aber nicht die Mühe gemacht, seine Notation zu beherrschen. [...] Im Laufe der Tage entschied ich, dass dies an seiner mathematischen Logik liegen muss.

Ich brachte ihn daher dazu, mir alle seine Werke zu geben, und sobald der Kongress vorbei war , zog ich mich nach Fernhurst zurück, um jedes von ihm und seinen Schülern geschriebene Wort leise zu studieren [Betonung hinzugefügt].



Diese Fragen und Antworten wurden automatisch aus der englischen Sprache übersetzt.Der ursprüngliche Inhalt ist auf stackexchange verfügbar. Wir danken ihm für die cc by-sa 3.0-Lizenz, unter der er vertrieben wird.
Loading...