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

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.

«La pobreza es un estado mental»: desigualdad y el mito de la meritocracia

«La injusticia siempre exige justificaciones y argucias; las causas justas mucho menos». (Robert Trivers: La insensatez de los necios)
 Por José María Agüera Lorente Oigo la escueta noticia a través de la radio: Ben Carson, el secretario de vivienda estadounidense, afirma que la pobreza es «un estado mental». Busco en internet qué hay tras lo que aparece en forma de titular en varios medios digitales. Así me entero de que el señor Carson, neurocirujano de oficio, fue el primer afroamericano en ser nombrado jefe de neurocirugía pediátrica en el Centro Infantil Johns Hopkins de Baltimore. Negro, es decir, hombre perteneciente a una minoría que, atendiendo a los datos estadísticos de toda índole, es el grupo de la ciudadanía que más sufre la pobreza en un país de por sí con un importante índice de desigualdad; para ponerlo en cifras, el índice de Gini, que cuantifica la desigualdad en los Estados, se situó en la república norteamericana en 0,48 puntos según informe de 2015, siendo en Es…

Mario Bunge contra la psicología evolucionista

La psicología evolucionista es la ciencia emergente (o protociencia)que investiga la evolución de las habilidades y estrategias cognitivas. En la actualidad, es una disciplina que goza de gran popularidad entre los divulgadores de la ciencia. Muy probablemente su popularidad se deba, en buena medida, a que suele ser el tema de discusión de algunos de los divulgadores y psicólogos más famosos de la actualidad, como Michael Shermer, Jesse Bering, Desmond Morris, Leda Cosmides, Richard Dawkins, Daniel Dennett y Steven Pinker. Pero algo curioso es el hecho de que, paralelo al auge y popularidad de esta rama del saber, también existe un creciente escepticismo sobre la versión popular de la psicología evolucionista, principalmente empujado por filósofos de la ciencia (así como por algunos activistas del escepticismo científico, como PZ Myers y Rebecca Watson).
Algunas de las críticas a la psicología evolucionista, se ha demostrado, son el resultado de no entender qué es lo que investiga (o…