Viele Theoreme und "Paradoxe" - Cantors Diagonalisierung, Unentscheidbarkeit des Schlüpfers, Unentscheidbarkeit der Kolmogorov-Komplexität, Gödel-Unvollständigkeit, Chaitin-Unvollständigkeit, Russells Paradoxon usw. - haben im Wesentlichen den gleichen Beweis durch Diagonalisierung (beachten Sie, dass dies spezifischer ist als das, was sie können) alle werden durch Diagonalisierung bewiesen, vielmehr hat es den Anschein, dass alle diese Theoreme tatsächlich die gleiche Diagonalisierung verwenden (siehe z. B. Yanofsky oder meine Antwort auf diese Frage für eine viel kürzere und weniger formalisierte Darstellung ).
In einem Kommentar zu der oben genannten Frage wies Sasho Nikolov darauf hin, dass die meisten davon Sonderfälle des Lawvere-Fixpunktsatzes waren . Wenn dies alles Sonderfälle wären, wäre dies ein guter Weg, um die obige Idee zu erfassen: Es gäbe wirklich ein Ergebnis mit einem Beweis (Lawvere), aus dem alle obigen als direkte Folgerungen folgten.
Nun, für Gödels Unvollständigkeit und Unentscheidbarkeit des Halteproblems und ihrer Freunde ist bekannt, dass sie aus Lawvere's Fixed Point Theorem folgen (siehe z. B. hier , hier oder Yanofsky ). Aber ich sehe nicht sofort, wie man das für die Unentscheidbarkeit der Kolmogorov-Komplexität macht, obwohl der zugrunde liegende Beweis irgendwie "der gleiche" ist. So:
Ist die Unentscheidbarkeit der Kolmogorov-Komplexität eine schnelle Konsequenz - die keine zusätzliche Diagonalisierung erfordert - von Lawvere's Fixpunktsatz?