Banyak teorema dan "paradoks" - diagonalisasi Cantor, ketidakpastian hatling, tidak dihargai kompleksitas Kolmogorov, Gödel Incompleteness, Chaitin Incompleteness, paradox Russell, dll. - semua pada dasarnya memiliki bukti yang sama dengan diagonisasi (perhatikan bahwa ini lebih spesifik daripada yang mereka dapat lakukan) semua dibuktikan dengan diagonalisasi, melainkan merasa bahwa semua teorema ini benar-benar menggunakan yang sama diagonalisasi; untuk lebih jelasnya lihat, misalnya Yanofsky , atau untuk lebih singkat dan kurang formal rekening jawaban saya untuk pertanyaan ini ).
Dalam komentar pada pertanyaan yang disebutkan di atas, Sasho Nikolov menunjukkan bahwa kebanyakan dari mereka adalah kasus khusus dari Teorema Titik Tetap Lawvere . Jika mereka semua adalah kasus khusus, maka ini akan menjadi cara yang baik untuk menangkap ide di atas: benar-benar akan ada satu hasil dengan satu bukti (Lawvere's) dari mana semua di atas diikuti sebagai akibat wajar langsung.
Sekarang, untuk Ketidaklengkapan Gödel dan ketidakpastian masalah penghentian dan teman-teman mereka, diketahui bahwa mereka mengikuti dari Teorema Titik Tetap Lawvere (lihat, misalnya, di sini , di sini atau di Yanofsky ). Tapi saya tidak segera melihat bagaimana melakukan itu untuk ketidakpastian kompleksitas Kolmogorov, meskipun fakta bahwa bukti yang mendasarinya entah bagaimana "sama." Begitu:
Apakah kompleksitas Kolmogorov yang tidak dapat dipastikan merupakan konsekuensi wajar yang cepat - yang tidak memerlukan diagonalisasi tambahan - dari Teorema Titik Tetap Lawvere?