Kapitel  30 — Unmöglich und doch wahr: mathematische Paradoxe

Was „unmöglich“ und was „wahr“ hier bedeutet

Die Mathematik kennt Ergebnisse, die der Anschauung widersprechen und dennoch bewiesen sind. Eine Kugel lässt sich in zwei gleich große Kugeln zerlegen. Es gibt mehr als unendlich viele Zahlen. Ein Körper lässt sich mit Farbe füllen, aber nicht anstreichen. Solche Sätze werden gern als „unmögliche Dinge, die laut Mathematik wahr sind“ vorgestellt, so auch in einem Video des Kanals „Kosmos Geheimnisse“ vom Oktober 2026, von dem dieses Kapitel ausgeht.

Die Formel „unmöglich, aber wahr“ verdeckt jedoch, dass „unmöglich“ und „wahr“ auf verschiedenen Ebenen liegen. Unmöglich heißt in allen Fällen dasselbe: unvereinbar mit der Intuition, also mit dem, was ein menschliches Gehirn von sich aus für möglich hält. Wahr dagegen heißt jedes Mal etwas anderes. Manchmal heißt es: bewiesen und in der Wirklichkeit nachprüfbar. Manchmal heißt es: bewiesen für ein idealisiertes Modell, das es in der Wirklichkeit nicht gibt. Und manchmal heißt es: bewiesen über die Mathematik selbst.

Die These dieses Kapitels lautet: Die mathematischen Paradoxe sind kein Beleg dafür, dass die Wirklichkeit unmöglich ist, sondern dafür, dass die Intuition eine biologische Grenze hat. Sie lassen sich nach den drei Stufen ordnen, die im Kapitel „Beweisbare Wahrheit und Wirklichkeit“ unterschieden wurden – Beweisbarkeit, Wahrheit, Wirklichkeit. Wer sie so ordnet, sieht, wo die Mathematik die Intuition korrigiert und wo sie selbst einen Wirklichkeitsersatz erzeugen kann.

Drei Arten von „unmöglich, aber wahr“

Die Paradoxe dieses Kapitels fallen in drei Gruppen. Entscheidend ist jeweils die Frage, ob das Bewiesene in der Wirklichkeit gilt.

Gruppe	Paradoxe	Bewiesen?	Wahr in der gemeinten Struktur?	Wirklich?
1. Die Intuition irrt	Geburtstagsparadoxon, Monty-Hall-Problem, Simpson-Paradoxon	ja	ja	ja, nachprüfbar
2. Wahr im Modell	Gabriels Horn, Küstenparadoxon, Banach-Tarski	ja	ja	nein, nur für idealisierte Gegenstände
3. Das Unendliche und die Mathematik selbst	Zenon, Hilberts Hotel, Cantor, Russell, Gödel	ja	ja	offen oder nicht anwendbar

In der ersten Gruppe sind alle drei Stufen deckungsgleich. Die Mathematik greift hier über die biologische Ausstattung hinaus, und die Wirklichkeit gibt ihr recht. In der zweiten Gruppe trennt sich die Wahrheit von der Wirklichkeit: Der Beweis ist korrekt, aber sein Gegenstand existiert nicht. In der dritten Gruppe richtet sich die Mathematik auf sich selbst und auf das Unendliche, das in keiner Erfahrung vorkommt.

Wenn die Intuition irrt

In der ersten Gruppe widerspricht die Mathematik nicht der Wirklichkeit, sondern dem Gefühl. Die Wirklichkeit steht auf der Seite der Mathematik.

Das Geburtstagsparadoxon

Wie viele Menschen müssen in einem Raum sein, damit es wahrscheinlicher ist als nicht, dass zwei am selben Tag Geburtstag haben? Die meisten schätzen etwa 180, die Hälfte von 365. Die richtige Antwort ist 23. Bei 23 Personen liegt die Wahrscheinlichkeit bei etwa 51 Prozent, bei 50 Personen schon bei 97 Prozent.

Der Irrtum entsteht, weil das Gehirn Personen zählt, nicht Paare. Man denkt unwillkürlich: Hat jemand meinen Geburtstag? Gefragt ist aber, ob irgendein Paar übereinstimmt, und 23 Personen bilden 253 Paare. Das Paradoxon ist in jeder Schulklasse nachprüfbar. Es ist bewiesen, wahr und wirklich.

Das Monty-Hall-Problem

In einer Spielshow stehen drei Türen. Hinter einer ist ein Auto, hinter den beiden anderen eine Ziege. Der Kandidat wählt eine Tür. Der Moderator, der weiß, wo das Auto steht, öffnet eine der beiden anderen Türen und zeigt eine Ziege. Soll der Kandidat wechseln?

Die Intuition sagt: Es ist gleichgültig, zwei Türen, halbe-halbe. Die richtige Antwort lautet: Wechseln verdoppelt die Gewinnchance von 1/3 auf 2/3. Die erste Wahl trifft in einem Drittel der Fälle das Auto. In den anderen zwei Dritteln hat der Moderator die einzige verbleibende Ziegentür geöffnet, und die andere Tür verbirgt das Auto.

Als die Kolumnistin Marilyn vos Savant 1990 diese Lösung veröffentlichte, erhielt sie Tausende Briefe, darunter viele von Mathematikern, die ihr widersprachen. Selbst Paul Erdős, einer der bedeutendsten Mathematiker des 20. Jahrhunderts, soll sich erst durch eine Computersimulation überzeugt haben. Der Fehler liegt darin, dass die Intuition das Wissen des Moderators übersieht. Er öffnet nicht zufällig, und darum trägt seine Handlung Information.

Das Simpson-Paradoxon in der Medizin

Für die Medizin ist ein drittes Paradoxon bedeutsamer als die beiden ersten. Eine Studie von Charig und Kollegen (1986) verglich zwei Verfahren zur Entfernung von Nierensteinen.

Steine	Offene Operation (A)	Perkutane Nephrolithotomie (B)
klein	93 % (81 von 87)	87 % (234 von 270)
groß	73 % (192 von 263)	69 % (55 von 80)
alle	78 % (273 von 350)	83 % (289 von 350)

Verfahren A ist bei kleinen und bei großen Steinen erfolgreicher – und trotzdem insgesamt schlechter. Der Grund: Die schwierigen großen Steine wurden überwiegend mit A behandelt, die leichten kleinen überwiegend mit B. Die Gesamtzahl vermischt Behandlung und Schweregrad.

Das Simpson-Paradoxon zeigt, dass eine korrekt berechnete Zahl in die falsche Richtung weisen kann. Welche Zahl die Wirklichkeit beschreibt, entscheidet nicht die Rechnung, sondern das Wissen über den Zusammenhang – hier über die Größe der Steine. Für die evidenzbasierte Medizin ist das eine ständige Warnung: Die Statistik beweist, was aus den Daten folgt, nicht, was am Patienten wirkt.

Wahr im Modell, nicht in der Wirklichkeit

In der zweiten Gruppe ist der Beweis korrekt, aber sein Gegenstand ist eine Idealisierung. Hier trennt sich die Wahrheit von der Wirklichkeit.

Gabriels Horn

Dreht man die Kurve y = 1/x für x ≥ 1 um die x-Achse, entsteht ein unendlich langer Trichter. Evangelista Torricelli hat um 1643 gezeigt, dass sein Volumen endlich ist, nämlich genau π. Seine Oberfläche aber ist unendlich. Man könnte das Horn also mit einer endlichen Menge Farbe füllen, aber nie außen anstreichen.

Der Widerspruch verschwindet, sobald man fragt, ob es das Horn gibt. Ein wirkliches Horn ist nicht unendlich lang, und eine wirkliche Farbschicht hat eine Dicke. Im engen Hals des Trichters wäre die Farbe bald dünner als ein Molekül. Das Paradoxon gilt für einen Gegenstand, der nur in der Mathematik existiert.

Das Küstenparadoxon

Wie lang ist die Küste Großbritanniens? Der Mathematiker Benoît Mandelbrot hat 1967 gezeigt, dass die Antwort vom Maßstab abhängt. Misst man mit einem 100-Kilometer-Lineal, erhält man eine kürzere Länge als mit einem 1-Kilometer-Lineal, denn das kleinere folgt mehr Buchten. Für eine ideale fraktale Kurve wächst die Länge ohne Grenze.

Die wirkliche Küste ist keine ideale Kurve. Unterhalb von Sandkörnern, Molekülen und Atomen hat die Frage nach der Länge keinen Sinn mehr. Das Paradoxon ist dennoch lehrreich: Es zeigt, dass Länge keine Eigenschaft der Küste allein ist, sondern eine Beziehung zwischen Küste und Messendem. Darin liegt ein Gedanke, der der biologischen Erkenntnistheorie entspricht – was wir messen, hängt davon ab, womit wir messen.

Das Banach-Tarski-Paradoxon

Stefan Banach und Alfred Tarski haben 1924 bewiesen, dass sich eine massive Kugel in endlich viele Teile zerlegen lässt – es reichen fünf –, die man allein durch Drehen und Verschieben zu zwei Kugeln von der Größe der ersten zusammensetzen kann. Aus einer Goldkugel würden zwei.

Der Beweis ist korrekt, aber er hat zwei Voraussetzungen, die in der Wirklichkeit nicht erfüllt sind. Erstens sind die Teile keine Körper, die man ausschneiden könnte, sondern unendlich zerstreute Punktmengen, denen sich kein Volumen zuordnen lässt. Zweitens braucht der Beweis das Auswahlaxiom.

Das Auswahlaxiom besagt, dass man aus jeder Sammlung nicht leerer Mengen aus jeder Menge ein Element auswählen kann, auch wenn es keine Regel für die Auswahl gibt. Das klingt selbstverständlich. Gödel hat 1938 gezeigt, dass es den übrigen Axiomen der Mengenlehre nicht widerspricht. Paul Cohen hat 1963 gezeigt, dass auch seine Verneinung ihnen nicht widerspricht. Das Auswahlaxiom ist also unabhängig: Man kann es annehmen oder ablehnen.

Daraus folgt etwas Bemerkenswertes. Ob sich eine Kugel verdoppeln lässt, hängt davon ab, welche Mathematik man wählt. Es gibt mehrere gleich widerspruchsfreie Mathematiken, und keine ist durch die Logik allein ausgezeichnet. Das Babylon der Wahrheiten reicht bis in die strengste aller Wissenschaften. Was entscheidet, ist nicht die Logik, sondern die Frage, welche Mathematik sich bei der Beschreibung der Wirklichkeit bewährt.

Das Unendliche

Die dritte Gruppe beginnt mit einem Gegenstand, der in keiner Erfahrung vorkommt. Kein Lebewesen hat je Unendliches gesehen, gezählt oder berührt. Dennoch kann das Denken über es Aussagen treffen und beweisen.

Zenon: Achilles und die Schildkröte

Die ältesten Paradoxe des Unendlichen stammen von Zenon von Elea, um 450 v. Chr. Achilles läuft zehnmal so schnell wie eine Schildkröte, die einen Vorsprung hat. Bis er ihren Ausgangspunkt erreicht, ist sie ein Stück weiter. Bis er dort ist, wieder ein Stück. So scheint er sie nie einzuholen.

Die Mathematik löst das Paradoxon mit der Summe unendlicher Reihen, die erst im 17. bis 19. Jahrhundert streng gefasst wurde: Unendlich viele immer kleinere Strecken können eine endliche Summe haben. Bei einem Vorsprung von 100 Metern holt Achilles die Schildkröte nach 111,1 Metern ein. In der Wirklichkeit hat das Paradoxon nie gegolten – jeder Läufer überholt jede Schildkröte. Es zeigt nur, dass die Sprache den Lauf in unendlich viele Schritte zerlegen kann, die der Körper nicht einzeln geht.

Hilberts Hotel

David Hilbert hat um 1924 ein Hotel mit unendlich vielen Zimmern erdacht, die alle belegt sind. Kommt ein neuer Gast, zieht jeder Gast von Zimmer n in Zimmer n + 1, und Zimmer 1 wird frei. Kommen unendlich viele neue Gäste, zieht jeder von Zimmer n in Zimmer 2n, und alle ungeraden Zimmer werden frei. Ein volles Hotel hat immer Platz.

Das Gedankenexperiment zeigt, dass im Unendlichen Regeln nicht gelten, die für alle endlichen Mengen selbstverständlich sind. Ein Teil kann so groß sein wie das Ganze: Es gibt genauso viele gerade Zahlen wie natürliche Zahlen.

Cantor: verschieden große Unendlichkeiten

Georg Cantor hat 1874 und 1891 gezeigt, dass nicht alle Unendlichkeiten gleich groß sind. Die natürlichen Zahlen lassen sich durchnummerieren, die reellen Zahlen nicht. Mit seinem Diagonalverfahren bewies er: Jede Liste reeller Zahlen lässt eine Zahl aus, die man aus der Liste selbst konstruieren kann. Es gibt also mehr reelle Zahlen als natürliche, und über jeder Unendlichkeit steht eine größere.

Cantors Ergebnis war so umstürzend, dass Leopold Kronecker ihn einen „Verderber der Jugend“ nannte. Hilbert dagegen erklärte: „Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben können.“

Ob es in der Natur aktual Unendliches gibt, ist bis heute offen. Die Physik kennt keine gemessene unendliche Größe, und wo in ihren Gleichungen Unendlichkeiten auftreten, gelten sie meist als Zeichen, dass die Theorie an ihre Grenze kommt. Cantors Unendlichkeiten sind daher bewiesen und wahr in der gemeinten Struktur – ob sie wirklich sind, wissen wir nicht.

Mathematik über die Mathematik

Die letzten Paradoxe betreffen keine Kugeln, Küsten oder Zahlen, sondern die Mathematik selbst. Sie zeigen, wo das Denken an seine eigenen Grenzen stößt.

Russells Antinomie

Bertrand Russell entdeckte 1901 einen Widerspruch in den Grundlagen der Mathematik. Man bilde die Menge aller Mengen, die sich nicht selbst als Element enthalten. Enthält diese Menge sich selbst? Wenn ja, dann gehört sie nicht dazu. Wenn nein, dann gehört sie dazu. Populär ist die Fassung vom Barbier, der alle Männer im Dorf rasiert, die sich nicht selbst rasieren – rasiert er sich selbst?

Russell schrieb 1902 an Gottlob Frege, dessen Grundlegung der Arithmetik gerade in den Druck ging. Frege antwortete, ihm sei damit „der Grund, auf dem ich die Arithmetik sich aufbauen dachte, ins Wanken geraten“. Die Mathematik reagierte, indem sie Regeln einführte, welche Mengen gebildet werden dürfen. Russells Antinomie ist kein „unmögliches Ding, das wahr ist“, sondern ein Satz, der weder wahr noch falsch sein kann – und gerade dadurch die Grenze eines Begriffssystems markiert.

Gödels Unvollständigkeitssätze

Gödel hat 1931 die Grenze nicht als Widerspruch, sondern als Lücke gefunden. In jedem widerspruchsfreien, hinreichend starken formalen System der Arithmetik gibt es Sätze, die in der gemeinten Struktur der natürlichen Zahlen wahr, im System aber nicht beweisbar sind. Und kein solches System kann seine eigene Widerspruchsfreiheit beweisen.

Ausführlich wird das im Kapitel „Beweisbare Wahrheit und Wirklichkeit“ behandelt. Hier ist nur festzuhalten, wie Gödel sich von den anderen Paradoxen unterscheidet. Gabriels Horn und Banach-Tarski sind überraschend, aber sie bleiben innerhalb der Mathematik. Gödel zeigt, dass die Mathematik nie vollständig innerhalb ihrer selbst bleiben kann. Seine Sätze sind der genaueste Ausdruck einer Grenze der Erkenntnis, den das Denken je über sich selbst bewiesen hat.

Warum das Gehirn hier scheitert

Warum erscheint uns so vieles als unmöglich, was bewiesen ist? Die biologische Erkenntnistheorie gibt eine einfache Antwort: Die Intuition ist eine Passung an die Welt, in der das menschliche Gehirn entstanden ist, und diese Welt war endlich, körnig und überschaubar.

Der Neurowissenschaftler Stanislas Dehaene hat gezeigt, dass Menschen und viele Tiere ein angeborenes Mengengefühl besitzen. Es unterscheidet kleine Mengen genau und größere ungefähr, und es schätzt eher in Verhältnissen als in Differenzen. Auf diesem Fundament baut die Kultur die Zahlen auf. Doch das Fundament kennt weder Paare von Paaren noch das Unendliche. Darum versagt es beim Geburtstagsparadoxon und bei Cantor.

Daniel Kahneman und Amos Tversky haben beschrieben, wie das schnelle, intuitive Denken – bei Kahneman „System 1“ – Wahrscheinlichkeiten systematisch falsch einschätzt. Es behandelt bedingte Wahrscheinlichkeiten so, als seien sie unbedingt, und es übersieht, welche Information in der Handlung eines anderen steckt. Darum versagt es beim Monty-Hall-Problem und beim Simpson-Paradoxon.

In der Sprache dieses Buches: Die Intuition ist der Akzeptor-Mechanismus des Denkens. Er wurde evolutionär an mittelgroßen Dingen, kurzen Zeiträumen und kleinen Gruppen geprüft, nicht an Unendlichkeiten, Punktmengen und bedingten Wahrscheinlichkeiten. Wo die Mathematik ihn überschreitet, empfindet er das als Unmöglichkeit.

Daraus folgt eine doppelte Lehre. Die Mathematik ist das Werkzeug, mit dem der Mensch über die Grenze seiner biologischen Ausstattung hinausgreift – die erste Gruppe der Paradoxe beweist das. Aber dieses Hinausgreifen hat seinen Preis: Wo die Mathematik keinen Widerstand mehr findet, an dem sie geprüft werden könnte, beschreibt sie möglicherweise nicht mehr die Wirklichkeit, sondern nur noch sich selbst. Dann wird die korrigierte Intuition durch einen neuen Wirklichkeitsersatz abgelöst – die Idealisierung, die für die Welt gehalten wird.

TI und Paradoxe

Die Technische Intelligenz hat keine Intuition im biologischen Sinn. Ihr fehlt das angeborene Mengengefühl, und sie hat sich nicht an mittelgroßen Dingen gebildet. Man könnte erwarten, dass Paradoxe für sie keine sind.

Das Gegenteil ist der Fall. Sprachmodelle haben aus menschlichen Texten gelernt, und mit den Texten haben sie auch die menschlichen Irrtümer gelernt. Verschiedene Untersuchungen haben gezeigt, dass solche Modelle bei leicht abgewandelten Fassungen des Monty-Hall-Problems – etwa wenn der Moderator die Tür zufällig öffnet und die Antwort sich dadurch ändert – oft die bekannte Lösung wiedergeben, obwohl sie nicht mehr passt. Die TI erkennt das Muster des Paradoxons, nicht seine Struktur.

Darin liegt ein Unterschied zum Menschen, der sich irrt. Wer beim Monty-Hall-Problem falsch rät und dann hundertmal spielt, merkt am Ergebnis, dass er sich geirrt hat. Er stößt auf Widerstand. Die TI stößt auf keinen Widerstand, sie spielt nicht. Ihre Antwort ist korrekt, wenn ihre Texte korrekt waren, und falsch, wenn ihre Texte falsch waren oder die Frage anders ist, als sie aussieht.

Formale Beweise kann die TI dagegen mit wachsender Sicherheit führen und prüfen, besonders in Verbindung mit Beweisassistenten wie Lean. Damit verstärkt sie genau die Stufe, auf der die zweite Gruppe der Paradoxe liegt: die Beweisbarkeit. Sie kann beweisen, dass Gabriels Horn ein endliches Volumen hat. Dass es Gabriels Horn nicht gibt, weiß sie nicht – es sei denn, jemand hat es aufgeschrieben.

Schluss: Das Unmögliche als Grenzmarke

Die mathematischen Paradoxe sind keine Kuriositäten, sondern Grenzmarken. Jedes zeigt eine Stelle, an der die biologische Ausstattung des Menschen endet und das Denken mit eigenen Mitteln weitergeht.

Wo das Denken dabei an der Wirklichkeit geprüft bleibt, wie beim Geburtstagsparadoxon, beim Monty-Hall-Problem und beim Simpson-Paradoxon, ist es ein Sieg der Erkenntnis über die Intuition. Wo es sich von der Wirklichkeit löst, wie bei Gabriels Horn und Banach-Tarski, ist es ein Spiel der Begriffe, korrekt und schön, aber kein Bild der Welt. Und wo es sich auf sich selbst richtet, wie bei Russell und Gödel, zeigt es seine eigene Grenze.

„Unmöglich, aber wahr“ ist daher eine ungenaue Formel. Genauer wäre: unvorstellbar, aber bewiesen – und dann jeweils zu fragen, ob es auch wirklich ist.

Quellen und Literatur

• Kosmos Geheimnisse: 8 unmögliche Dinge, die laut Mathematik tatsächlich wahr sind. YouTube, 2. Oktober 2026.
• Banach, S. / Tarski, A.: Sur la décomposition des ensembles de points en parties respectivement congruentes. Fundamenta Mathematicae 6 (1924), 244–277.
• Cantor, G.: Über eine elementare Frage der Mannigfaltigkeitslehre. Jahresbericht der DMV 1 (1891), 75–78.
• Charig, C. R. u. a.: Comparison of treatment of renal calculi by open surgery, percutaneous nephrolithotomy, and extracorporeal shockwave lithotripsy. British Medical Journal 292 (1986), 879–882.
• Cohen, P. J.: The independence of the continuum hypothesis. Proceedings of the National Academy of Sciences 50 (1963), 1143–1148.
• Dehaene, S.: The Number Sense. Oxford University Press, New York 1997.
• Gödel, K.: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis. Princeton 1940 (Ankündigung 1938).
• Kahneman, D.: Schnelles Denken, langsames Denken. Siedler, München 2012.
• Mandelbrot, B.: How long is the coast of Britain? Science 156 (1967), 636–638.
• Russell, B.: Brief an Frege vom 16. Juni 1902; Freges Antwort vom 22. Juni 1902.
• vos Savant, M.: Ask Marilyn. Parade, 9. September 1990.