Valoraciones del Juicio en el Supremo por la Declaración Unilateral de Independencia

Iniciado por Albert Dirac

Es más, sabemos desde Gödel en los años 30, que si el sistema de axiomas es consistente y sólo se admiten demostraciones que sean verificables algorítmicamente, entonces siempre habrá un enunciado P tal que ni él si su negación son demostrables...

Si, el teorema de la incompletitud. Dice la leyenda que cuando le concedieron la nacionalidad norteamericana apadrinado por su gran amigo Einstein el juez que le interrogaba al mostrarle su pesar por lo que había sucedido en Austria al convertirse en una dictadura y vanagloriarse de que eso nunca podría suceder en USA, Godel le contradijo y afirmó que él podía demostrar que después del estudio de la constitución norteamericana y empleando su teorema había encontrado un fallo por el que se podía convertir en una dictadura de una forma legal. Parece que sus amigos desviaron la conversación y se lo llevaron presto de allí antes de que el juez pudiera indagar más sobre el particular.

Hay una película francesa de sci-fi de hace unos años que está basada en esta teoría.

Saludos