La sala de máquinas

Con los capítulos VII y VIII se cruza un umbral. Atrás quedan los rompecabezas de entrada y los sistemas que se agotan. Esto ya es la sala de máquinas del razonamiento deductivo: el gran intento de quitarle al pensamiento humano la intuición que falla, y dejarlo convertido en una maquinaria tipográfica.

El capítulo VII nos deja el cálculo proposicional. La lógica suelta cualquier pretensión de significado humano y se vuelve un juego mecánico de símbolos, el Modo-M de Hofstadter, el modo mecánico. Hay una brillantez rara en esa ceguera. Al separar la forma del contenido, las reglas nos piden confiar en el proceso a ciegas, y esa confianza nos vacuna contra lo que las frases parecen decir. La regla de la fantasía abre universos lógicos metidos unos en otros: asumimos una premisa, recorremos lo que se sigue dentro de ese submundo cerrado, y salimos con un teorema condicional bajo el brazo.

Esa mecanización tiene una grieta. Un sistema formal, dejado a su ejecución, no se detiene a preguntarse si su propósito tiene sensatez. Si un absurdo se cuela en las premisas, el edificio entero se viene abajo de un modo mecánico, y desde ahí se puede demostrar cualquier cosa. Ahí hace falta el Modo-I, el modo inteligente. Alguien tiene que dar un paso atrás, reconocer el dibujo completo y juzgar si el camino tiene sentido.

Pienso en Las ruinas circulares, de Borges. El soñador que impone las reglas descubre que él también es una pieza de la estructura que creía suya. El andamiaje que inventamos para entender el universo necesita nuestra conciencia, fuera de él, para tener validez. La inteligencia necesita las reglas rígidas para no perderse en su propia heurística. Las reglas necesitan a la inteligencia para significar algo.

Justo cuando esa pareja parece ya entendida, el capítulo VIII sube la apuesta a lo infinito. Con los cuantificadores, el sistema deja las afirmaciones locales y gana un alcance enorme. La TNT, la Teoría de Números Tipográfica, es el sueño de Hilbert hecho sistema: una fortaleza donde la verdad y la demostrabilidad mecánica sean la misma cosa.

Hofstadter viste esa ambición con los axiomas de Peano. Al principio parece un repaso de la teoría de números. Es un caballo de Troya. Al volver el sistema lo bastante rico para hablar de todos los números, que no se acaban, queda puesta la base para que esos números dejen de ser solo cantidades y puedan, cuando el sistema se atreva a hablar de sí mismo, cargar información.

Hasta aquí el rascacielos formal parece perfecto. Tenemos un sistema deductivo y el lenguaje de los números para hacerlo andar. La ilusión de completitud es total. Parece que estamos a punto de meter toda la verdad matemática en una sola red. La maquinaria está lista, las reglas no se tocan, el motor ya se encendió.

La pregunta que queda en el aire, para la próxima, no es si este andamiaje va a resistir el peso de las matemáticas. Es qué pasa en el momento en que este sistema perfecto intenta mirarse al espejo.