Kurt Gödel: Die Grenzen der Logik und der Unvollständigkeitssatz

Jackson: Sag mal Miles, hast du eigentlich auch dieses Bild im Kopf, dass Mathematik so eine Art perfekte, unantastbare Festung ist? So nach dem Motto: Wenn man nur die richtigen Grundregeln hat, lässt sich jedes Rätsel der Welt zweifelsfrei lösen? Ich dachte immer, das sei das ultimative Versprechen dieser Disziplin.

Miles: Oh ja, absolut. Das war lange Zeit der heilige Gral. Man dachte, man baut ein Fundament aus ein paar logischen Annahmen – diese Axiome, weißt du – und darauf zimmert man dann das gesamte Gebäude der Wahrheit hoch. Aber genau da kam Kurt Gödel ins Spiel. Heute vor 120 Jahren wurde er geboren, ein Typ, den seine Eltern schon als Kind „Herr Warum“ nannten, weil er nie locker gelassen hat. Und dieser Gödel hat 1931 etwas getan, was man sich kaum vorstellen kann: Er hat mathematisch bewiesen, dass formale Systeme der Mathematik unvollständig sein können.

Jackson: Moment, wie meinst du das, „nicht fertig“? Er hat bewiesen, dass es Dinge gibt, die wir einfach nicht wissen können?

Miles: Nicht ganz. Er hat bewiesen, dass es in jedem konsistenten System, das stark genug ist, um normales Rechnen mit Zahlen zu beschreiben, Aussagen gibt, die zwar wahr sind, die du aber innerhalb dieses Systems niemals beweisen kannst. Das ist so, als hättest du ein perfektes Wörterbuch, in dem aber ein paar Wörter fehlen, die du brauchst, um die Welt zu erklären – und du kannst diese Wörter auch nicht mit den vorhandenen definieren. Das hat den Traum vom „Hilbert-Programm“ – also dem Plan, die ganze Mathematik in einen fehlerfreien, vollständigen Automaten zu verwandeln – quasi im Alleingang beerdigt.

Jackson: Das klingt ja fast schon gruselig. Also gibt es eine Grenze für unseren Verstand, die direkt in der Logik selbst eingebaut ist?

Miles: Genau das ist der Punkt. Und das Verrückte ist: Er hat das nicht durch irgendein vages Philosophieren gemacht, sondern mit den knallharten Werkzeugen der Mathematik selbst. Er hat das System quasi von innen heraus gesprengt. Wenn wir uns das heute anschauen – wir schreiben den 10. Mai 2026 – dann wirken seine Unvollständigkeitssätze immer noch nach, als wäre die Tinte gerade erst getrocknet. Es ist die Erkenntnis, dass Wahrheit und Beweisbarkeit zwei völlig verschiedene Paar Schuhe sind. Wir schauen uns heute mal an, wie er diesen logischen Zaubertrick eigentlich abgezogen hat.

Jackson: Bevor wir zu Gödels „Zaubertrick“ kommen, müssen wir glaube ich verstehen, warum man überhaupt so versessen darauf war, alles lückenlos zu beweisen. Du erwähntest David Hilbert. Was war denn sein Plan?

Miles: Du musst dir die Zeit um die Jahrhundertwende vorstellen. Die Mathematik steckte in einer tiefen Krise. Man hatte plötzlich Dinge entdeckt, die gar nicht ins klassische Bild passten – zum Beispiel nicht-euklidische Geometrien, wo Parallelen sich plötzlich doch verhalten, wie sie wollen, oder Mengenlehre-Rätsel, die in totale Widersprüche führten. Das war wie ein Erdbeben für die Wissenschaft, die eigentlich die sicherste von allen sein wollte.

Jackson: Also wollte Hilbert im Grunde nur die Statik des Gebäudes prüfen und sicherstellen, dass nichts zusammenbricht?

Miles: Exakt. Sein Programm hatte ein klares Ziel: Er wollte die gesamte Mathematik auf ein absolut solides Fundament aus Axiomen stellen. Ein Axiom ist ja so was wie eine Grundannahme, die so einleuchtend ist, dass man sie nicht weiter hinterfragen muss – zum Beispiel, dass es eine leere Menge gibt. Hilbert träumte davon, zu beweisen, dass dieses Fundament erstens widerspruchsfrei ist – also dass man nie gleichzeitig beweisen kann, dass etwas wahr und falsch ist – und zweitens vollständig.

Jackson: Vollständig hieße dann, dass ich für jede Behauptung, die ich in dieser Sprache aufschreibe, am Ende sagen kann: „Ja, das stimmt“ oder „Nein, das ist falsch“.

Miles: Ganz genau. Ein mechanischer Prozess, fast wie ein Algorithmus. Man füttert eine Maschine mit den Axiomen und einer Frage, und nach ein paar Rechenschritten spuckt sie die Antwort aus. Das heute gängige System dafür nennt sich ZFC – die Zermelo-Fraenkel-Mengenlehre mit dem Auswahlaxiom. Das sind zehn Grundannahmen, aus denen man fast alles herleiten kann, was wir heute in der Schule oder Uni rechnen.

Jackson: Und Gödel war dann derjenige, der sagte: „Leute, eure Maschine wird immer Lücken haben“?

Miles: Ja, aber das Interessante ist, dass er eigentlich gar nicht gegen Hilbert arbeiten wollte. Er war ja selbst ein rationalistischer Optimist und dachte, alles sei der Vernunft zugänglich. Aber als er anfing, die Logik wirklich präzise zu untersuchen, stolperte er über diese fundamentale Mauer. Er zeigte in seinem ersten Unvollständigkeitssatz, dass jedes System, das auch nur ein bisschen Arithmetik – also Plus und Mal mit natürlichen Zahlen – beherrscht, zwangsläufig unvollständig bleibt. Es gibt immer wahre Sätze über Zahlen, die man mit den Regeln des Systems nicht erreichen kann. Das ist, als würdest du eine Leiter bauen, um den Himmel zu erreichen, aber egal wie viele Sprossen du hinzufügst, es fehlen immer die letzten Zentimeter.

Jackson: Okay, Miles, jetzt wird’s ernst. Wie macht man das? Wie beweist man innerhalb der Mathematik etwas über die Mathematik selbst? Das klingt für mich nach einem Hund, der versucht, sich in den eigenen Schwanz zu beißen.

Miles: Das ist ein super Bild! Und Gödel hat genau das geschafft, indem er eine völlig neue Sprache erfunden hat: die Gödel-Nummerierung oder Arithmetisierung. Stell dir vor, du könntest jedes Symbol, jede Formel und sogar ganze Beweise in eine einzige, riesige natürliche Zahl verwandeln. So ähnlich wie ein Computer heute Bilder oder Texte in Binärcode – also Nullen und Einsen – übersetzt.

Jackson: Also bekommt das „Plus“-Zeichen eine Nummer, das „Gleich“-Zeichen eine andere und so weiter?

Miles: Genau. Er hat zum Beispiel den logischen Operationen wie „NICHT“ oder „ODER“ die Zahlen 1 bis 12 zugewiesen. Variablen bekamen Primzahlen größer als 12. Wenn du jetzt eine Aussage hast wie „0 = 0“, dann nimmst du die Nummern der Symbole und verknüpfst sie zu einer eindeutigen Code-Zahl. Er hat dafür Primfaktorzerlegung benutzt. Jede Formel wird so zu einer Zahl, die man wieder exakt in die Formel zurückübersetzen kann.

Jackson: Aber warum der Aufwand? Was bringt es mir, wenn mein mathematischer Satz plötzlich eine Trillion ist?

Miles: Das ist der Geniestreich. Weil die Mathematik jetzt über Zahlen spricht, und diese Zahlen gleichzeitig Symbole für mathematische Sätze sind, kann die Mathematik plötzlich über sich selbst sprechen! Ein Beweis ist in diesem System nichts anderes als eine lange Kette von Zahlen, die bestimmten Rechenregeln folgen. Zu prüfen, ob ein Beweis korrekt ist, wird zu einer rein arithmetischen Aufgabe. Man rechnet einfach nach, ob die „Beweis-Zahl“ zur „Satz-Zahl“ passt.

Jackson: Ich fange an zu verstehen. Er hat die Logik in den Hinterhof der Arithmetik gelockt, wo er sie mit ihren eigenen Waffen schlagen konnte.

Miles: Absolut. Er hat eine Formel konstruiert, nennen wir sie „Beweisbar(x, y)“. Die besagt einfach nur: Die Zahl x ist der Gödel-Code für einen Beweis des Satzes mit der Nummer y. Damit konnte er Konzepte wie „Beweisbarkeit“ direkt in die Welt der Zahlen integrieren. Es war kein vages Gerede mehr über Logik, sondern es war eine harte, berechenbare Relation zwischen Zahlen. Und genau diese Brücke zwischen der Bedeutung eines Satzes und seiner bloßen Nummer ermöglichte es ihm, eine Falle aufzustellen, aus der es kein Entkommen gab.

Jackson: Also, wir haben jetzt diese Gödel-Nummern. Wir können Sätze als Zahlen schreiben. Wie hat Gödel das jetzt genutzt, um diese „Lücke“ im System zu finden?

Miles: Er hat ein logisches Spiegelkabinett gebaut. Mit Hilfe von etwas, das man „Diagonallemma“ nennt, hat er einen ganz speziellen Satz konstruiert. Nennen wir ihn den G-Satz. Dieser Satz sagt – übersetzt in unsere Sprache – eigentlich nur eines: „Dieser Satz mit der Nummer G ist in diesem System nicht beweisbar.“

Jackson: Warte mal, das ist doch wie das berühmte Paradoxon vom Lügner, der sagt: „Ich lüge gerade.“ Wenn er lügt, sagt er die Wahrheit, und wenn er die Wahrheit sagt, lügt er.

Miles: Ganz genau daran ist es angelehnt. Aber Gödel hat es geschickter gemacht. Er spricht nicht von „Wahrheit“, sondern von „Beweisbarkeit“. Lass uns das mal durchspielen: Nehmen wir an, dieser Satz G wäre beweisbar. Wenn er beweisbar ist, dann muss das stimmen, was er sagt. Aber er sagt ja gerade: „Ich bin nicht beweisbar.“ Das wäre ein krasser Widerspruch!

Jackson: Okay, also kann er nicht beweisbar sein, wenn das System widerspruchsfrei bleiben soll. Aber wenn er nicht beweisbar ist, dann ist doch genau das wahr, was er behauptet!

Miles: Und da schnappt die Falle zu! Du hast gerade eben einen Satz gefunden, von dem du weißt, dass er wahr ist – eben weil er nicht beweisbar ist –, aber das System selbst kann ihn mit seinen eigenen Regeln niemals beweisen. Das System ist also unvollständig. Es gibt eine Wahrheit, die draußen vor der Tür steht und die das System nicht reinlassen kann, ohne zu explodieren.

Jackson: Das ist ja fast schon unheimlich. Wir sehen von außen, dass es stimmt, aber die Mathematik im Inneren ist blind dafür.

Miles: Ja, und das gilt nicht nur für ein spezielles System, sondern für jedes System, das komplex genug ist, um Arithmetik zu betreiben. Man kann dieses Problem auch nicht lösen, indem man den G-Satz einfach als neues Axiom oben drauf packt. Denn in dem Moment, wo du das tust, entsteht sofort ein neuer Gödel-Satz für dieses erweiterte System, der wieder sagt: „Ich bin in diesem neuen System nicht beweisbar.“ Es ist wie ein Wettlauf, den man nie gewinnen kann. Jedes Mal, wenn du eine Lücke schließt, reißt an einer anderen Stelle eine neue auf.

Jackson: Miles, du meintest vorhin, Gödel hätte auch noch einen zweiten Satz nachgelegt. Als wäre der erste nicht schon deprimierend genug für die Mathematiker damals. Worum ging es da?

Miles: Der zweite Unvollständigkeitssatz ist eigentlich der finale Todesstoß für Hilberts Traum. Er besagt, dass ein hinreichend starkes konsistentes System niemals seine eigene Widerspruchsfreiheit beweisen kann. Das heißt, wenn du ein mathematisches System hast, kannst du innerhalb dieses Systems nicht sicherstellen, dass du nicht irgendwann bei „1 = 2“ landest.

Jackson: Aber wir gehen doch davon aus, dass unsere Mathe funktioniert! Kann man das nicht irgendwie von außen beweisen?

Miles: Doch, das geht schon. Man kann die Widerspruchsfreiheit eines Systems in einem noch stärkeren, umfassenderen System beweisen. Zum Beispiel kann die Mengenlehre die Widerspruchsfreiheit der Arithmetik beweisen. Aber – und das ist der Haken – dann musst du dich wiederum fragen: Ist denn dieses stärkere System widerspruchsfrei? Um das zu beweisen, brauchst du ein noch mächtigeres System. Du landest in einem unendlichen Regress.

Jackson: Das ist ja, als würde man versuchen, sich an den eigenen Haaren aus dem Sumpf zu ziehen. Es funktioniert einfach nicht, ohne einen festen Punkt außerhalb zu haben.

Miles: Genau das ist das Problem. Hilbert wollte ja gerade beweisen, dass die Mathematik ein geschlossener, perfekt gesicherter Kreis ist. Gödel hat gezeigt: Der Kreis ist entweder offen – also unvollständig – oder er bricht in sich zusammen, wenn er versucht, sich selbst zu beweisen. Das hat weitreichende Konsequenzen. Es bedeutet zum Beispiel auch, dass wir nie einen Algorithmus haben werden, der uns alle wahren arithmetischen Aussagen aufzählt.

Jackson: Hat das eigentlich auch Auswirkungen auf die reale Welt? Ich meine, wir verlassen uns ja auf Mathe in der Statik, in der Kryptographie, überall. Müssen wir jetzt Angst haben, dass Brücken einstürzen, weil die Arithmetik vielleicht doch einen Fehler hat?

Miles: Nein, keine Sorge. In der Praxis nutzen wir Systeme, die sich seit Jahrhunderten bewährt haben. Gödels Sätze sagen ja nicht, dass die Mathematik falsch ist, sondern nur, dass ihre Rechtfertigung eine Grenze hat. Es ist eher eine philosophische und logische Grenze. Es erinnert uns daran, dass es einen Unterschied gibt zwischen dem, was wahr ist, und dem, was wir innerhalb eines festen Regelwerks formal herleiten können. Es gibt sogar konkrete mathematische Probleme, wie die Kontinuumshypothese, von denen wir heute wissen, dass sie mit unseren Standard-Axiomen weder bewiesen noch widerlegt werden können. Wir wissen buchstäblich, dass wir es nicht wissen können.

Jackson: Wenn wir jetzt mal einen Schritt zurücktreten – was macht das eigentlich mit unserem Selbstbild? Wenn Gödel bewiesen hat, dass formale Systeme Grenzen haben, wir aber von außen sehen können, dass diese Sätze wahr sind... heißt das dann nicht, dass wir klüger sind als jede Maschine?

Miles: Das ist eine der spannendsten Debatten, die Gödel angestoßen hat. Er selbst hat das 1951 in einem Vortrag mal so formuliert: Entweder übersteigt der menschliche Geist jede endliche Maschine unendlich weit, oder es gibt mathematische Fragen, die für uns absolut unlösbar sind. Wenn wir den Gödel-Satz als wahr erkennen können, obwohl keine Maschine ihn beweisen kann, dann muss in unserem Denken ja irgendwas passieren, was über reines logisches Rechnen hinausgeht.

Jackson: Also sind wir keine bloßen Bio-Computer?

Miles: Das ist die große Frage. Manche Philosophen wie John Lucas oder der Physiker Roger Penrose haben genau das argumentiert. Sie sagen, Gödels Satz ist der Beweis dafür, dass menschliches Bewusstsein nicht rein algorithmisch sein kann. Wir haben diese Intuition für Wahrheit, die sich nicht in starre Regeln pressen lässt. Andere sind da vorsichtiger und sagen: Na ja, vielleicht sind wir auch nur Maschinen, aber so komplexe, dass wir unsere eigene Widerspruchsfreiheit auch nicht beweisen können – genau wie Gödel es vorhergesagt hat.

Jackson: Das würde dann bedeuten, dass wir uns selbst nie ganz verstehen können, weil wir eben Teil des Systems sind.

Miles: Exakt. Es ist diese fundamentale Selbstreferenz. Gödel war übrigens auch ein großer Fan von Platon. Er glaubte, dass mathematische Objekte wie Zahlen wirklich existieren – nicht in unserer Welt, aber in einer Art Ideenhimmel. Für ihn war sein Satz kein Grund zur Verzweiflung, sondern ein Beweis dafür, dass unsere Vernunft Zugang zu einer Realität hat, die über bloße Formeln hinausgeht. Er war ein „rationalistischer Optimist“, wie er sich selbst nannte. Er dachte, wir können alles verstehen, aber wir müssen eben akzeptieren, dass wir dafür immer wieder über unsere alten Grenzen hinauswachsen müssen.

Jackson: Spannend ist ja auch, dass er sogar vor der Verfassung nicht Halt gemacht hat. Ich hab gelesen, er hat bei seiner Einbürgerung in den USA behauptet, er hätte eine logische Lücke in der Verfassung gefunden, die eine Diktatur ermöglichen würde.

Miles: Ja, das passt perfekt zu ihm! Er hat überall nach diesen logischen Schwachstellen gesucht. Leider hat er nie genau aufgeschrieben, was diese Lücke in der Verfassung war. Aber es zeigt seinen Geist: Er hat Systeme bis an ihre absoluten Grenzen getestet. Ob es nun die Arithmetik war, die Zeit in Einsteins Relativitätstheorie oder eben juristische Texte. Er wollte immer wissen, was das Fundament wirklich trägt und wo es brüchig wird.

Jackson: Wir haben jetzt viel über die Theorie geredet, Miles. Aber gibt es eigentlich auch „normale“ mathematische Probleme, die man nicht lösen kann? Also nicht nur diesen künstlichen Gödel-Satz, der von sich selbst spricht, sondern richtige Rätsel?

Miles: Definitiv. Lange dachten die Leute, Gödels Entdeckung sei nur so eine akademische Kuriosität ohne praktische Folgen. Aber das stimmt nicht. Ein berühmtes Beispiel ist die Kontinuumshypothese. Da geht es um die Frage, ob es zwischen der Unendlichkeit der natürlichen Zahlen und der größeren Unendlichkeit der reellen Zahlen noch eine andere Stufe von Unendlichkeit gibt. Heute wissen wir: Mit unseren Standard-Axiomen der Mengenlehre lässt sich das weder beweisen noch widerlegen. Es ist eine Sackgasse.

Jackson: Das heißt, wir könnten uns aussuchen, ob es diese Unendlichkeit gibt oder nicht?

Miles: Im Grunde ja. Man kann Axiome hinzufügen, die sie bejahen, oder welche, die sie verneinen. Die Frage ist auf Grundlage der Standard-Axiome unentscheidbar. Aber es gibt noch anschaulichere Beispiele. Kennst du den Satz von Goodstein? Da geht es um eine bestimmte Zahlenfolge, die unglaublich schnell wächst, aber theoretisch irgendwann bei Null landen müsste. 1982 wurde bewiesen, dass man diesen Satz in der normalen Peano-Arithmetik – also der Standard-Zahlenlehre – nicht beweisen kann, obwohl er wahr ist.

Jackson: Wahnsinn. Also selbst bei solchen Folgen, die man fast schon „anfassen“ kann, stoßen wir auf Gödels Mauer.

Miles: Genau. Oder nimm den Satz von Ramsey aus der Kombinatorik. Da gibt es Varianten, die in der normalen Arithmetik unbeweisbar sind, aber in der Mengenlehre schon. Das zeigt uns: Wenn wir ein Problem nicht lösen können, liegt es manchmal nicht daran, dass wir nicht schlau genug sind, sondern dass unser Werkzeugkasten – also unsere Axiome – einfach nicht die nötigen Instrumente enthält.

Jackson: Das nimmt irgendwie den Druck raus, oder? Dass manche Dinge einfach unentscheidbar sind, gehört zum Wesen der Logik.

Miles: Ja, es macht die Mathematik irgendwie... menschlicher. Sie ist kein toter Apparat, der schon fertig im Schrank liegt. Sie ist ein wachsendes, offenes System. Sogar in der Physik, bei der Analyse von Atomen in der Festkörperphysik, sind schon Fragen aufgetaucht, die sich als logisch unentscheidbar herausgestellt haben. Gödels Erbe ist also überall. Er hat uns gezeigt, dass wir nie aufhören können, neue Annahmen zu treffen und unser Fundament zu erweitern. Es gibt kein finales Ende des Wissens.

Jackson: Wenn wir uns das jetzt alles so anschauen, Miles – was können wir denn konkret für unser Denken mitnehmen? Ich meine, wir sind keine Mathematiker, aber diese Idee der Unvollständigkeit muss doch auch für unseren Alltag was bedeuten.

Miles: Ich glaube, die wichtigste Lektion ist eine gewisse intellektuelle Bescheidenheit. Gödels Sätze zeigen uns, dass kein hinreichend starkes, widerspruchsfreies formales System, so perfekt es auch scheint, alles erklären kann. Wenn du versuchst, dein Leben oder deine moralischen Überzeugungen in ein absolut starres, widerspruchsfreies Korsett zu pressen, wirst du zwangsläufig an Punkte kommen, die du innerhalb dieses Systems nicht mehr begründen kannst.

Jackson: Also ist es gar nicht schlimm, wenn man mal an seine Grenzen stößt oder Dinge nicht logisch „beweisen“ kann?

Miles: Ganz im Gegenteil. Es ist sogar notwendig. Gödel hat uns gezeigt, dass Wahrheit größer ist als Beweisbarkeit. Manchmal müssen wir einen Schritt aus unserem gewohnten Denksystem herausmachen, um zu sehen, was wirklich wahr ist. Das erfordert Intuition und den Mut, neue Axiome – also neue Grundannahmen – für unser Leben zu finden.

Jackson: Das erinnert mich an das, was du über Gödels Optimismus gesagt hast. Dass die Grenzen der Systeme nicht die Grenzen unseres Geistes sein müssen.

Miles: Exakt. Man kann das als Einladung sehen. Wenn ein System unvollständig ist, bedeutet das ja auch, dass es Raum für Neues gibt. Wir sind nicht in einem fertigen Universum gefangen, in dem schon jede Antwort feststeht. Wir sind diejenigen, die das System erweitern können. Gödel hat die Mathematik von der Vorstellung befreit, eine bloße Rechenmaschine zu sein. Er hat ihr ihre Tiefe und ihr Geheimnis zurückgegeben.

Jackson: Ein schöner Gedanke. Dass die Lücken im System eigentlich die Fenster sind, durch die wir auf neue Wahrheiten blicken können.

Miles: Ein sehr schönes Bild. Unterm Strich heißt das: Vertrau deiner Logik, aber sei dir bewusst, dass sie nicht das Ende der Fahnenstange ist. Es wird immer diesen „Gödelsatz“ in unserem Leben geben – diese eine Wahrheit, die wir spüren, aber nicht schwarz auf weiß beweisen können. Und das ist völlig okay. Es ist sogar das, was uns als denkende Wesen ausmacht.

Jackson: So, Miles, wir sind am Ende unserer Reise durch Gödels logisches Labyrinth angekommen. Wenn ich mir das jetzt so rekapituliere, dann ist das, was dieser Mann 1931 veröffentlicht hat, eigentlich eine Befreiung der Mathematik, oder? Auch wenn es sich für Hilbert erst mal wie eine Niederlage angefühlt haben muss.

Miles: Absolut. Es war der Moment, in dem die Mathematik erwachsen geworden ist. Sie hat ihre eigenen Grenzen erkannt und akzeptiert. Gödel hat uns ein Werkzeug hinterlassen, mit dem wir die Struktur des Denkens selbst verstehen können. Dass er am Ende seines Lebens so mit seinen eigenen Zweifeln zu kämpfen hatte – er verhungerte ja tragischerweise, weil er aus Paranoia kein Essen mehr anrührte, das seine Frau nicht vorgekostet hatte –, zeigt vielleicht auch, wie schwer es ist, mit dieser absoluten logischen Konsequenz zu leben.

Jackson: Das ist wirklich eine tragische Note bei so einem brillanten Geist. Aber sein Werk bleibt. Wenn du jetzt an unsere Zuhörer denkst – was ist der eine Gedanke zu Gödel, den man heute Abend mit ins Bett nehmen sollte?

Miles: Vielleicht den, dass Unvollständigkeit kein Fehler im System ist, sondern eine Qualität. Dass wir in einer Welt leben, die uns immer wieder überraschen wird, weil sie sich eben nicht komplett in Formeln einfangen lässt. Gödels Unvollständigkeitssätze sind ein Beweis für die unendliche Kreativität, die im Denken möglich ist. Jedes Mal, wenn du denkst, du hast alles verstanden, wartet irgendwo ein neuer „Gödelsatz“ darauf, von dir entdeckt zu werden.

Jackson: Das ist ein sehr ermutigender Abschluss. Danke für diese tiefen Einblicke, Miles. Es war echt augenöffnend, mal hinter die Fassade der „perfekten“ Mathematik zu schauen.

Miles: Sehr gerne, Jackson. Es ist halt ein Thema, das einen erst mal schwindelig macht, aber wenn man es einmal sacken lässt, verändert es den Blick auf die Welt. Es lohnt sich definitiv, über diese Grenzen mal in einer ruhigen Minute nachzudenken. Was bedeutet es für dich, wenn nicht alles beweisbar ist? Vielleicht ist genau das der Moment, in dem wahre Erkenntnis beginnt.