Muitos teoremas e "paradoxos" - diagonalização de Cantor, indecidibilidade de hatling, indeciabilidade da complexidade de Kolmogorov, incompletude de Gödel, incompletude de Chaitin, incompletude de Chaitin, paradoxo de Russell etc. - todos têm essencialmente a mesma prova de diagonalização (observe que isso é mais específico do que pode ser). tudo isso é provado pela diagonalização; parece que todos esses teoremas realmente usam a mesma diagonalização; para mais detalhes, por exemplo , Yanofsky , ou para uma descrição muito mais breve e menos formalizada, minha resposta a essa pergunta ).
Em um comentário sobre a questão acima mencionada, Sasho Nikolov apontou que a maioria desses casos eram especiais do Teorema de Ponto Fixo de Lawvere . Se todos fossem casos especiais, essa seria uma boa maneira de capturar a idéia acima: realmente haveria um resultado com uma prova (de Lawvere), da qual todas as anteriores foram seguidas como corolários diretos.
Agora, para a incompletude e indecidibilidade de Gödel do problema da parada e de seus amigos, é sabido que eles seguem o Teorema de Ponto Fixo de Lawvere (ver, por exemplo, aqui , aqui ou Yanofsky ). Mas não vejo imediatamente como fazer isso pela indecidibilidade da complexidade de Kolmogorov, apesar do fato de que a prova subjacente é de alguma forma "a mesma". Então:
A indecidibilidade da complexidade de Kolmogorov é um corolário rápido - que não requer diagonalização adicional - do Teorema de Ponto Fixo de Lawvere?