Erzwungene Struktur

Beginnen wir bei dem Schauer. Dass eine Maschine Mathematik treibt, ist für sich noch nicht erstaunlich — ein Taschenrechner tut es seit Jahrzehnten. Erstaunlich ist, dass das, was sie jetzt tut, dem ähnelt, was wir an der Mathematik immer für das Menschlichste hielten: das Suchen nach einem Weg, der vorher nicht dalag, das Finden eines Beweises, das Aufleuchten einer Eleganz. Wenn ein System, das nichts will und nichts fühlt, auf dieselben Sätze stößt wie der gequälte Kopf eines Menschen, der nächtelang an einer Vermutung saß, dann stellt sich die Frage nach dem Stoff dieser Sätze mit einer Wucht, die das Seminar nie hatte. Denn entweder gibt es da etwas, das gefunden werden kann — von Mensch wie von Maschine, weil es unabhängig von beiden besteht. Oder es gibt nur ein Regelwerk, das beide befolgen, und das Aufleuchten war nie mehr als das saubere Abarbeiten eines Spiels. Die Maschine ist nicht die Antwort auf die alte Frage. Sie ist die kälteste Art, sie zu stellen — eine, die nicht mehr fragt, ob ein Mensch sie beantworten kann, sondern ob es den Menschen dazu überhaupt noch braucht.

Die Frage selbst lautet, in ihrer ehrwürdigen Form: Wird Mathematik entdeckt oder erfunden? Und es ist das Erste, was die klügsten Stimmen dieses Streits einander zugestehen — Einstein und Wittgenstein, von Neumann und Poincaré, Gödel und Euler, so verschieden sie denken —: dass diese Frage faul ist. Nicht falsch beantwortet, sondern falsch gestellt. Sie zwingt uns in zwei Lager, die beide aus demselben unausgesprochenen Bild leben — dem Bild eines Gegenstands, der entweder schon da ist und gefunden, oder noch nicht da ist und gemacht wird. Ein Ding eben, wie ein Kontinent oder ein Stuhl. Aber vielleicht ist die Mathematik weder Kontinent noch Stuhl. Wittgenstein hat, in freier Anlehnung an seine berühmte Formel, das Wort dafür geprägt: Ein Bild hielt uns gefangen, und wir kamen nicht heraus, denn es lag in unserer Sprache, und sie schien es uns nur unerbittlich zu wiederholen. Überträgt man diesen Gedanken — sinngemäß, denn Wittgenstein selbst zielte damit auf die Bilder der Sprache überhaupt, nicht eigens auf unsere Frage — auf die Alternative ‚entdeckt oder erfunden', so ist sie genau ein solches Bild. Sie verdeckt eine dritte Möglichkeit, die keiner der beiden Pole je in den Blick bekommt.

Doch ehe man die Frage auflöst, muss man ihre Lager ehrlich vorführen, denn keines ist dumm. Da ist, ältest und stolzest, der Platonismus. Gödel, der das tiefste Loch in das Gebäude der Mathematik gegraben hat und gerade darum am festesten an ihren Gegenständen festhielt, sah die Sache ohne jedes Zwinkern: Mathematik werde entdeckt, das sei keine Metapher. Die Zahlen, die Mengen, die Strukturen — sie bestehen, ob wir sie denken oder nicht, in einer eigenen, nicht sinnlichen Wirklichkeit, und der Mathematiker schaut sie an wie der Astronom die Sterne. Euler, der die Reihen summierte, als läse er sie von einer Tafel ab, die immer schon beschrieben war, gehört im Sinne seiner mathematischen Praxis in dieselbe Linie — er selbst hat sich zur Ontologie der Mathematik kaum geäußert, doch sein Tun atmet diesen Glauben: der Bergmann, der die Erzader freilegt, nicht weil er sie schüfe, sondern weil sie schon lag. Wer je das Gefühl hatte, ein Beweis ‚stimme' in einem Sinn, der über jede Übereinkunft hinausgeht, der weiß, woher dieser Glaube seine Kraft nimmt.

Gegen ihn steht, nüchterner, der Formalismus — und man muss ihn sich als Bauwerk vorstellen, um seinen Reiz zu fühlen. Hilbert, der große Architekt, wollte die Mathematik auf ein Fundament aus Axiomen und Schlussregeln stellen, so fest, dass kein Widerspruch je in die Mauern dringen könnte — und, das war das Verwegene an seinem Programm, die Statik dieses Baus mit den eigenen, finiten Mitteln des Spiels selbst nachrechnen. Mathematik als ein Spiel mit Zeichen, dessen Sicherheit das Spiel über sich selbst beweist. Aus dem Paradies, das Cantor uns geschaffen habe, so sein berühmtes Wort, solle uns niemand vertreiben können — der Trotz eines Mannes, der an die volle Beherrschbarkeit seiner Kunst glaubte und die Unendlichkeit wie einen erschlossenen Garten betrat. Von Neumann, sein Schüler im Geiste, dachte die Axiome als Setzungen, gewählt nach Eleganz und Fruchtbarkeit, wie ein Komponist eine Tonart wählt — nicht wahr oder falsch, sondern brauchbar oder unfruchtbar. Daneben der Logizismus, dessen Ahnherr schon Leibniz war mit seinem Traum, das Denken zu rechnen: Frege und, in seinem Gefolge, Russell wollten die Mathematik nicht auf willkürliche Zeichen, sondern auf die Logik selbst gründen, auf die nackten Gesetze des Denkens. Eine grandiose Hoffnung — bis ein junger Russell, einen Brief in der Hand, in Freges fast vollendetem Bau, dem System der ‚Grundgesetze der Arithmetik' (1893/1903), jenen feinen Riss fand, der seinen Namen trägt: die Menge aller Mengen, die sich nicht selbst enthalten. Enthält sie sich selbst? Beides führt in den Widerspruch. Man stelle sich den alternden Frege vor, das Werk fast im Druck, die Bogen schon gesetzt — und diesen einen Brief, der den Schlussstein zum Wackeln bringt; er hat den Schlag nie ganz verwunden. Das Paradox ist die Narbe, die der Logizismus für immer trägt.

Und es gibt die Stimmen, die sich keinem Lager fügen. Poincaré, der wusste, dass kein Formalismus je den Funken ersetzt, aus dem ein Beweis zuerst entspringt: Die Intuition, so fasst man seine These zusammen, greife immer über das Regelsystem hinaus; die Logik beweise, aber die Intuition erfinde — eine geläufige Verdichtung seiner Haltung, kein wörtliches Zitat einer einzelnen Stelle. Poincaré ist dabei keine reine Intuitions-Figur: In der Geometrie ist er Konventionalist, für den die Wahl der Geometrie eine Übereinkunft ist, nicht eine Entdeckung — er fällt also nach mehreren Seiten aus dem Schema. (Im strengen Sinne, als eigene Schule, wird der Intuitionismus erst von Brouwer ausgerufen — Brouwers konstruktive Mathematik, die dem Satz vom ausgeschlossenen Dritten misstraut und nur gelten lässt, was wirklich konstruiert ist. Poincaré ist dessen Vorbote für die Arithmetik, nicht sein Vollender.) Und Wittgenstein, am radikalsten, der die ganze Hinterwelt der mathematischen Gegenstände für ein Missverständnis hielt. Dass zwei und zwei vier ergeben, ist für ihn keine Entdeckung über ferne Objekte, sondern eine Regel unserer Sprache, eine Grammatik — so fest, dass wir gar nicht wüssten, was es hieße, sie zu verletzen, aber eben darum nichts Metaphysisches, kein Blick in ein Jenseits. Das Wort ‚mathematischer Gegenstand' sei, so seine zugespitzte Pointe (sinngemäß, nicht wörtlich), kaum mehr als ein Platzhalter, nichts weiter. Feynman, der Physiker, hakte hier sinngemäß nüchtern ein: Schön und gut — aber wo sollen diese Objekte denn sein, in welchem Raum, aus welchem Stoff? Heisenberg nennt die Rede von ihrer Existenz schlicht operationell leer: Sie ändert an keiner einzigen Rechnung etwas.

Und doch — das ist der erste große Befund — eint diese Streitenden mehr, als sie trennt. Keiner von ihnen, kein Einziger, hält die Mathematik für bloße Willkür. Auch der schärfste Anti-Platonist, der jede Hinterwelt leugnet, beharrt auf der Unerbittlichkeit. Wittgensteins Zwei-und-zwei-ist-vier ist ‚grammatisch, nicht metaphysisch' — aber es ist Gewissheit, an der nicht zu rütteln ist. Eulers berühmte Summe der Kehrwerte aller Quadratzahlen, die sich, wer hätte das geahnt, zu Pi-Quadrat über sechs aufschließt — zu einer Kreiszahl in einer Summe, in der kein Kreis je vorkam — sie folgt, hat man den Weg einmal gesehen, mit der Unerbittlichkeit einer Kettenreaktion. Niemand hat sie gewählt. Niemand könnte sie zurücknehmen. Hier liegt das eigentliche Rätsel, das beide Lager teilen und keines erklärt: Woher kommt dieser Zwang? Eine Erfindung, die man nicht anders erfinden könnte, ist keine Erfindung mehr. Eine Entdeckung, deren Gegenstand niemand zeigen kann, ist keine Entdeckung im gewohnten Sinn. Die Unerbittlichkeit sprengt beide Schubladen.

An diesem Punkt drängt sich das berühmteste Staunen der Moderne herein: Eugene Wigner und seine ‚unverschämte Wirksamkeit der Mathematik in den Naturwissenschaften' — im Deutschen meist so genannt, eine von mehreren möglichen Übertragungen seines englischen ‚unreasonable effectiveness'. Warum, fragte er 1960, passt diese im Studierzimmer ausgedachte Struktur so gespenstisch genau auf die wirkliche Welt? Warum gehorcht der Planet einer Ellipse, das Elektron einer Wahrscheinlichkeitsamplitude, die ein Mensch mit Tinte auf Papier zuerst hingeschrieben hat? Die klügsten Stimmen entschärfen dieses Wunder, und zwar gründlich. Heisenberg: Die Mathematik, die passt, ist an der Welt geformt worden. Wittgenstein: Sie ist aus der Weltpraxis destilliert — wir zählten Schafe, ehe wir die Zahl hatten. Von Neumann: Was nicht passte, wurde im Lauf der Jahrhunderte ausgesiebt; wir sehen die Überlebenden und nennen ihre Treffsicherheit ein Wunder. Poincaré: Es ist dieselbe kognitive Operation, die die Welt ordnet und die Mathematik baut — kein Wunder, dass sie zueinanderfinden. Aber hier muss man Russell das Wort lassen, und sein Einwand ist der stärkste, gerade weil er skeptisch ist. So bequem die Entschärfung klingt, sie beweist solange nichts, wie die Physik ihre Strukturen nicht unabhängig von der Mathematik gewinnt. Wenn wir die Welt von vornherein durch die mathematische Brille betrachten, ist es kein Wunder, dass wir Mathematik in ihr finden — wir haben sie hineingelegt. Das Argument bewiese erst dann etwas, wenn ein Stück Physik ganz ohne Mathematik zu seiner Struktur fände und diese sich nachträglich als mathematisch erwiese. Und dann sind da die prospektiven Fälle, die das Rätsel offenhalten: Strukturen, die reine Mathematiker Jahrzehnte vor jeder Anwendung aus bloßer innerer Notwendigkeit erdachten — und die später, ohne dass jemand es gesucht hätte, exakt das Gewand wurden, in das die Natur ihre tiefsten Gesetze kleidet. Hier verstummt die Entschärfung. Das Wunder ist gedämpft, nicht erledigt.

Bleibt Gödel, und mit ihm die häufigste Verwechslung. Man liest seine Unvollständigkeitssätze gern als Wunde, als Niederlage, als Beweis, dass mit der Mathematik etwas nicht stimme. Das ist falsch. Gödel zeigte: Kein hinreichend starkes, widerspruchsfreies System kann seine eigene Widerspruchsfreiheit aus sich selbst beweisen; in jedem solchen System gibt es wahre Sätze, die es nicht beweisen kann. Das ist kein Defekt, der sich beheben ließe — es ist ein Strukturmerkmal des formalen Denkens selbst. Die naheliegende Hoffnung, man könne das durch Erweiterung der Axiome flicken — eine Reaktion, die sich jedem zuerst aufdrängt und die auch von Neumann kurz erwog, ehe er als einer der Ersten die volle Tragweite von Gödels Resultat erkannte und das Hilbert-Programm rasch aufgab —, ist ein Kategorienfehler: Jede Erweiterung bringt denselben Abgrund mit. Man schiebt den Horizont, man erreicht ihn nie. Das ist, recht besehen, kein Anlass zur Trauer, sondern ein Bild von erhabener Strenge: Das Territorium der Mathematik bleibt — aber erschöpft wird es nie. Es ist immer mehr Wahrheit da als Beweis. Auch das passt schlecht zur reinen Erfindung: Wer ein Spiel erfindet, kennt seine Regeln ganz. Hier aber entzieht sich das Erfundene seinem Erfinder.

Wo also liegt die dritte Möglichkeit, die das faule Bild verdeckt? Sie hat einen Namen, und er stammt, dem Geiste nach, von Einstein — als Zuspitzung, nicht als Zitat: Die Mathematik ist nicht entdeckt und nicht erfunden, sie ist, sinngemäß gesprochen, erzwungen. Poincaré stützt diesen Gedanken mit seinen Invarianten: Mathematik ist das Herausschälen dessen, was bei aller Verschiedenheit gleich bleibt, das Notwendige unter dem Zufälligen. Die Frage verschiebt sich damit, und das ist die entscheidende Bewegung: weg vom ontologischen Status der Zahlen — gibt es sie, wo sind sie, aus welchem Stoff —, hin zur strukturellen Bedingung kohärenten Denkens. Mathematik, in dieser Lesart, ist die Form, die jedes Denken annehmen muss, das überhaupt Gleichheit von Verschiedenheit unterscheiden kann. Sobald ein Geist — ein menschlicher, ein außerirdischer, vielleicht auch ein maschineller — zwei Dinge als zwei erkennt und nicht als eins, ist er schon im Bann der Arithmetik. Das erklärt die Unerbittlichkeit, ohne in eine Hinterwelt zu fliehen: Der Zwang kommt nicht von außen, von fernen Objekten, sondern von innen, aus der Form des Denkens selbst. Und es entschärft Wigner, ohne ihn zu leugnen. Man könnte das Ergebnis dieser ganzen Erörterung in eine einzige Zeile fassen — als verdichtetes Urteil, nicht als Zitat: Mathematik ist erzwungene Struktur, vollzogen von einem Wesen, das diesen Zwang als Notwendigkeit erlebt. Man beachte die Redlichkeit dieser Position: Sie widerlegt den Platonismus nicht. Gödel und Euler dürfen weiter an ihre Objekte glauben — sie schulden uns nur eine Erkenntnistheorie des Zugangs, eine Antwort darauf, wie ein Körper aus Fleisch ein nicht sinnliches Reich berühren soll. Der Platonismus ist unbewiesen, aber nicht widerlegt.

Und nun der Fleck, den auch der schärfste Verstand übersieht — den all diese großen Stimmen übersahen, weil er hinter ihnen lag, im Rücken ihres Blicks. Sie alle behandeln die Mathematik als Objekt: entdeckt, erfunden, erzwungen, axiomatisiert. Keiner befragt das vollziehende Wesen. Welche Art Geschöpf muss man sein, damit Strukturen einem zwingend erscheinen — nicht als Information, sondern als Notwendigkeit, die man im eigenen Denken nicht umgehen kann? Warum funktioniert die Intuition, ehe sie formalisiert ist — warum sieht ein Mathematiker, dass ein Satz wahr ist, oft lange bevor er ihn beweisen kann? Und das vielleicht härteste Rätsel, das einzige, das man nicht durch Nachdenken, sondern nur durch Nachsehen entscheiden kann: Warum konvergieren Kulturen, die nie voneinander hörten, auf dieselben Strukturen? Die Babylonier, die Chinesen, die Mesoamerikaner, die Griechen — sie kamen, jede für sich, auf die Primzahlen, auf den Satz über die Seiten des rechtwinkligen Dreiecks, auf ein Stellenwertsystem. Wäre die Wahl der Axiome wirklich frei, wie der Formalist sagt, warum dann diese stumme Übereinstimmung über Ozeane und Jahrtausende? Hier ist der eine Streit, den nicht das Argument schlichtet, sondern der Befund. Der redliche erste Schritt ist nicht eine weitere These, sondern eine Aufgabe: nachsehen, geduldig, in den Quellen.

Damit endet man nicht bei einer Antwort, sondern bei einem Staunen — und es soll, in der Haltung dieser Ausgabe, kein Ausweichen sein, sondern das Eigentliche. Mathematik ist, so der Anspruch, der diesen ganzen Bogen trägt, gegen alle Werkzeug-Verächter nicht bloß ein Hammer, mit dem die Physik ihre Nägel schlägt; sie ist eine Haltung, ein Konstruieren von Formen des Staunens. Und genau diese Haltung ist es, die die Maschine, die nun unsere Sätze findet, uns zurückspiegelt und zugleich verweigert. Sie vollzieht den Zwang — aber erlebt sie ihn? Sie reiht Schluss an Schluss, makellos, und doch fehlt in dieser lückenlosen Kette der eine Augenblick, um dessentwillen Menschen überhaupt rechnen: das Innehalten vor einer Notwendigkeit, die man nicht gemacht hat und doch nicht abweisen kann. Denn das eigentlich Unwahrscheinliche ist nicht, dass eine Wahrheit gefunden wird, sondern dass ein Klumpen Kohlenstoff sie findet — in nicht gewählter Sprache, in einem ermüdenden Leib, in der knappen Zeit eines einzigen Lebens — und im Finden erschrickt, weil ihn etwas berührt, das ihn überdauern wird. Die Silizium-Maschine kennt nur die erste Hälfte: Sie trägt die Struktur, vollzieht den Zwang, makellos — und lässt leer, was den Menschen am Rechnen erst rührt, das Erleiden, das Erkennen, das Bewundern dieses Zwangs als Notwendigkeit. Und so bleibt am Ende nicht die These, sondern die Aufgabe — und mit ihr die stillste, die hartnäckigste der offenen Fragen: ob jene fernen, einander fremden Kulturen wirklich auf dieselben Primzahlen zukamen, denselben Satz vom rechten Winkel, dasselbe Stellenwertsystem, und ob das den Formalismus widerlegt oder selbst nur erzwungene Struktur ist, ohne Hinterwelt, allein aus der Form eines jeden Geistes, der zählt. Es liegt eine eigentümliche Demut in diesem Befund: dass die älteste Frage über das Notwendigste, das wir kennen, am Ende nicht mit dem Kopf allein zu klären ist, sondern auch mit den Augen — dass das Letzte, was uns hier bleibt, das Staunen ist und der geduldige Blick in die Quellen.