Багато теорем і "парадоксів" - діагоналізація Кантора, нерозбірливість ненависті, невідповідність складності Колмогорова, незавершеність Геделя, незавершеність Хайтіна, парадокс Рассела тощо - всі вони мають по суті однакові докази діагоналізацією (зауважте, що це більш конкретно, ніж те, що вони можуть все це доведено діагоналізацією; швидше, відчувається, що всі ці теореми дійсно використовують однакову діагоналізацію; детальніше див., наприклад, Янофський , або для набагато коротшого та менш формалізованого опису мою відповідь на це запитання ).
У коментарі до вищезазначеного питання Сашо Ніколов зазначив, що більшість із них були особливими випадками теоретики фіксованої точки Ловевера . Якби всі вони були окремими випадками, то це був би хороший спосіб зафіксувати вищезгадану ідею: насправді був би один результат з одним доказом (Lawvere's), з якого все вищезазначене випливало як прямі наслідки.
Тепер, щодо незавершеності і нерозбірливості проблеми зупинки та їхніх друзів, Гелод добре знає, що вони випливають із теореми фіксованої точки Ловевера (див., Наприклад, тут , тут або Янофського ). Але я не відразу бачу, як це зробити для нерозбірливості складності Колмогорова, незважаючи на те, що основний доказ якось "той самий". Так:
Чи є невирішеність складності Колмогорова швидким наслідком - не вимагаючи додаткової діагоналізації - теореми фіксованої точки Ловевера?