Wenn wir dieses Buch mit einem Wort charakterisieren wollten, würde das Wort „Leidenschaft“ ausreichen. Die Geschichte der Metamathematik ähnelt einem „menschlichen Drama“: geniale Mathematiker wenden - je nach Epoche - ihre Methoden an, um tief in die Wurzeln der Mathematik einzutauchen und die Grenzen ihrer eigenen Wissenschaft in Frage zu stellen.

Die Mathematik identifiziert sich mit Formalismus, Perfektion, absoluter Berechnung, voller Regelmäßigkeit, Vollständigkeit und unbestreitbarem Gewissheit. Oder etwa nicht? Identifiziert sie sich mit Zufälligkeit, Rätsel und Paradox?

Der „König der Metamathematik“, der exzentrische Kurt Gödel, veröffentlichte 1931 sein berühmtes Unvollständigkeitstheorem. Der „Vater der Computer“, der geniale Alan Turing, erschütterte 1936 die Welt, als er den ersten digitalen Computer und seine Theorie der Nichtberechenbarkeit präsentierte.

In der heutigen Zeit folgt der Pionierdenker Gregory Chaitin in den Fußstapfen dieser beiden Giganten des 20. Jahrhunderts und erschüttert grundlegend das Gebäude der Mathematik und wirft den Theoretikern den Handschuh hin, indem er die absolute Symbolik der unendlichen Komplexität präsentiert: die Zahl Ω.

Doch, die Vision von Hilbert - der den Formalismus als die Theorie von Allem in der Mathematik wollte - obwohl sie ein ganzes Jahrhundert alt ist, prägt weiterhin den Weg vieler Mathematiker. Der Formalismus richtet sich jedoch an Maschinen, nicht an Menschen – es ist höchste Zeit, dass wir uns von dieser Krankheit erholen!