Cantor: Größer als unendlich

I. Wie groß ist unendlich?

Zählen Sie bis zu einer Million. Danach lässt sich immer noch eins hinzufügen. Und dann wieder eins. Die nächste Zahl wartet schon.

So begegnet uns das Unendliche gewöhnlich: als Weg ohne Ende. Welche von zwei Unendlichkeiten größer sei, klingt zunächst wie eine falsch gestellte Frage. Wenn beide Wege niemals aufhören, was soll der Vergleich ihrer Länge bedeuten?

Cantor setzte anders an. Lassen wir das Ende vorläufig beiseite. Angenommen, jedes Element auf der einen Seite lässt sich genau einem auf der anderen zuordnen, ohne dass etwas übrig bleibt: Wären beide Mengen dann gleich groß?

Das klingt eher nach dem Aufstellen von Stühlen als nach einer Revolution der Mathematik. Aber in dieser unscheinbaren Frage öffnet sich ein Gebiet. Unendlichkeit bekommt Konturen, die sich untersuchen lassen, statt nur eine Handbewegung in die Ferne zu bleiben.

1874 veröffentlichte Cantor sein Ergebnis über die Überabzählbarkeit der reellen Zahlen. Das berühmte Diagonalargument folgte 1891. Dazwischen lagen Rechnungen, Briefe, Überarbeitungen und die Arbeit anderer. Das Unendliche trat nicht mit einem einzigen Geistesblitz in die Mathematik ein.

Folgen wir zuerst dem Argument, bevor wir die Tragödie erzählen. Eine mathematische Behauptung braucht einen Beweis; ein psychisch erkrankter Mensch braucht Fürsorge. Wenn eines das andere erklären soll, wird die Geschichte nicht tiefer, sondern ungenauer.

II. Ein Stuhl für jeden

In einem vollen Saal lässt sich feststellen, ob es genauso viele Stühle wie Menschen gibt, ohne beides vorher zu zählen. Jeder setzt sich auf einen eigenen Stuhl. Niemand steht, kein Platz bleibt frei. Das ist die alltägliche Anschauung hinter einer Eins-zu-eins-Zuordnung.

Ordnen wir nun den positiven ganzen Zahlen 1, 2, 3, 4 die Zahlen 2, 4, 6, 8 zu. Jede Zahl erhält ihren geraden Partner, jede positive gerade Zahl wird erreicht. Die Regel versagt nicht deshalb, weil wir ihre Anwendung niemals vollständig abarbeiten können.

Die geraden Zahlen bilden weiterhin einen echten Teil der positiven ganzen Zahlen. Trotzdem haben beide Mengen dieselbe Mächtigkeit. Eine bei endlichen Mengen verlässliche Vorstellung trägt hier nicht unverändert: Dass Elemente fehlen, muss die Mächtigkeit nicht verkleinern.

Bei Brüchen wird die Sache unübersichtlich. Zwischen zwei verschiedenen rationalen Zahlen liegen weitere. Wie sollte diese dicht besetzte Landschaft jemals zu einer Warteschlange werden, in der jeder eine ganzzahlige Nummer bekommt?

Man ordnet die positiven Brüche nach Zähler und Nenner in einem Raster und durchläuft dessen Diagonalen. Doppelungen wie 1/2 und 2/4 werden übersprungen; null und negative Brüche kommen hinzu. Jede rationale Zahl erhält irgendwann einen Platz. Diese Diagonale ist ein Weg durchs Raster, nicht das spätere Argument gegen die Vollständigkeit einer Liste.

Die gemeinsame Größe heißt ℵ₀, Aleph-null: abzählbar unendlich. Ganze Zahlen, positive gerade Zahlen, rationale Zahlen gehören dazu. Vielleicht sind am Ende alle unendlichen Mengen so groß. Nun haben wir einen guten Grund, danach zu fragen, statt die Antwort bloß vorauszusetzen.

III. Die fehlende Zeile

Jemand legt uns eine Liste vor, auf der angeblich sämtliche reellen Zahlen zwischen null und eins stehen. In jeder Zeile eine Dezimalzahl; die Zeilen tragen die Nummern 1, 2, 3 und so weiter.

Wir müssen nicht die ganze Liste prüfen. Wir lesen diagonal: die erste Nachkommastelle der ersten Zeile, die zweite der zweiten, die dritte der dritten. Jede Zeile liefert eine Stelle, an der wir von ihr abweichen können.

Nun bilden wir eine neue Dezimalzahl ausschließlich aus Einsen und Zweien. Steht an der betrachteten Stelle eine Eins, schreiben wir eine Zwei, sonst eine Eins. Von Zeile eins unterscheidet sich unsere Zahl an Stelle eins, von Zeile zwei an Stelle zwei, von Zeile n an Stelle n.

Die Beschränkung auf Eins und Zwei vermeidet eine kleine, wichtige Falle: 0,4999… und 0,5000… bezeichnen dieselbe reelle Zahl. Verschiedene Ziffernfolgen sind nicht immer verschiedene Zahlen. Auch ein schöner Beweis schuldet uns diese Genauigkeit.

In welcher Zeile steht nun die neue Zahl? Nicht in der ersten, denn dort stimmt die erste Stelle nicht. Nicht in der zweiten, dort stimmt die zweite nicht. Auf welche Zeile wir auch zeigen: Gerade für diese wurde bereits ein Unterschied eingebaut.

Unsere Zahl liegt trotzdem zwischen null und eins. Sie fehlt also. Der Liste mangelt es nicht lediglich an Papier. Jede durch positive ganze Zahlen nummerierte Liste lässt sich auf diese Weise widerlegen.

Das ist eine heutige Darstellung des Arguments von 1891 mit Dezimalzahlen, keine Abschrift von Cantors damaligem Wortlaut. Sein Beweis von 1874 ging einen anderen Weg. Entscheidend ist der Übergang: Wir scheitern nicht bloß daran, mit dem Aufzählen fertig zu werden; wir beweisen, dass eine solche vollständige Aufzählung unmöglich ist.

Turings spätere Umkehrung besitzt eine Familienähnlichkeit. Sie betrifft aber Programme und ein angeblich universelles Entscheidungsverfahren, nicht einfach eine weitere fehlende Dezimalzahl. Eine Methode kann weiterwandern. Gegenstände, Voraussetzungen und Ergebnis müssen jeweils neu bestimmt werden.

IV. Noch eine Stufe

ℵ₀ bezeichnet die Mächtigkeit der natürlichen Zahlen, c die der reellen Zahlen. Wir wissen: c ist größer. Könnte dies die letzte Unendlichkeit sein?

Cantor gibt uns eine wiederholbare Operation. Wir nehmen sämtliche Teilmengen einer Menge zusammen; ihre Gesamtheit heißt Potenzmenge. Aus einer Gruppe mit zwei Personen können wir niemanden auswählen, die erste Person, die zweite oder beide. Das ergibt vier Möglichkeiten.

Die Potenzmenge ist stets mächtiger als die Ausgangsmenge. Angenommen, jedem Element wäre eine Teilmenge zugeordnet, und die Zuordnung erfasste alle Teilmengen. Sammeln wir nun genau jene Elemente, die nicht in ihrer jeweils zugeordneten Teilmenge liegen. Diese neue Teilmenge lässt sich keinem Element zuordnen, ohne einen Widerspruch über dessen Zugehörigkeit zu erzeugen.

Welche Menge man uns auch gibt, es gibt eine größere Mächtigkeit. Kein größter Gipfel beendet das Verfahren.

Doch die Zeichen können uns verführen. ℵ₀, ℵ₁, ℵ₂ benennen aufeinanderfolgende unendliche Mächtigkeiten. Die Potenzmenge zu bilden führt nicht notwendig zum unmittelbar nächsten Aleph. Wer beides als dieselbe Treppe zeichnet, beantwortet unbemerkt eine schwierige Frage.

Unendlichkeit ist genauer geworden, nicht restlos beherrscht. Der Gewinn besteht nicht in einer letzten Aussichtsplattform über allem. Er besteht in etwas Arbeitsfähigerem: einer präzisen Möglichkeit zu fragen, was als Nächstes kommen könnte.

V. Zwischen zwei Stufen

ℵ₁ ist die kleinste unendliche Mächtigkeit oberhalb von ℵ₀. Ist c gleich ℵ₁? Anders gefragt: Liegt zwischen dem abzählbar Unendlichen und dem Kontinuum noch eine andere Größe?

Das ist die Kontinuumshypothese. Cantor rang jahrelang mit ihr. Wir können uns die Erschöpfung wiederholter Anläufe vorstellen. Eine schwierige Aufgabe ist jedoch für sich genommen keine medizinische Erklärung für den Menschen, der daran arbeitet.

Hilbert setzte die Frage 1900 an die erste Stelle seiner berühmten Problemliste. Mit Cantors Scheitern verschwand sie nicht. Spätere Mathematiker veränderten unser Verständnis davon, was ihre Entscheidung überhaupt verlangen könnte.

Gödel erzielte 1938 ein Ergebnis zur relativen Widerspruchsfreiheit und veröffentlichte 1940 seine Monografie; Cohen lieferte 1963 das ergänzende Ergebnis. Zusammengenommen besagen sie: Falls die üblichen mengentheoretischen Axiome ZFC widerspruchsfrei sind, lassen sich in ZFC weder die Hypothese noch ihre Verneinung beweisen.

In ZFC: Diese Einschränkung darf nicht fehlen. Das Ergebnis verbietet nicht jedem denkbaren mathematischen Rahmen, die Frage zu behandeln. Neue Axiome und verschiedene Modelle wurden Teil der weiteren Forschung. Auch für ihre Wahl braucht es Gründe, nicht nur eine Vorliebe für eine Antwort.

Manchmal fehlt ein noch nicht gefundener Gedankenschritt. Manchmal bestimmen die gewählten Regeln die Antwort nicht. Beides unterscheiden zu können ist ein Fortschritt. Ein offenes Problem muss weder ein persönliches Versagen belegen noch irgendeine Demütigung rechtfertigen.

VI. Zwischen zwei Schreibtischen

Kronecker war ein bedeutender Gegner. Er stellte wesentlich engere Anforderungen an zulässige mathematische Gegenstände und Verfahren. Der Streit hatte einen sachlichen Kern; er spielte sich zugleich unter ungleich verteilter beruflicher Macht ab.

Dennoch lässt sich Cantors Laufbahn nicht auf einen böswilligen Torwächter und allgemeine Ablehnung reduzieren. Weierstraß und andere unterstützten ihn. Er arbeitete jahrzehntelang in Halle und half, eine mathematische Gemeinschaft aufzubauen. Unterstützung, Feindschaft, Enttäuschung und Krankheit haben nicht alle dieselbe Ursache.

Und da war Dedekind. Ihr Briefwechsel von 1873 war keine Einbahnstraße, auf der ein Genie seine Entdeckungen einem Publikum verkündete. Zwei Mathematiker tauschten Fragen, Beweise und Verbesserungen aus. Das Denken ging weiter, weil Papier zwischen ihren Schreibtischen wanderte.

Zu dieser Geschichte gehört eine unbeglichene Schuld der Anerkennung. Dedekind hielt fest, dass sein Beweis und seine Verbesserungen ohne angemessene öffentliche Würdigung in Cantors Aufsatz von 1874 eingegangen waren. Cantors bleibende Leistung lässt diese Aufzeichnung nicht verschwinden.

Quanta berichtete 2026 über einen lange für verloren gehaltenen Brief, den Demian Goos 2025 in Halle aufgefunden hatte. Das Schreiben vom 30. November 1873 enthält Dedekinds Beweis für die Abzählbarkeit der algebraischen Zahlen. Neue Berichterstattung, erhaltene Dokumente und Vermutungen über Beweggründe sind nicht dieselbe Art von Beleg.

Das ist keine überraschende Auflösung, nach der alles gestohlen gewesen wäre. Beiträge zur Überabzählbarkeit und zu transfiniten Zahlen müssen weiterhin einzeln beurteilt werden. Dedekind ist aber auch nicht bloß dazu da, Cantor als Figur interessanter zu machen. Sein Name gehört zu seiner Arbeit.

Wer ungerecht behandelt wurde, kann seinerseits jemand anderem Unrecht tun. Das muss deutlich benannt werden. Es gibt jedoch kein Gesetz der Erhaltung von Verletzungen: Erlittenes Unrecht macht späteres Fehlverhalten weder unausweichlich noch entschuldbar.

Ein Leben zu verstehen ist schwieriger, als es grenzenlos zu verteidigen. Wir müssen der Leistung Raum lassen, dem Leiden und dem Menschen, dessen Beitrag nicht angemessen genannt wurde.

VII. Drei verschiedene Grenzen

Cantor, Gödel, Turing: Die Namen nebeneinanderzustellen liegt nahe. Jeder lässt eine mächtige Erwartung von Vollständigkeit auf eine streng bestimmte Grenze stoßen.

Cantor schließt aus, alle reellen Zahlen durch natürliche Zahlen aufzuzählen. Gödel untersucht effektiv axiomatisierte formale Systeme, die stark genug für Arithmetik sind. Turing fragt nach einem universellen Algorithmus, der sämtliche Fälle eines bestimmten Problems entscheidet. Das sind nicht drei Fassungen desselben Satzes.

Diagonalkonstruktionen, Kodierungen und Selbstbezüge verbinden diese Arbeiten. Listen, Beweissysteme und Programme bleiben dennoch verschiedene Gegenstände. Die Unabhängigkeit der Kontinuumshypothese ist nicht bloß das Halteproblem unter anderem Namen.

Ein philosophischer Leser kann darin eine Einladung zur Bescheidenheit finden: Verstehe ein leistungsfähiges Werkzeug und frage, wo seine Leistung gilt. Das ist eine Deutung der Mathematik, kein mathematischer Beweis für jede philosophische Folgerung, die uns lieb wäre.

Vor allem dürfen Krankheit, Verfolgung und Tod nicht zur Schlussfolgerung werden: Wer Grenzen entdeckt, wird von ihnen vernichtet. Turing wurde staatlich verfolgt; Cantor litt wiederholt an psychischen Erkrankungen. Ihre Leben sind keine Abbildungen im Anhang eines Lehrsatzes.

Begrenzte Verfahren bestehen neben dem Bedürfnis nach Freunden, Ruhe, Arbeit und Fürsorge. Wer Leiden zum Echtheitszertifikat einer tiefen Einsicht macht, fügt dem Menschen eine weitere Zumutung zu, den er angeblich würdigt.

VIII. Kein Gipfel heißt nicht: kein Weg

Kehren wir zur Treppe zurück. An jeder Stelle können wir fragen, ob es eine größere Menge gibt. Auch von noch so großer Höhe aus wird die Antwort nicht plötzlich nein lauten.

Andere große Denkgebäude kommen in den Sinn: Platons Idee des Guten, Hegels System. Hier kann ein Vergleich beginnen, aber nicht schon enden. Ein Satz über Mächtigkeiten widerlegt nicht unmittelbar die Ideenlehre und entscheidet nicht über das Ziel der Geschichte.

Cantor selbst beschäftigten religiöse Fragen tief. Er unterschied das mathematisch Transfinite vom absolut Unendlichen der Theologie. Ihn zum Mann zu erklären, der alle letzten Fragen abgeschafft habe, würde einen wichtigen Teil seines Denkens zum Schweigen bringen.

Seine Arbeit ähnelt eher dem Bau eines besseren Messinstruments als der Entdeckung, dass nichts möglich sei. Abzählbarkeit, Überabzählbarkeit, Potenzmengen: Jede Unterscheidung schafft einen verlässlicheren Platz für den nächsten Schritt.

Man muss nicht alles besitzen, bevor man die vor einem liegende Arbeit tun kann. Und niemand muss die Mengenlehre beherrschen, um die Veränderung zu bemerken: Aus einem unbestimmten Immerweiter ist etwas geworden, das Menschen gemeinsam bestreiten, verbessern und untersuchen können.

Die Treppe hat keine oberste Stufe. Daraus folgt nicht, dass heute kein Schritt möglich wäre. Cantors Mathematik hinterlässt uns den ersten Satz; sie verpflichtet uns nicht, den zweiten hinzuzufügen.

IX. Hier ist noch ein Stuhl

Cantor starb am 6. Januar 1918 mit zweiundsiebzig Jahren in einer psychiatrischen Klinik in Halle. Wiederkehrende Erkrankungen prägten sein späteres Leben; der Krieg erschwerte die Lebensbedingungen. Das lässt sich erzählen, ohne eine Stimme aus dem Off zu behaupten, das Unendliche habe schließlich seinen Verstand verlangt.

Hilberts berühmtes Bild vom Paradies, das Cantor geschaffen habe, stammt aus den Jahren nach dessen Tod. Es beschreibt eine Öffnung der Mathematik, nicht den Alltag ihres Urhebers. Der spätere Triumph eines Fachs kann nicht rückwärts reisen und einem Kranken Gesellschaft leisten.

An der erfundenen Brücke dieser Reihe blickt Cantor noch immer nach oben. Sein Stift zeichnet ℵ₀ und ℵ₁ in die Luft. Dahinter ist weiterer Raum.

Wir müssen ihm keine angeblich wahnsinnigen Augen geben, weil er zu viel gesehen hätte. Vielleicht ist er einfach jemand, der beim Erklären lebhaft wird und hofft, dass ein anderer ihn versteht.

Tschechow tritt etwas näher. Hume legt sein Backgammon beiseite. Turing hält ein Blatt mit Zeichen; niemand verlangt von ihm, sein Leben auf eine letzte Moral zu verkürzen.

Cantor darf fortfahren. Er darf auch eine Pause machen. Jemand wird zuhören, ohne dafür einen weiteren erstaunlichen Satz zu verlangen.

Während er sich ausruht, verschwinden die Stufen nicht. Ein Mensch schuldet dem Weg, den er eröffnet hat, nicht seine vollständige Erschöpfung.

Oben geht es weiter. Hier darf trotzdem ein Stuhl stehen.