Los teoremas de Gdel y el mentalismo

Jos Francisco Zaragoza Martnez

Resumen
Desde su presentacin en 1931, los teoremas de incompletitud de Gdel han tenido mltiples aplicaciones. Los partidarios del mentalismo, que sostienen que el ser humano posee alguna cualidad mental especial que lo hace diferente de cualquier artilugio mecnico, han empleado los teoremas de Gdel para justificar su postura. Pero, en qu consisten y cmo y por qu surgen los teoremas de Gdel?, y por qu motivos pueden ser empleados para defender las tesis mentalistas? Estas son las cuestiones a las que el presente trabajo pretende dar respuesta de forma breve e informal.

Introduccin
La poca de finales del siglo XIX y principios del XX resulta ser especialmente fecunda para el mundo de las matemticas. Gran parte del esfuerzo est concentrado en encontrar unos fundamentos firmes para las matemticas. La lgica aparece como una base slida sobre la que asentar los cimientos, y muchos matemticos, llenos de entusiasmo y optimismo, emprenden la bsqueda de la reduccin de la matemtica a la lgica. En este ambiente, Gdel somete a prueba la aritmtica axiomatizada por Peano, enfrentndola con el problema de la autorreferencia, (que al parecer siempre engendra paradojas como la del mentiroso) con el fin de probar su consistencia y completud. La aritmtica no supera la prueba, y Gdel concluye con los teoremas de incompletitud. Ms tarde, los teoremas son empleados por los partidarios de la postura mentalista (Lucas, Penrose y otros) que los usan arguyendo, por ejemplo, que Gdel haba demostrado que en los sistemas matemticos existen proposiciones indemostrables dentro de los propios sistemas, y que sin embargo son evidentemente verdaderas , hecho que se ha demostrado usando la propia aritmtica, de manera que un ordenador, usando algoritmos, nunca podra llegar a la conclusin de que ciertas proposiciones son verdaderas, pues son desde su propio sistema algortmico indemostrables y el ordenador no tiene ms herramienta que ese sistema; mientras que el ser humano es capaz de saber que esas proposiciones son verdaderas a pesar de no ser demostrables en virtud de alguna suerte de intuicin no algortmica.

Antes de Gdel
Los teoremas de incompletitud de Gdel han sido frecuentemente empleados para apoyar las tesis mentalistas (esto es la postura que defiende que el ser humano posee alguna facultad que le permite decidir sobre la veracidad o falsedad de proposiciones de un sistema que en principio no son demostrables desde dentro del sistema), pero tales teoremas no nacen con la intencin de justificar tal postura. As, antes de explicar cmo los teoremas de Gdel son empleados por los partidarios del mentalismo, me parece interesante situarlos en su contexto. Gdel presenta el texto en que aparecen sus famosos teoremas en 1931, fruto de toda una serie de acontecimientos precedentes. La poca de finales del siglo XIX es una poca de grandes progresos en matemticas. En 1889, Giuseppe Peano publica Arithmetices Principia Nova Methodo Exposita , libro en que se recoge, entre otras cosas, una axiomatizacin de la aritmtica; concretamente, una coleccin de axiomas sobre los nmeros que result ser una versin ms exacta de la coleccin de axiomas sobre nmeros presentada por Richard Dedekind un ao antes. Es notable en esta poca el desarrollo de mtodos de demostracin cada vez ms potentes, desarrollo en que participan activamente figuras como David Hilbert, Gregory Cantor o Henri Poincar. Consecuentemente los matemticos van desarrollando cada vez ms confianza en el uso de estos mtodos, muchos de los cuales implicaban el trabajo con conjuntos propiciado por Cantor. A principios del siglo XX el mundo de las matemticas bulla con vigor. Haba un buen nmero de grandes matemticos y un inters creciente por fundamentar las matemticas. Tambin a principios de este siglo empiezan a surgir algunos inconvenientes que trastocan levemente esa confianza. Russell presenta en 1902 la paradoja que lleva su nombre, de la que se extrae una contradiccin al utilizar (de forma algo extrema) el razonamiento general de la teora de conjuntos que los matemticos estaban empezando a emplear en sus razonamientos. Pareca que un exceso de confianza haba llevado a los matemticos a emplear mtodos de demostracin que tal vez no fueran tan fiables despus de todo, ya que era obvia la necesidad de que los razonamientos permitidos estuvieran como mnimo libres de contradicciones. El problema no pareca demasiado grave y los matemticos se lanzaron a resolverlo con inters renovado. Russell y Whitehead llegaron a desarrollar un sistema matemtico de axiomas y reglas de inferencia altamente formalizado. Las reglas eran cuidadosamente escogidas para impedir los tipos paradjicos de razonamiento que conducan a la paradoja de Russell. Aunque la obra que Russell y Whitehead presentaron, Principia Mathematica, fue descomunal, el esquema result ser algo incmodo y los tipos de razonamiento matemtico que inclua resultaron bastante limitados. Fue Hilbert quien se propuso establecer un esquema que adems de ser ms manejable y comprensible, incluyera todos los tipos de razonamientos matemticos correctos para cualquier rea de las matemticas. Hilbert fue especialmente influyente en el ambiente matemtico del momento. En 1900, en el Congreso Internacional de Matemticos de Pars, Hilbert present diez problemas

sin resolver, una parte de lo que luego sera una serie de 23, conocidos como los 23 problemas de Hilbert. En estos problemas se basa gran parte de la investigacin llevada a cabo en matemticas durante el siglo XX. A partir de 1920 Hilbert se preocup especialmente del asunto de los fundamentos de la matemtica, trabajando sobre los Principia Mathematica. Adems de estalecer un esquema manejable y comprensible que incluyera todos los tipos de razonamientos matemticos correctos para cualquier rea de las matemticas, se pretenda demostrar que el esquema en cuestin estaba libre de contradiccin, de modo que las matemticas quedaran al fin situadas sobre unos fundamentos inatacables. Al proyecto en cuestin se le conoce como Programa de Hilbert. El programa propona una reduccin de la matemtica a la lgica de primer orden; las matemticas quedaran as convertidas en un sistema formal, donde un enunciado matemtico es expresado por una cadena de smbolos especiales que reflejan proposiciones bsicas, variables y nociones lgicas, cadena que para ser admitida debe ser adems finita. Por ltimo, el programa tambin se propona completar los fundamentos del sistema formal probando que ninguna contradiccin puede ser derivada dentro del sistema, esto es, que el sistema es consistente. En resumidas cuentas, el objetivo era demostrar que poda axiomatizarse la matemtica, de modo que cada sistema axiomtico resultante (conjunto de axiomas y reglas de inferencia) deba ser completo, es decir que el status de veracidad o falsedad de toda proposicin del sistema deba ser demostrable desde dentro del propio sistema, y deba ser consistente, es decir que no deba contener ningn tipo de contradiccin o paradoja. Grandes matemticos de la poca como Ackermann o Von Neumann entre otros, buscaron llevar a cabo el Programa de Hilbert. En 1930, parte del programa se haba realizado. El ambiente era optimista. Podemos encontrar una muestra de ese optimismo en el ltimo captulo de Introduction to Mathematical Philosophy de Russell donde escribe: "Si todava hay quien no admita la identidad de la lgica y la matemtica, podemos desafiarle a que nos muestre en qu punto de la cadena de definiciones y deducciones de los Principia Mathematica considera que concluye la lgica y comienza la matemtica." En 1931 Gdel desbarata el Programa de Hilbert con sus teoremas de incompletitud.

Los teoremas de Gdel

En 1931 Kurt Gdel publica ber formal unentscheidbare Stze der Principia Mathematica und verwandter Systeme" ("Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados"), obra en que presenta sus famosos teoremas. En esta obra, tras haber probado la completitud de los axiomas del clculo funcional de primer orden, Gdel busca probar la consistencia y completud de la aritmtica y sistemas relacionados, por lo que las proposiciones deben traducirse a nmeros naturales. Usa como punto de partida la aritmtica de Peano (PA), que este ltimo haba axiomatizado, y desarrolla un ingenioso sistema por el que a proposiciones

metamatemticas sobre el sistema, les corresponde una nica frmula aritmtica dentro del propio sistema. El mtodo, que no se expondr aqu, se conoce como numeracin de Gdel o Gdelizacin. Gdel estableci as en su trabajo un vocabulario que serva para asignar un valor (numrico) a cada proposicin, y demostr que el vocabulario establecido era suficiente para representar cualquier proposicin en funcin de esos smbolos. Una vez establecido el vocabulario bsico, Gdel intenta construir la proposicin "Esta proposicin no es demostrable en el sistema" , enfrentando as la aritmtica al problema de la autorreferencia, problema que parece generar siempre paradojas como la del mentiroso: Todos los cretenses son unos mentirosos (Epimnides de Creta). La proposicin sugerida por Gdel es llamada frmula G y puede escribirse de la siguiente manera: G = [G no es demostrable] Finalmente, Gdel consigue construir la proposicin, lo que provoca una interesante situacin. Si se consigue demostrar G dentro del sistema, se llega a una contradiccin, con lo que el sistema sera inconsistente. As pues, G debe ser no demostrable y por tanto verdadera, con lo que el sistema sera incompleto al no poderse demostrar G. As, si suponemos la consistencia de PA, la proposicin G es evidentemente verdadera a pesar de, por la propia consistencia de PA, no ser demostrable. Podra considerarse incluir la proposicin G dentro del conjunto de axiomas del sistema para solucionar la incompletitud del mismo, aunque en virtud del proceso anterior obtendramos los mismos resultados. La verdad es que esta exposicin informal es una simplificacin excesiva y algo incompleta del procedimiento por el que Gdel lleg a la formulacin de sus teoremas de incompletitud, pero servir para el propsito de este trabajo. Se acepta, pues, que lo anteriormente expuesto conduce a la formulacin de los teoremas de incompletitud, que pueden formularse como: 1. Si PA es consistente, entonces existe un enunciado G tal que ni l ni su negacin son demostrables en PA. 2. Si PA es consistente, entonces el enunciado que representa en PA la consistencia de PA no es demostrable en PA. De forma ms general puede decirse: 1. En cualquier formalizacin consistente de las matemticas que sea lo bastante fuerte para definir el concepto de nmeros naturales, se puede construir una proposicin que ni se puede demostrar ni se puede refutar dentro de ese sistema (o Si el sistema es consistente no puede ser completo). 2. La consistencia de los axiomas no puede demostrarse al interior del sistema (o Ningn sistema consistente puede usarse para demostrarse a s mismo).

Del primero se sigue que sin importar el nmero de axiomas que se utilice, siempre habr en matemticas proposiciones verdaderas que no se pueden demostrar. La

completitud no se alcanzar jams; del segundo, que es imposible establecer la consistencia lgica de una teora formalizada que contenga la aritmtica. La certeza de la no contradiccin jams ser alcanzada. As, los propsitos del Programa de Hilbert quedaban destruidos.

El mentalismo
Antes de explicar cmo son usados los teoremas de Gdel para defender las tesis mentalistas, debera aclararse de qu se habla al referirse al mentalismo. Podemos decir que mentalismo es la postura filosfica desde la que se defiende que existen actos objetivos de la mente humana que no pueden ser reproducidos por ingenio mecnico alguno. Existe una postura opuesta, el mecanicismo, que postula la no existencia de tales actos objetivos de la mente humana. A lo largo del tiempo, las dos posturas enfrentadas, mentalismo y mecanicismo, han ido encontrando argumentos que, momentneamente, hacan prevalecer a una sobre otra; hasta hoy, el equilibrio siempre ha sido restaurado. Uno de los argumentos recientemente empleados por los defensores del mentalismo, para tomar ventaja sobre sus adversarios, ha sido el que proporcionan los teoremas de incompletitud de Gdel. El primero en usar los teoremas de Gdel en defensa de las hiptesis mentalistas fue John R. Lucas, que present su argumento, ahora conocido como Argumento de Lucas, en su artculo Minds, Machines and Gdel (1961, pp. 112-127). Lucas defenda que Gdel haba demostrado que en los sistemas matemticos existen proposiciones que son indemostrables dentro de los propios sistemas pero que aun as son verdaderas. El argumento de Lucas puede expresarse del siguiente modo: "Cualquier formalismo S que contenga PA es tal que al razonar sobre l, podemos establecer la existencia de una frmula verdadera con respecto a la interpretacin estndar de S pero indemostrable en S. Por tanto, esa frmula ser aceptable desde nuestro punto de vista, por ser verdadera, pero inaceptable para S por ser indemostrable, con lo que ningn clculo ser capaz de encapsular las habilidades formales del ser humano." La idea bsica que subyace es la de que ya que existirn determinadas frmulas que, a pesar de ser verdaderas, no podrn ser demostradas por el propio sistema, entonces a un ordenador (o cualquier otro ingenio mecnico que emplee algn sistema matemtico como base de clculo) empleando algoritmos, podr presentrsele siempre alguna frmula (que se ha construido empleando esos algoritmos) que ser para el ordenador indemostrable aun siendo evidentemente verdadera. El ser humano por su parte podr, en virtud de alguna suerte de intuicin, decidir sobre la veracidad de la mencionada frmula a pesar de no poder demostrarla, y el teorema de incompletitud de Gdel presenta una prueba de esta afirmacin.

El problema de este argumento, segn los mecanicistas, es que todo el asunto se basa en la consistencia de PA, consistencia que ningn ser humano ni empleando PA ni ningn otro mtodo ha demostrado de forma aceptable y elemental. Lucas lo resuelve haciendo un aadido a su argumento: La consistencia de un sistema formal tan elemental como PA puede tomarse como una verdad incuestionable Penrose y otros autores hacen uso del argumento de Lucas con este ltimo aadido, en algunas de sus defensas del mentalismo. Por otra parte, el propio Gdel dijo que sus teoremas no suponan necesariamente un impedimento a la creacin de una mente artificial, y autores como Rudy Rucker emplean los teoremas de Gdel para crear argumentos similares al de Lucas en defensa del mecanicismo, argumentos que demuestran que el slo uso de los teoremas de Gdel no sirve para negar la posibilidad de creacin de inteligencia artificial, aunque pueda emplearse para restringir y cerrar ciertos caminos. As, desde esta perspectiva, la batalla entre mentalismo y mecanicismo se encuentra en un nuevo punto muerto. No hay razones objetivas decisivas que permitan posicionarse y resuelvan el debate de una vez por todas. Pero, hay aun un argumento, relacionado con los teoremas de Gdel, que representa el ltimo bastin del mentalismo en la actualidad. Se trata de un argumento de Penrose, que este formula a partir de la versin de los teoremas de Gdel (por tratar el asunto de la indecibilidad) que hace Turing, y que se conoce como Problema de la detencin o Problema de parada. De hecho el razonamiento de Penrose parte de lo que l mismo de nomina el argumento Gdel-Turing, que no es sino un tipo de demostracin llamada diagonalizacin o Diagonal de Cantor, y con el que se concluye en la enunciacin del Problema de parada. No se desarrollar aqu, por brevedad expositiva principalmente, ni como Turing llega a enunciar y dar una respuesta negativa al Problema de parada, ni como Penrose emplea la diagonalizacin para fundamentar su argumento a favor del mentalismo. Si se mencionar que tras el proceso de diagonalizacin se demuestra que puede establecerse un cierto algoritmo que no finaliza cuando computa un cierto input, demostracin que un ser humano puede reconocer y aadir a aquellas que le permiten saber algo con certeza, pero que, por la naturaleza de la demostracin, no puede incorporarse al programa que representara al algoritmo en cuestin, ni, de hecho, por ningn programa. As, para Penrose, su argumento supone la demostracin de que ningn computador podr alcanzar al ser humano en el mbito del razonamiento matemtico, ya que el ser humano posee capacidades intuitivas "no algortmicas".

As, quedan expuestos algunos de los argumentos que emplean los teoremas de Gdel para defender las tesis mentalistas, como las razones que se esgrimen para hacerlo.

Me gustara mencionar, para terminar, un asunto que me parece llamativo, y es que todo, desde la paradoja de Russell a los teoremas de Gdel o el argumento de Penrose, parece estar relacionado con la cuestin de las paradojas autorreferenciales. A ese respecto Adolfo Vsquez Rocca menciona en (*):
Si presentamos un enunciado como ste [una paradoja autorreferencial] a un ordenador, la desconcertada mquina vacila entre verdadero y no verdadero. En un filme de ciencia ficcin el capitn de la nave utilizaba paradojas como: Demuestre que su directiva principal no es su directiva principal, para quemar los semiconductores de ordenadores rebeldes. Para un ordenador, las paradojas autorreferenciales conducen al caos. Se dice que para los seres humanos tienen el efecto contrario, pues conducen a la intuicin creativa e incluso a la iluminacin.

Bibliografa
ALONSO, E. (2001): Mentalismo, mecanicismo: el nuevo argumento de Penrose. Revista de Filosofa 26, pp. 139-164. Disponible en versin digital en: http://revistas.ucm.es/fsl/00348244/articulos/RESF0101220139A.PDF Colaboradores de Wikipedia (2011): Kurt Gdel. Wikipedia, La enciclopedia libre, 2011. Disponible en versin digital en: http://es.wikipedia.org/wiki/Kurt_G %C3%B6del MANGAS Ballester, A. et al (2006): Teorema de incompletitud de Gdel. Epistemowikia: Revista Hiperenciclopdica de Divulgacin del Saber. Disponible en versin digital en: http://campusvirtual.unex.es/cala/epistemowikia/index.php? title=Teorema_de_Incompletitud_de_G%C3%B6del#Inteligencia_Artificial MONSALVE G., M. y Vargas M., J.A. (2009): KURT GDEL Constructor de Universos (1906-1978). Disponible en versin digital en: http://www.unalmed.edu.co/~dirmate/documentos/SEMINARIO/MMonsalve.pdf PADILLA L., P. ( ): Seminario sobre la incompletitud de Gdel. Disponible en versin digital en: http://www.fenomec.unam.mx/pablo/seminario/Incompletud_de_Godel.pdf PENROSE, R. (1989): La Nueva Mente del Emperador. Mondadori. Madrid, 1991.
(*) VSQUEZ Rocca, A. ( ): Paradojas Autorreferenciales o Argumentos Recursivos. Disponible en versin digital en: http://avrocca.wordpress.com/2007/11/27/paradojasautorreferenciales-logica-contemporanea/