Mehr als unendlich

Halle an der Saale, Ende Juni 1877. Ein Mann von zweiunddreißig Jahren sitzt über einem Brief und wechselt mitten im Satz die Sprache. Georg Cantor schreibt an Richard Dedekind in Braunschweig, und was er ihm mitteilen muss, scheint ihm auf Deutsch nicht sagbar: „Je le vois, mais je ne le crois pas!“ – ich sehe es, aber ich glaube es nicht. Er hat soeben gezeigt, dass eine Strecke, so kurz man will, genau so viele Punkte hat wie ein ganzes Quadrat, ja wie ein Würfel. Dedekind antwortet am 2. Juli. Er hat nachgerechnet, er findet keine Lücke, und er fügt einen Vorbehalt an: Eine solche Zuordnung könne nicht stetig sein – sie muss die Fläche gleichsam zerreißen, um sie auf die Linie zu legen. Das ist der Ton, in dem diese Geschichte beginnt. Einer sieht etwas und erschrickt. Ein anderer prüft, nickt und notiert den Preis.

Hundertneunundvierzig Jahre später, am 8. Oktober 2026, erscheint in Science ein Aufsatz, der dieses Nachrechnen an eine Maschine abgibt. Mehrere KI-Programme arbeiten einander zu und suchen Beweise; ein Programm namens Lean prüft jeden Schritt, wie eine Rechtschreibprüfung jedes Wort anstreicht, das nicht im Wörterbuch steht – nur dass das Wörterbuch hier aus den Regeln des Schließens besteht. Das Prüfen allein wäre keine Nachricht, das leisten Programme seit Jahrzehnten. Die Nachricht ist, dass die Maschine Beweise gefunden hat, an denen Menschen zum Teil seit über fünfzig Jahren gescheitert waren. Was kein Lean prüft, weil nur ein Mensch es prüfen kann, ist, ob der Satz, der am Ende bewiesen dasteht, derselbe ist, den Erdős gemeint hat. Und eine Frage, die Cantor 1878 gestellt hat, würde das System auch mit unbegrenzter Zeit nicht beantworten. Warum nicht, ist der Gegenstand dieses Textes.

Wer wissen will, ob zwei Säcke gleich viele Walnüsse enthalten, muss nicht zählen können. Er legt eine Nuss aus dem einen neben eine Nuss aus dem anderen, Paar für Paar, und sieht am Ende, ob etwas übrig bleibt. Gleich groß heißt: Man kann Paare bilden, und keine Seite behält einen Rest. Diese Kinderregel nahm Cantor und trug sie ins Unendliche. Galilei hatte 1638 schon bemerkt, dass sich jede Zahl mit ihrem Quadrat paaren lässt – 1 mit 1, 2 mit 4, 3 mit 9 – und dass also die Quadratzahlen, obwohl sie immer seltener werden, nicht weniger sind als alle Zahlen. Er schloss daraus, dass „größer“ und „kleiner“ im Unendlichen ihren Sinn verlieren, und ließ die Sache liegen. Cantor zog den umgekehrten Schluss: Nicht die Paarbildung ist falsch, sondern unsere Erwartung. Dass ein Teil so groß sein kann wie das Ganze, ist kein Skandal, sondern das Kennzeichen des Unendlichen; Dedekind machte es 1888 geradezu zur Definition. Der eine schließt die Tür, der andere geht hindurch.

Dann die Linie. Man nehme alle Zahlen zwischen Null und Eins, jede mit ihren endlosen Dezimalstellen, 0,3141… und so fort, und versuche, sie mit den Zahlen 1, 2, 3 zu paaren: eine Liste ohne Ende, aber mit einem ersten, zweiten, dritten Eintrag. Cantors Einfall von 1891 ist in einem Atemzug erzählt. Baue eine neue Zahl: Ihre erste Stelle soll sich von der ersten Stelle des ersten Eintrags unterscheiden, ihre zweite von der zweiten des zweiten, und so weiter, die Diagonale hinab. Diese Zahl steht nirgends auf der Liste, denn mit jedem Eintrag ist sie an mindestens einer Stelle uneins. Und das gilt für jede Liste, die je einer vorlegen könnte. Es gibt kein Durchzählen der Linie. Zwei Dinge sind damit geschehen: ein Beweis, dass etwas unmöglich ist – nicht diese Liste versagt, jede muss versagen –, und ein Größenunterschied, den kein Maßband je anzeigen würde. Es geht weiter nach oben. Aus einem Sack Nüsse lassen sich mehr verschiedene Handvoll greifen, als Nüsse darin liegen: die leere Hand, jede einzelne Nuss, jedes Paar, alle zusammen. Dasselbe gilt im Unendlichen, und so steht über jeder Unendlichkeit eine größere. Es ist eine Treppe, und sie hat keine oberste Stufe.

Dass dies philosophisch wehtat, versteht man erst mit Aristoteles. Er hatte im dritten Buch der Physik zwei Unendlichkeiten unterschieden: das mögliche, das Immer-weiter-Können – man kann jede Strecke noch einmal teilen, zu jeder Zahl eine hinzufügen –, und das vollendete, fertig vorliegende Unendliche, das er für ein Unding hielt. Eine Reise kann man beschreiben, aber nicht wiegen. Zwei Jahrtausende lang hatte die Mathematik sich daran gehalten: Das Unendliche war ein Weg, kein Gegenstand. Cantor stellt es ins Regal. Er behandelt die Menge aller natürlichen Zahlen als abgeschlossene Ganzheit, die man einer anderen gegenüberstellen und mit ihr vergleichen kann. Was Aristoteles verboten hatte, wird bei ihm zur Methode.

Der Mann, der die Tür am entschiedensten geschlossen hielt, saß in Berlin. Leopold Kronecker soll 1886 in einem Vortrag gesagt haben, die ganzen Zahlen habe der liebe Gott gemacht, alles andere sei Menschenwerk; der Satz ist nur durch Heinrich Webers Nachruf überliefert, nicht aus Kroneckers Hand. Man tut ihm Unrecht, wenn man ihn zum Finsterling der Geschichte macht. Kronecker vertrat eine strenge und ehrenwerte Position: Existieren tut in der Mathematik, was sich in endlich vielen Schritten aus den ganzen Zahlen gewinnen lässt. Dass er 1877 den Druck von Cantors Arbeit zu verzögern suchte, kennen wir vor allem aus Cantors Zeugnis; dass Cantor ihn als Gegner empfand, ist belegt. Der Streit war einer um das Wort „es gibt“, und er ist bis heute nicht entschieden.

Dann kam der Riss, und er kam von innen. Die junge Mengenlehre hatte sich erlaubt, aus jeder Eigenschaft eine Menge zu machen, und Gottlob Frege hatte das zum Grundgesetz seiner Logik erhoben: alle geraden Zahlen, alle Punkte einer Linie – warum nicht alle Mengen? Cantor selbst hatte schon geahnt, dass manche Gesamtheiten zu groß sind, um noch Mengen zu heißen. Bertrand Russell schrieb 1902 an Frege und bat ihn, über eine davon nachzudenken: die Menge aller Mengen, die sich nicht selbst enthalten. Man denke an einen Bibliothekskatalog, der alle Kataloge verzeichnet, die sich nicht selbst verzeichnen – soll er sich selbst aufführen? Tut er es, gehört er nicht hinein; tut er es nicht, fehlt er. Die Antwort der Mathematiker war ein Regelwerk, eine knappe Liste von Grundsätzen, die festlegt, welche Mengen man bilden darf. Ernst Zermelo schrieb sie 1908 in Göttingen nieder, im Umfeld David Hilberts, Abraham Fraenkel ergänzte sie 1922; sie ist bis heute die Hausordnung des Faches, und ein Widerspruch ist in ihr nie gefunden worden. Hilbert sagte 1925 in Münster den Satz, der zum Wappenspruch wurde: „Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben können.“ Im selben Vortrag skizzierte er einen Beweis für Cantors offene Frage. Er war fehlerhaft.

Die Frage lautete so. Wir kennen jetzt zwei Größen, die Zahlen 1, 2, 3 und die Punkte der Linie, und die zweite ist größer. Gibt es etwas dazwischen – eine Menge mit mehr Elementen als alle natürlichen Zahlen und weniger als die Linie? Cantor vermutete 1878: nein, die Linie sei die nächste Stufe. Das ist die Kontinuumshypothese, benannt nach dem alten Wort für die Linie als lückenlose Ganzheit. Cantor hat zwei Jahrzehnte nach dem Beweis gesucht. Es gibt Briefe, in denen er ihn gefunden zu haben glaubt, und Briefe wenige Wochen später, in denen er ihn widerruft; seit 1884 kehren schwere Depressionen wieder. Man darf sich den Mann vorstellen, der Jahr für Jahr an einer Frage sitzt, die aussieht wie ein Kinderrätsel, ja oder nein, und die ihm nicht nachgibt. Hilbert setzte sie 1900 in Paris an die erste Stelle seiner dreiundzwanzig Probleme für das kommende Jahrhundert.

Die Antwort kam in zwei Hälften, und sie war keine. Kurt Gödel zeigte 1938, dass die Hypothese sich aus dem Regelwerk nicht widerlegen lässt: Man kann eine Welt von Mengen bauen, die alle Regeln erfüllt und in der zwischen Zahlen und Linie nichts liegt. Im Mai 1963 schickt Paul Cohen, neunundzwanzig Jahre alt und Mathematiker in Stanford, Gödel die andere Hälfte: eine Welt, die ebenfalls alle Regeln erfüllt und in der etwas dazwischenliegt. Gödel antwortet auf Englisch, es sei ihm eine Freude, diesen Beweis zu lesen, wie das Ansehen eines wirklich guten Theaterstücks; Cohen habe in allen wesentlichen Punkten den bestmöglichen gegeben. Das Fachwort heißt „unabhängig“, und wer es verstehen will, denke an Euklid. Zwei Jahrtausende hatte man versucht, aus seinen übrigen Grundsätzen zu beweisen, dass es zu einer Geraden durch einen Punkt genau eine Parallele gibt. Es geht nicht, weil es Geometrien gibt, in denen alle übrigen Grundsätze gelten und dieser nicht; auf einer Sattelfläche laufen durch einen Punkt unendlich viele Parallelen. Die restlichen Regeln entscheiden die Frage nicht. So steht es mit der Kontinuumshypothese – mit einem Vorbehalt: Dass beide Welten widerspruchsfrei sind, gilt, sofern das Regelwerk selbst es ist, und das lässt sich, wie ebenfalls Gödel gezeigt hat, nicht von innen beweisen. Niemand war zu dumm, die Frage zu lösen. Aus diesen Regeln gibt es keinen Beweis, in keiner Richtung, und eine Maschine mit unbegrenzter Zeit fände ihn so wenig wie Cantor an seinem Schreibtisch.

Hier wird die Sache philosophisch. Vier Stimmen geben vier Antworten auf die Frage, was „wahr“ dann noch heißen soll, und die erste ist die Gödels. Die Hypothese, sagt er, ist wahr oder falsch – so, möchte man ergänzen, wie die Frage, ob es auf dem Mars Wasser gibt, eine Antwort hat, auch wenn kein Teleskop sie zeigt. Die Mengen sind wirklich, nur unser Regelwerk ist zu dürftig, und er schreibt 1964 sinngemäß, trotz ihrer Ferne von aller Sinneserfahrung hätten wir so etwas wie eine Wahrnehmung auch der Gegenstände der Mengenlehre. Er selbst vermutete, die Hypothese sei falsch. Gödel durfte so reden, weil er 1931 etwas Verwandtes gezeigt hatte. Er baute einen Satz, der, in die Sprache der Arithmetik verschlüsselt, von sich selbst sagt: Ich bin in diesem System nicht beweisbar. Könnte das System ihn beweisen, bewiese es etwas Falsches, denn der Satz behauptet ja das Gegenteil. Ein System, das nichts Falsches beweist, kann ihn also nicht beweisen – und genau das sagt der Satz, also sagt er die Wahrheit. Wahr und unbeweisbar zugleich. Wahrheit ist größer als Beweis. Das war sein Alibi für die Kontinuumshypothese.

Hilbert und Russell setzen anders an. Für Hilbert existiert in der Mathematik, was sich widerspruchsfrei setzen lässt; so steht es dem Sinn nach in seinem Briefwechsel mit Frege. Nimmt man diesen Maßstab beim Wort, gibt es nach Gödel und Cohen zwei Mathematiken, eine mit und eine ohne Zwischenstufe, beide widerspruchsfrei, und die Frage, welche „die wahre“ sei, wäre so sinnlos wie die Frage, welches Schachspiel das richtige ist. Hilbert selbst hätte das nie gesagt; er hielt bis zuletzt jedes mathematische Problem für lösbar. Russell liefert einen anderen Maßstab: Ein Satz wird wahr durch eine Tatsache, der er entspricht. Legt man ihn an die Kontinuumshypothese, fragt man: Welche Tatsache? Keine Beobachtung, kein Beweis, keine Folgerung, an der etwas scheitert. Wer darum gar keine Tatsache annimmt, für den ist „wahr“ hier ein geflüstertes Wort, hinter dem ein Wunsch steht; wer wie Gödel an die Mengen glaubt, für den ist die Tatsache bloß noch nicht gefunden. Russell hat sich zur Hypothese so nicht geäußert; die Anwendung ist unsere. Aber er hat 1901 die reine Mathematik spöttisch als das Fach definiert, in dem man nie wisse, wovon man rede, noch ob das, was man sage, wahr sei.

Die unbequemste Stimme gehörte Wittgenstein. In Cambridge, 1939, antwortete er in einer Vorlesung auf Hilberts Paradies-Satz; wir haben die Worte nur aus den Mitschriften seiner Hörer, dem Sinn nach: Er denke nicht im Traum daran, jemanden aus diesem Paradies zu vertreiben. Er wolle zeigen, dass es keines sei. Dann gehe man von selbst. Cantor habe nichts entdeckt, was dort draußen läge; er habe eine Technik erfunden, Zuordnungen zu vergleichen, und dann dem Ergebnis dieser Technik das Wort „größer“ verliehen. „Größer“ sei hier eine Sache der Grammatik, nicht der Landschaft. Und ein Satz, für den kein Verfahren der Entscheidung angegeben ist, sei noch gar keine Frage, sondern ein Bild, dessen Gebrauch wir erst festlegen müssen. Das ist die Pointe gegen Gödel: Wo zeigen Sie hin, wenn Sie sagen, die Hypothese sei falsch? Nur hat diese Haltung ihren Preis. Wenn „wahr“ nichts anderes heißt als „nach unseren Regeln beweisbar“, wird Gödels Satz von 1931 zu einem Rätsel, und Wittgensteins Bemerkungen dazu haben ihm bei Logikern wie Kreisel und Bernays den Vorwurf eingetragen, den Satz missverstanden zu haben – ein Urteil, das seit Juliet Floyd und Hilary Putnam nicht mehr unwidersprochen ist.

Der Streit lebt, und er hat Gesichter. Hugh Woodin argumentierte um die Jahrtausendwende jahrelang dafür, dass die Hypothese falsch sei; seit etwa 2010 arbeitet er an einem Bauplan für ein einziges, ausgezeichnetes Universum der Mengen, in dem sie wahr wäre. Derselbe Mann, die entgegengesetzte Antwort; das Programm ist unvollendet. 2021 zeigten David Asperó und Ralf Schindler, dass ein starkes Zusatzaxiom, aus einer Richtung vorgeschlagen, ein anderes aus ganz anderer Richtung nach sich zieht: zwei Stollen, von zwei Seiten in den Berg getrieben, und der eine mündet in den anderen. Beide besagen, dass die Hypothese falsch ist – ein Hinweis, kein Urteil, denn man muss die Zusatzregeln erst annehmen. Joel David Hamkins hält dagegen, es gebe nicht das eine Universum, sondern ein Multiversum gleichberechtigter Mengenwelten, und in manchen gilt die Hypothese, in anderen nicht. Keiner hat den anderen überzeugt.

Und hier kehrt die Maschine zurück. Lean prüft, ob ein Beweis aus gegebenen Regeln folgt, und es prüft das unermüdlicher als jeder Dedekind. Die Kontinuumshypothese aber ist kein ungeprüfter Beweis. Sie ist die Stelle, an der die Regeln schweigen, und das hat die Maschine selbst bestätigt: 2019 und 2020 haben Jesse Michael Han und Floris van Doorn den Beweis der Unabhängigkeit vollständig in Lean nachgebaut. Die Maschine hat Zeile für Zeile bestätigt, dass die Regeln, nach denen die Mathematik arbeitet, die Frage nicht entscheiden – sie hat bewiesen, dass sie nie finden wird, wonach Cantor suchte. Wer sie entscheiden will, muss eine neue Regel hinzunehmen, und darüber, welche, entscheidet keine Rechenkraft, sondern eine Haltung: Gödels Zutrauen in eine Anschauung, Hilberts Nüchternheit, Russells Verlangen nach einer Tatsache, Wittgensteins Verdacht. Die Entscheidung, was eine Frage bedeutet, bleibt auf der Seite des Bildschirms, auf der ein Mensch sitzt.

Vielleicht ist das die eigentliche Bedeutung von Cantors Treppe. Er hat gezeigt, dass es Größenunterschiede gibt, die kein Zählen erreicht, und er hat dabei eine Frage freigelegt, die kein Regelwerk entscheidet – nicht weil sie zu schwer wäre, sondern weil „schwer“ hier das falsche Wort ist. Die Mathematik, die sich für die sicherste aller Wissenschaften hielt, hat an dieser Stelle eine Wahl zu treffen, und sie hat bis heute keine getroffen. Cantor schrieb 1877, er sehe es, aber er glaube es nicht. Bei der Kontinuumshypothese ist es umgekehrt. Alle, die darüber streiten, glauben etwas. Ob einer von ihnen etwas sieht, ist genau der Streit.