Ir al contenido principal

Qué no dice el teorema de Gödel


José Luis Ferreira

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.

Comentarios

  1. Hablas de "la realidad", de una realidad que es juez y jurado frente a modelos o fundamentos metafísicos. Pero no sé de qué realidad hablas, de la que construye tu mente? o la de Gödel? o la realidad que perciben las mentes que pasan sin problema la prueba de Türing? o te refieres a la "realidad finita"!
    Además, te comparto que los teoremas de Gödel, sí contribuyen a un reconocimiento de los límites de la concepción fundamentalista de la ciencia.
    Este que elegiste es un tema muy difícil. Para tratarlo necesitas seleccionar cuidadosamente la terminología e identificar las distintas posturas filosóficas implícitas en tu exposición.
    Creo que fuiste muy descuidado al escribir esto.
    Saludos

    ResponderEliminar

Publicar un comentario

Entradas populares de este blog

¿Y si Fernando Simón, Santi Gª Cremades y Martínez Ron estuvieran equivocados?

31/05/2020

Entre las muchas consecuencias de la pandemia de COVID-19 que está padeciendo el mundo entero, una de ellas es que la ciencia se ha colocado en el trending topic de la agenda política y mediática. Con resultados extremos y multitud de grados intermedios: desde una confianza en ella que raya la fe religiosa hasta el desprestigio de que no sirve para nada. Estos últimos la acusan de que un día dice una cosa y otro día otra: que si iba a ser menos grave que la gripe común y luego más grave que la gripe española, que si los niños son vectores y luego que ni contagian ni se contagian, que si el virus se contagia en superficies y luego que no es así, etc.

El mito de la filosofía oriental (Andrés Carmona)

28/05/2016.
Roberto Augusto ha publicado recientemente un texto provocador criticando la historia de la filosofía estándar por considerarla eurocéntrica en tanto que meramente occidental y que ignora la filosofía oriental. Daniel Galarza ha respondido a su artículo, recibiendo otra respuesta del propio Roberto Augusto.

El Positivismo y sus críticas

Hasta el fin de agosto os dejo con reposiciones de mis entradas más leídas en este blog. Esta es la número 1.

El Positivismo (o materialismo o naturalismo) dice que todas las teorías que construyamos acerca de la realidad deben ser validadas lógica y empíricamente. Proposiciones no susceptibles de ser validadas deben ser rechazadas.

Hay posturas positivistas que van más allá de lo anterior en el sentido de que afirman más cosas. Son ideas de algunos positivistas en particular o de alguna corriente basada en el positivismo, como el empirismo lógico. No hablo de ellas ni las defiendo o ataco (no ahora). Me restringiré a la definición del primer párrafo.

Esto implica un cambio de línea de investigación muy importante respecto al no-positivismo. Así, se rechazarán hipótesis del tipo "acción divina" o "milagro" mientras no se encuentre evidencia para ello.

También se rechazarán apriorismos derivados de cualquier prejuicio o ideología. En las ciencias médicas y sociales…