Qué no dice el teorema de Gödel

En la entrada anterior repasaba el teorema de Gödel. Conviene saber lo que dice para entender lo que no dice. Esto último es especialmente importante porque se han querido extrapolar conclusiones que no se siguen. He aquí un par de ejemplos.
1. El teorema de Gödel no dice nada acerca de la superioridad de la mente humana respecto a la posible inteligencia artificial.
Quien afirma lo contrario (el propio Gödel parece que iba por ahí) parte de la observación de que un sistema formal lo suficientemente potente es por fuerza incompleto. Se puede proponer un sistema formal superior, que incluya como axiomas las verdades no demostrables dentro del primero, pero el nuevo sistema seguirá siendo incompleto. Con todo, este "saltar del sistema" es un proceso que permite mejorar los sistemas. La mente humana, según este planteamiento, podría "saltar" indefinidamente.
El argumento anterior es falaz por dos razones. Por una parte, no habría problemas para aceptar que una máquina pueda saltar de un sistema a otro. Por otra, la mente humana es finita y nunca podrá saltar indefinidamente de un sistema a otro. Es más, saltar indefinidamente no consigue tampoco llegar a ningún sistema completo. Simplemente se salta indefinidamente.
2. El teorema de Gödel no establece un dominio de la realidad que sea inaccesible a la mente humana.
Hay dos problemas históricos en la filosofía de la ciencia o del conocimiento. El primero es el problema de la realidad exterior: ¿existe? ¿es como se nos aparece? La ciencia no trata este tema ni, como se suele afirmar, lo supone a priori. Simplemente se dedica a dar cuenta de las regularidades que se nos aparecen en esta acaso apariencia de realidad exterior. Que haya tales regularidades no es ningún fundamente metafísico de la ciencia sino una constatación empírica.
El segundo problema es el de las otras mentes. No tenemos acceso al mundo de sensaciones, sentimientos, pensamientos,... que ocurren en las otras mentes. Ni siquiera tenemos constancia de que existan las otras mentes. Para esto último tenemos el test de Turing: las otras mentes lo pasan sin problema. Para saber de sensaciones y pensamientos no tenemos nada más que la posible empatía por pertenecer a la misma especie.
Quienes ven en el teorema de Gödel un nuevo límite a nuestro conocimiento de la realidad confunden el modelo con la realidad. Si la realidad es finita, por ejemplo, inmediatamente tenemos que no responde a los supuestos del teorema de Gödel y nada de lo que dice el teorema se aplica en ella.
Un  momento, dirá alguno, el sistema formal de las matemáticas está dentro de la realidad y, por tanto, todo lo que pase en ese modelo será parte de la realidad. Sí y no. Sí en un sentido débil, digamos. Es una parte de la realidad que podríamos decir creamos los seres inteligentes. No en un sentido fuerte, puesto que las matemáticas no son nada creado de verdad. Es decir, no hay nuevas partículas elementales, por ejemplo. Lo que hay es un juego inventado, un deducir cosas de acuerdo con unas reglas. Ocurre simplemente que con ciertas reglas no se puede llegar a establecer un valor de verdad a ciertas posiciones del juego. Que ese juego nos sirva a los mortales para interpretar cosas de la realidad es algo ajeno a la realidad.
Pero tampoco dice que no podamos entender la realidad, puesto que incluso si fuera pequeña, finita y abarcable al ser humano podríamos seguir construyendo modelos formales con teoremas de Gödel. Así que el problema que pueda plantear el teorema no es sobre la realidad, sino sobre las reglas deductivas, que no llegan a construir según qué enunciados.
¿Cómo cabe un sistema formal que contienen los números naturales, que son infinitos, en un mundo finito?
Sólo el darse cuenta de lo anterior debería ser suficiente para mostrar que los números naturales (así como los sistemas que los contienen) no existen más que como construcción nuestra y ciertamente nunca los construiremos todos. Solo tenemos como prueba de su existencia el que podemos mostrar que la existencia de cada uno de ellos se deduce recursivamente, no porque los hayamos escritos todos. Es la potencia del argumento recursivo lo que se limita en el teorema de Gödel, nada más. Las verdades de la ciencia siguen siendo las mismas, las establecidas empíricamente.