Muchos teoremas y "paradojas": la diagonalización de Cantor, la indecidibilidad de la incubación, la indecisión de la complejidad de Kolmogorov, la incompletitud de Gödel, la incompletitud de Chaitin, la paradoja de Russell, etc., tienen esencialmente la misma prueba por diagonalización (tenga en cuenta que esto es más específico de lo que pueden todo se demuestra mediante la diagonalización; más bien, se siente que todos estos teoremas realmente usan la misma diagonalización; para más detalles ver, por ejemplo , Yanofsky , o para una explicación mucho más breve y menos formalizada, mi respuesta a esta pregunta ).
En un comentario sobre la pregunta mencionada anteriormente, Sasho Nikolov señaló que la mayoría de ellos eran casos especiales del Teorema del Punto Fijo de Lawvere . Si se tratara de casos especiales, esta sería una buena manera de capturar la idea anterior: realmente habría un resultado con una prueba (la de Lawvere) de la cual todo lo anterior siguió como corolarios directos.
Ahora, para Gödel Incompletez e indecidibilidad del problema de detención y sus amigos, es bien sabido que siguen el Teorema del Punto Fijo de Lawvere (ver, por ejemplo, aquí , aquí o Yanofsky ). Pero no veo de inmediato cómo hacer eso por la indecidibilidad de la complejidad de Kolmogorov, a pesar de que la prueba subyacente es de alguna manera "la misma". Entonces:
¿Es la indecidibilidad de la complejidad de Kolmogorov un corolario rápido, que no requiere diagonalización adicional, del teorema del punto fijo de Lawvere?