Demostracin del teorema de la incompletitud de Gdel

MAQUINA GDELIANA. De las muchas mquinas matemticas que he utilizado para ilustrar la
famosa prueba de Gdel, la siguiente es la ms sencilla.
La mquina imprime distintas expresiones que se componen de cuatro smbolos: I, N, R, *. Se
considera IMPRIMIBLE cualquier expresin que la mquina puede imprimir. FRASE es cualquier expresin
de una de las cuatro formas: (1) I*X; (2) NI*X; (3) IR*X; y (4) NIR*X, donde X es cualquier expresin
construida a partir de los cuatro smbolos. Cada frase se interpreta como sigue: (1) I*X se considera
VERDADERA si y slo si X es imprimible; (2) NI*X se considera VERDADERA si y slo si X no es
imprimible (N es una abreviatura de NO as como I es una abreviatura de IMPRIMIBLE); (3) IR*X se
considera VERDADERA si y slo si XX es imprimible (XX se denomina REPETICION de X, de ah la letra
R); y (4) NIR*X se considera VERDADERA si y slo si XX no es imprimible.
Partimos de la base de que la mquina es completamente precisa, es decir, cualquier frase
impresa por la m quina es una frase verdadera. El problema consiste en encontrar una frase verdadera
que la mquina no pueda imprimir!
SOLUCION AL PROBLEMA DE LA MAQUINA GDELIANA. La frase NIR*NIR* dice que la
repeticin de NIR* no es imprimible (es decir, la frase es verdadera si y slo si la repeticin de NIR* no es
imprimible). Pero la repeticin de NIR* es la misma frase NIR*NIR*. Esta frase es verdadera si y slo si no
es imprimible. Si la frase es falsa, entonces ES imprimible (puesto que la frase dice que no lo es), lo que
significara que la mquina es capaz de imprimir una frase falsa. As que debe ser que la frase es
verdadera, de ah que lo que dice se cumple, lo que significa que no es imprimible. As, la frase NIR*NIR*
debe ser cierta, pero la mquina no puede imprimirla.
El filsofo J. Michael Dunn demostr una vez este problema a su hijo, Jon. Cuando lo comprendi,
dijo a su padre: "Me gustara saber una cosa. Para qu querra nadie construir una mquina como esa?"
Despus de pensarlo un poco contest: "Bueno, sera bonito tener una mquina que pudiera imprimir
todos los hechos verdaderos del mundo. Parece que una mquina as es imposible."
La cuestin est en que ninguna mquina precisa puede imprimir una frase que dice que la
mquina no puede imprimirla. En el mismo proceso de imprimirla, la mquina la falsificara!
Reemplacen la palabra "imprimible" por "demostrable" y tendrn una idea del teorema de la
incompletitud de Gdel. Reemplacen "mquina" por "computadora" y tendrn una idea de como relacionar
esto con la inteligencia artificial.