1931 beweist Gödel, dass jedes formale System, das reich genug ist, die Arithmetik zu enthalten, seine eigene Konsistenz nicht beweisen kann. Der Unvollständigkeitssatz identifiziert keinen Konstruktionsfehler. Er deckt eine strukturelle Eigenschaft auf: die Unmöglichkeit für ein System, sich selbst zu schließen.
Ein System, das seine eigene Konsistenz beweisen kann, ist notwendigerweise inkonsistent. Der Beweis der Solidität zerstört, was er garantiert.
Ein Compiler kann die Fehlerfreiheit seines eigenen Quellcodes nicht verifizieren, er braucht einen externen Verifizierer, der sich selbst nicht verifizieren kann. Ken Thompson hat dies 1984 demonstriert: ein manipulierter Compiler kann eine Hintertür in jedes Programm einfügen, das er kompiliert, einschließlich seiner eigenen nächsten Version. Die Vertrauenskette schließt sich nicht.
Der Mathematiker organisiert das Argument um seine Unmöglichkeit herum.
Doctrine
Das Loch ist nicht der Unfall des Arguments. Es ist seine Architektur. Jedes System definiert sich durch das, was es nicht beweisen kann.
Vecteur ouvert
Kein Rechtssystem kann sich selbst beurteilen. Es braucht ein höheres Gericht, das selbst nicht über seine eigene Legitimität urteilen kann. Die Kette der Berufungen schließt sich nie. Die Verfassung, die das Recht begründet, kann nicht durch das Recht begründet werden, das sie begründet. Ist Gödels Loch ein Unfall formaler Systeme, oder die Funktionsbedingung jedes Systems, das Regeln über sich selbst hervorbringt?
