Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird...

31
Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand Russell Gottlob Frege auf einen Irrtum hin, der nicht nur dessen Lebenswerk zerstörte, sondern in der Folge auch die Mathematik insgesamt erschütterte. Dieser Fehler brachte das Vertrauen in die Fundamente der Mathematik so sehr ins Wanken, dass die Mathematiker und Logiker die nächsten Jahrzehnte damit verbrachten, krisensichere Fundamente zu schaffen, die vor Irrtümern und Widersprüchen schützen sollten. Stimmt die Geschichte so? 1) Freges Irrtum 2) Die Vorgeschichte 3) Die Krise danach, die Rolle des Irrtums 4) Ein Streit um nichts?

Transcript of Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird...

Page 1: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt:

In einem Brief von 1902 wies Bertrand Russell Gottlob Frege auf einen Irrtum hin, der nicht nur dessen Lebenswerk zerstörte, sondern in der Folge auch die Mathematik insgesamt erschütterte. Dieser Fehler brachte das Vertrauen in die Fundamente der Mathematik so sehr ins Wanken, dass die Mathematiker und Logiker die nächsten Jahrzehnte damit verbrachten, krisensichere Fundamente zu schaffen, die vor Irrtümern und Widersprüchen schützen sollten.

Stimmt die Geschichte so?

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 2: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

1 Freges Irrtum

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 3: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Brief Frege an Russell, 22. Juni 1902:

Ihre Entdeckung des Widerspruchs hat mich auf's Höchste überrascht und, fast möchte ich sagen, bestürzt, weil dadurch der Grund, auf dem ich die Arithmetik sich aufzubauen dachte, in's Wanken geräth. Es scheint danach, […] dass mein Gesetz V (§ 20. S. 36) falsch ist […]. Ich muss noch weiter über die Sache nachdenken. Sie ist um so ernster, als mit dem Wegfall meines Gesetzes V nicht nur die Grundlage meiner Arithmetik, sondern die einzig mögliche Grundlage der Arithmetik überhaupt zu versinken scheint.

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 4: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Nachwort des zweiten Bands der Grundgesetze der Arithmetik von 1903:

Einem wissenschaftlichen Schriftsteller kann kaum etwas Unerwünschteres begegnen, als daß ihm nach Vollendung einer Arbeit eine der Grundlagen seines Baues erschüttert wird. In diese Lage wurde ich durch einen Brief des Herrn Bertrand Russell versetzt, als der Druck dieses Bandes sich seinem Ende näherte.

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 5: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Der Irrtum:

Page 6: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Der Irrtum:

dass die Umwandlung der Allgemeinheit einer Gleichheit in eine Werthverlaufsgleichheit (§ 9 meiner Grundgesetze) nicht immer erlaubt ist

dass man zu jeder Eigenschaft E die Menge der Objekte bilden kann, die diese Eigenschaft E haben

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 7: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Worauf hat Russell ihn hingewiesen?

Russellsche Antinomie

x hat die Eigenschaft E g.d.w. xx

M={x|x hat die Eigenschaft E}

MM? dann M MM M? dann MM

Widerspruch,M lässt sich daher nicht bilden

1 Irrtum als Krise

1.1) Freges Irrtum1.2) Die Vorgeschichte1.3) Die Krise danach, die Rolle des Irrtums

2 Krise als Irrtum

2.1) Ein Streit um nichts?2.2) Irrtum des Systems?!?

Page 8: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Danach ist tatsächlich viel zu den Grundlagen der Mathematik geschrieben worden, aber war Freges Irrtum der Grund dafür?Was ist denn der Kontext dieses Irrtums überhaupt?

Grundgesetze der Arithmetik:Versuch, die Mathematik/Arithmetik auf die Logik (logische Axiome) zurückzuführen = Logizismus[Erklärung später]

Der Logizismus ist eine der Positionen, die in der Grundlagendebatte vertreten wurden; er existiert also schon vor der Entdeckung des Widerspruchs.

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 9: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

2 Die Vorgeschichte

Frege wollte Zahlen allein aus logischen Begriffen erklären

Axiomatisierungen seit der Antike

Auseinandersetzung mit dem Parallelenaxiom seit der Antike, Nicht-Euklidische Geometrien seit der 2. Hälfte des 19. Jahrhunderts Widerspruchfreiheitsbeweise für die Systeme mit anderen Axiomen(werden geführt, indem arithmetische Modelle [Analytische Geometrie] angegeben werden)

Zweites „Hilbertsches Problem“: Widerspruchsfreiheitsbeweis für die Arithmetik mit finiten Methoden

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 10: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Bereits vor Russells Entdeckung gab es also:

- das Bestreben, mathematische Theorien auf (logische) Axiome zurückzuführen

- das Bewusstsein möglicher (unerwünschter) alternativer Realisierungen von Axiomensystemen

- das Bewusstsein der Möglichkeit von Widersprüchen

Wieso also spricht man plötzlich von einer Grundlagendebatte, wenn eine Diskussion der Grundlagen doch schon längst im Gang war?

Noch dazu:Der Frege-Russellsche Widerspruch hat zwar das Programm des Logizismus in Bedrängnis gebracht, aber keine der anderen Positionen, die in der nachfolgenden Debatte vertreten wurden.

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 11: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

3 Die Krise

Worin besteht die sogenannte Grundlagendebatte der Mathematik in den 20-er Jahren?

Folgende Positionen treffen aufeinander:

- Logizismus (Frege, Russell)- Formalismus (Hilbert)- Intuitionismus (Kronecker; Brouwer, Weyl)- Platonismus? (Gödel)

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 12: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Der Logizismus

Frege, Russell (&Whitehead: Principia Mathematica)

alle mathematischen Aussagen auf logische zurückführen,

alle mathematischen Begriffe durch logische definieren

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 13: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Der Logizismus

insbesondere die Zahlen durch logische Begriffe definieren, Grundidee :

1≔ Menge aller Mengen mit genau einem Element2:= {…} Menge aller Mengen mit genau zwei Elementen

Dann Mengen durch Prädikate (Eigenschaften) ersetzen

Problem!

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 14: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Bertrand Russell

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 15: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Bertrand Russell

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 16: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Der Formalismus

David Hilbert

Mathematik handelt von Zeichen(Zeichen-/Regelformalismus)

Mathematische Theorien haben ihre eigenen Axiome, nicht logische

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 17: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Der Intuitionismus/Konstruktivismus

Luitzen Brouwer, Hermann Weyl,Arend Heyting,Paul Lorenzen

- Der Satz vom ausgeschlossenen Dritten wird nicht uneingeschränkt akzeptiert

- Reine Existenzbehauptungen, ohne Konstruktion des Objekts werden nicht akzeptiert

Nachteil: grundlegende und bedeutende Sätze der Mathematik gelten nicht

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 18: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Der Platonismus

Gödel

Mathematische Objekte haben eine von Menschen unabhängige Existenz.

„Die meisten Mathematiker sind Platonisten“ steht für:Es kümmert sie nicht, was das ist, womit sie zu tun haben.

Ist nicht so abfällig, wie es klingt; das ist ja auch eine der guten Seiten vom Platonismus

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 19: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Inwiefern hatte Freges Irrtum und Russells Entdeckung einen entscheidenden Einfluss auf die Entstehung der Grundlagendebatte?

Es war der erste echte, faktische, störende Widerspruch, mit dem es die Mathematiker zu tun bekommen haben;

und während es davor vorwiegend um eine Präzisierung der Grundlagen geht, taucht danach verstärkt die Idee einer Absicherung auf [Hilbert hat um 1900 an Widerspruchsfreiheitsbeweis geglaubt!]

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 20: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Vortrag Hilbert „Mathematische Probleme“ (1902), 2. Problem:Wenn es sich darum handelt, die Grundlagen einer Wissenschaft zu untersuchen, so hat man ein System von Axiomen aufzustellen, welche eine genaue und vollständige Beschreibung derjenigen Beziehungen enthalten, die zwischen den elementaren Begriffen jener Wissenschaft stattfinden. Die aufgestellten Axiome sind zugleich die Definitionen jener elementaren Begriffe und jede Aussage innerhalb des Bereiches der Wissenschaft, deren Grundlagen wir prüfen, gilt uns nur dann als richtig, falls sie sich mittelst einer endlichen Anzahl logischer Schlüsse aus den aufgestellten Axiomen ableiten läßt.

Hilbert „Neubegründung der Mathematik“ (1922):Das Ziel, die Mathematik sicher zu begründen, ist auch das meinige; ich möchte der Mathematik den alten Ruf der unanfechtbaren Wahrheit, der ihr durch die Paradoxien der Mengenlehre verloren zu gehen scheint, wiederherstellen.

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 21: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Inwiefern hatte Freges Irrtum und Russells Entdeckung einen entscheidenden Einfluss auf die Entstehung der Grundlagendebatte?

Es war der erste echte, faktische, störende Widerspruch, mit dem es die Mathematiker zu tun bekommen haben;

und während es davor vorwiegend um eine Präzisierung der Grundlagen geht, taucht danach verstärkt die Idee einer Absicherung auf [Hilbert hat an Widerspruchsfreiheitsbeweis geglaubt!]

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 22: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Inwiefern hatte Freges Irrtum und Russells Entdeckung einen entscheidenden Einfluss auf die Entstehung der Grundlagendebatte?

Es war der erste echte, faktische, störende Widerspruch, mit dem es die Mathematiker zu tun bekommen haben;

und während es davor vorwiegend um eine Präzisierung der Grundlagen geht, taucht danach verstärkt die Idee einer Absicherung auf [Hilbert hat an Widerspruchsfreiheitsbeweis geglaubt!]

Die Dynamik der Debatte hält allerdings eher dazu an, den Einfluss des Frege/Russellschen Widerspruchs zu relativieren.

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 23: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

1902Russell entdeckt Freges Fehler

1900Hilberts Forderung nach einem (finiten)Widerspruchsfreiheits-beweis für dieArithmetik

ca. 1910Russell & WhiteheadPrincipia Mathematica:versuchen Freges Fehler zu reparieren

1912Brouwer„Intuitionismus und Formalismus“

LOGIZISMUS INTUITIONISMUS FORMALISMUS

ab ca. 1918 heftige Debatte zwischen Intuitionisten und Formalisten

Page 24: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

4 Ein Streit um nichts?

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 25: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Inwiefern handelt sich bei der sogenannten Grundlagenkrise um eine substantielle Krise?

persönlicher Streit

keine Anzeichen, dass sich irgendjemand wirklich um die Mathematik (ihr Fortbestehen, ihre Gültigkeit,…) oder um seine Identität als Mathematiker Sorgen gemacht hätte

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 26: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Hilbert, Vortrag „Axiomatisches Denken“, 1917:

Das klingt nicht krisengeschüttelt.

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 27: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Inwiefern handelt sich bei der sogenannten Grundlagenkrise um eine substantielle Krise?

persönlicher Streit

keine Anzeichen, dass sich irgendjemand wirklich um die Mathematik (ihr Fortbestehen, ihre Gültigkeit,…) oder um seine Identität als Mathematiker Sorgen gemacht hätte

Die sogenannte Krise ist gegangen, wie sie gekommen ist, ohne den Rest der Mathematiker zu tangieren.

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 28: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Auf einer wissenschaftsphilosophischen Tagung in Königsberg 1930 sprechen Rudolf Carnap über den Logizismus, Arend Heyting über den Intuitionismus und Johann von Neumann über den Formalismus – und zwar sehr versöhnlich.Die Grundlagenpositionen existieren bis heute nebeneinander, entschieden ist nichts.

Auf derselben Tagung hat Gödel seinen Unvollständigkeitsbeweis angekündigt. Es hat sich somit gezeigt, dass gewisse Forderungen gewisser Positionen sogar prinzipiell unerfüllbar sind.

Es ist bewiesen, dass man das Gewünschte nicht haben kann Der normale Mensch ist noch mehr unglücklich, der Mathematiker ist zufrieden.

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 29: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Inwiefern handelt sich bei der sogenannten Grundlagenkrise um eine substantielle Krise?

persönlicher Streit

keine Anzeichen, dass sich irgendjemand wirklich um die Mathematik (ihr Fortbestehen, ihre Gültigkeit,…) oder um seine Identität als Mathematiker Sorgen gemacht hätte

Die sogenannte Krise ist gegangen, wie sie gekommen ist, ohne den Rest der Mathematiker zu tangieren.

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 30: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Inwiefern handelt sich bei der sogenannten Grundlagenkrise um eine substantielle Krise?

Für einzelne Protagonisten war es also wohl eine persönliche Krise,

aber für die Mathematik war es wohl kaum eine Krise.

1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?

Page 31: Die Geschichte der sogenannten Grundlagenkrise der Mathematik Anfang des 20. Jahrhunderts wird üblicherweise so erzählt: In einem Brief von 1902 wies Bertrand.

Hilbert, in Antwort auf Brouwer und Weyl, „Neubegründung der Mathematik“, 1920,

ist hier rechtzugeben:1) Freges Irrtum2) Die Vorgeschichte3) Die Krise danach, die Rolle des Irrtums4) Ein Streit um nichts?