Meine Kollegen bitten mich um Hilfe bei Zahlen. Ich kenne Mathe, nehmen sie an. Die Ironie ist, dass ich schlecht im Kopfrechnen bin.
Die Leute verstehen Mathe falsch. Sie denken, es seien schnelle Summen und Subtraktionen, die man beim Kaffeekauf im Kopf anstellt. Nein. In der echten Mathematik geht es darum, Welten zu bauen.
Der Stiftungsmythos
Sie beginnen mit Regeln. Axiome. Grundlegende Wahrheiten, auf die Sie sich einigen, damit das Spiel beginnen kann. Von dort aus stapeln Sie Ihre Sachen. Mengen werden zu Zahlen, Zahlen werden zu Funktionen, Funktionen werden zur Geometrie. Alles ruht auf dieser ersten Etage.
Lange Zeit vollzogen die Mathematiker einen gefährlichen Balanceakt. Sie wollten so wenige Regeln wie möglich, aber dennoch genug, um das moderne Universum zu beschreiben. Und diese Regeln mussten sich richtig anfühlen. Intuitiv. Als würde man sagen: „Es existiert eine leere Menge.“ Es macht einfach Sinn.
Im 20. Jahrhundert entschied sich jeder für ZFC. Zermelo-Fraen-Mengenlehre mit Auswahl. Neun Regeln. Das ist es. Das war das Fundament.
Zumindest dachten sie das.
Gödel macht alles kaputt
Mathematiker liebten ihre Grundlage. Sie träumten von einem System, das zwei Dinge gleichzeitig war:
- Vollständig. Jede Wahrheit kann bewiesen werden.
- Konsistent. Keine Widersprüche erlaubt.
1931 kommt. Auftritt Kurt Gödel. Fünfundzwanzig Jahre alt. Er wirft eine Bombe ab, die das Fundament zum Platzen bringt.
Sein erster Unvollständigkeitssatz ist brutal. Darin heißt es, dass es in jedem starken, konsistenten System Aussagen gibt, die nicht als wahr oder falsch bewiesen werden können. Zeitraum. Dann kommt der zweite Satz. Noch schlimmer. Das System kann nicht beweisen, dass es konsistent ist.
Es klingt sicher akademisch. Abstraktes Logik-Zeug. Seine Kollegen hofften, dass es eine Eigenart war. Ein seltsamer theoretischer Ausrutscher ohne Zähne. Sie lagen falsch.
Gödel hat bewiesen, dass Gewissheit eine Obergrenze hat. Man kann nicht alles wissen, selbst innerhalb der Regeln, die man aufgestellt hat.
Nehmen Sie das ZFC-System selbst. Es ist voller unbeweisbarer Dinge. Die Kontinuumshypothese ist die große. Gibt es eine Unendlichkeit zwischen ganzen Zahlen und reellen Zahlen? Wir wissen es nicht. Und wir können es mit unseren aktuellen Werkzeugen nie beweisen. Die Frage bleibt einfach… dort.
Ungelöst. Sogar unlösbar.
Also ja, man kann Welten aus Axiomen aufbauen. Sie können von einfachen Mengen bis hin zu komplexen Topologien aufsteigen. Aber die Struktur hat Löcher. Eingebaute blinde Flecken, in denen sich die Wahrheit verbirgt und für immer unerreichbar ist.
Warum sehnt sich der Geist nach Vollendung, wenn Vollendung unmöglich ist?
