Las paradojas de la lógica y los ordenadores

Uno de los problemas fundamentales de las matemáticas son las paradojas. Un ejemplo visual de lo que es una paradoja es la llamada paradoja del mapa, citada por Borges en su ensayo “Magias parciales del Quijote”

“Las invenciones de la filosofía no son menos fantásticas que las del arte: Josiah Royce, en el primer volumen de la obra The world and the individual (1899), ha formulado la siguiente: ‘Imaginemos que una porción del suelo de Inglaterra ha sido nivelada perfectamente y que en ella traza un cartógrafo un mapa de Inglaterra. La obra es perfecta; no hay detalle del suelo de Inglaterra, por diminuto que sea, que no esté registrado en el mapa; todo tiene ahí su correspondencia. Este mapa, en tal caso, debe contener un mapa del mapa, que debe contener un mapa del mapa del mapa, y así hasta lo infinito’...”

Un ejemplo literario de paradoja autorreflexiva aparece en la novela Cien años de soledad. Al final de Cien años de soledad de García Márquez, un personaje descifra unas escrituras cuyo contenido es precisamente Cien años de soledad. ¿Cómo la novela Cien años de soledad puede ser un libro que está dentro de la propia novela? Igualmente, el Quijote aparece dentro del Quijote como una novela.

Estas paradojas son formas gráficas de visualizar lo que son las verdaderas paradojas de la matemática.

La mayoría de las paradojas están relacionadas con el tema de la autorreflexión. Se trata de oraciones que, de algún modo, se refieren a sí mismas (del mismo modo que el mapa de Inglaterra contenía un mapa de sí mismo). Una paradoja célebre surge de la siguiente frase:

El número más pequeño que no se puede expresar con menos de 25 símbolos

Pero esta frase define a ese número con menos de 25 símbolos (si una palabra es igual a un símbolo), por lo que se produce, una situación paradójica. Algo parecido sucede con la siguiente frase:

Los números a los que no se hace referencia en esta frase

Efectivamente, si la frase no hace referencia a un número, entonces hace referencia a él. Y si hace referencia a él, entonces no hace referencia a él. Hay otra frase muy curiosa, la siguiente:

Estha fraze tiene tres errores

¿Dónde está el tercer error? Resulta que el tercer error es que el enunciado de la frase dice que la frase tiene tres errores, cuando solo tiene dos. Pero si esto es verdadero, ¡entonces decir que hay tres errores ya no es un error! Por tanto habría dos errores. Un momento ¡pero entonces hay tres errores! Esto no acaba nunca.

Otras paradojas, más al nivel del lenguaje común, pueden ser: Perdonen las disculpas. O la frase ¿Contestará a esta pregunta con un no? (esto me recuerda el chiste del gallego al que le preguntan si es verdad que los gallegos nunca contestan claramente con un sí o un no, y el gallego contesta: “No sé, puede”).

Imaginemos la frase:

Este enunciado no es autorreferente

No existe una forma de que un enunciado explicite el hecho de no ser autorreferente, sin que el enunciado sea autorreferente. De parejo modo, no hay forma de decir que un objeto no existe sin otorgarle una existencia como objeto del lenguaje (pensemos que tenemos símbolos para hablar de cosas que nadie ha visto, como Dios o el conjunto vacío).

El problema de las proposiciones autorreflexivas es que pueden analizarse de dos formas contradictorias. Por ejemplo, véase la proposición “Este enunciado es falso”.

1) Este enunciado Es falso
-----sujeto----------- predicado

Ésta sería una lectura sintáctica (hablando según lo haría un lingüista más que como un lógico). Hasta aquí no hay ningún problema. No es para hacerse ilusiones, ciertamente, ya que esto también es cierto para “Las ideas verdes duermen furiosamente”. Bien, desde el punto de vista sintáctico la frase es correcta. Ahora bien, si hacemos una lectura semántica, nos encontramos con que, la estructura profunda de esta oración sería:

2) “Este enunciado es falso” Es falso
----------sujeto------------------ predicado

Puesto que el enunciado es autorreferente. Si el argumento “Este enunciado es falso” es falso, entonces, por el principio del tercio excluso, no tiene más remedio que ser verdadero. Pero, en cuanto verdadero, no hace otra cosa que afirmar su propia falsedad.

.¿Qué sucede con nuestros amigos los ordenadores? ¿Entienden las paradojas? Pues va a ser que no. Un computador tiene unos transistores, cada uno de los cuales, tiene dos estados, encendido y apagado. No puede ser que un transistor esté, a la vez, encendido y apagado. El computador asigna un valor de verdad a una proposición, 1 ó 0, pero no puede asignarle, a la vez, los dos valores de verdad. Suponiendo que pudiéramos comunicar al computador una paradoja (algo complicado) lo más probable es que éste quedara en un estado en el que se perdería en un bucle infinito.

¿Qué es un bucle infinito? Una analogía se encuentra en el ensayo de Borges “Magias parciales del Quijote”.

“Algo parecido ha obrado el azar en Las Mil y Una Noches. Esta compilación de historias fantásticas duplica y reduplica hasta el vértigo la ramificación de un cuento central en cuentos adventicios, pero no trata de graduar sus realidades, y el efecto (que debió ser muy profundo) es superficial, como una alfombra persa. Es conocida la historia liminar de la serie: el desolado juramento del rey, que cada noche se desposa con una virgen que hace decapitar en el alba, y la resolución de Shahrazad, que lo distrae con fábulas, hasta que encima de los dos han girado mil y una noches y ella le muestra su hijo. La necesidad de copiar mil y un secciones obligó a los copistas de la obra a interpolaciones de todas clases. Ninguna tan perturbadora como la de la noche 602, mágica entre las noches. En esta noche, el rey oye de boca de la reina su propia historia. Oye el principio de la historia, que abarca a todas las demás, y también -de monstruoso modo- a sí misma. ¿Intuye claramente el lector la vasta posibilidad de esa interpolación, el curioso peligro? Que la reina persista y el inmóvil rey oirá para siempre la trunca historia de Las Mil y Una Noches, ahora infinita y circular...”

En un bucle infinito, el ordenador hace lo siguiente: Se encuentra en un proceso que, en un momento dado X, le manda recomenzar el proceso hasta que llega a X donde vuelve a recomenzar el proceso hasta que llega a X...¿tiene esto final? No, naturalmente, salvo que en muchos casos el ordenador nos dice que la memoria ha sido desbordada.

El hecho de que los ordenadores se metan en un bucle infinito cuando aparece una paradoja nos indica que no pueden entenderla. Esto aparece explicitado en famosos descubrimientos matemáticos como el teorema de Gödel o el problema de la parada de las máquinas de Turing.