El teorema Gdel Un libro descubre los secretos del matemtico austriaco Un cadver, una habitacin cerrada, dos sospechosos.

No es el comienzo de una novela policiaca cuyo protagonista intenta demostrar que no existe el crimen perfecto, sino la metfora elegida por el escritor Guillermo Martnez para explicar uno de lo s teoremas ms profundos de la lgica. Antes de dedicarse por completo a la literatu ra, este argentino nacido en 1962 se doctor en matemticas y pas dos aos completando sus investigaciones en la Universidad de Oxford. Tres pasiones la escritura, la lgica y el encanto misterioso de los collegesque se entrelazaran aos ms tarde en su novela Los crmenes de Oxford, que posteriormente fue llevada al cine por lex de la Iglesia. En la obra, el acadmico Arthur Sheldon y un estudiante estadounidense i nvestigan una serie de asesinatos "imperceptibles", con la ayuda de los teoremas de Kurt Gdel y de la filosofa del lenguaje de Ludwig Wittgenstein. En esta ocasin, el compaero de viaje para seducir al gran pblico con unos teoremas que han fascinado por igual a cientficos y humanistas a lo largo de la segunda mi tad del siglo XX no ha sido un personaje de ficcin, sino el tambin matemtico argent ino Gustavo Pieiro. Juntos han escrito Gdel para todos (Ediciones Destino, 2010), una obra que se plantea "como un juego por etapas, con la esperanza de que los l ectores se desafen a s mismos a pulsar enter al final de cada captulo para pasar al prximo nivel", dicen los autores. Como explican los expertos, mientras las sofis ticadas matemticas que subyacen a la teora de la relatividad plantean una ruptura entre los libros de divulgacin y los manuales tcnicos, en el caso de los teoremas de Gdel es posible presentar una exposicin a la vez rigurosa y accesible, que slo r equiere del lector que no haya olvidado sumar y multiplicar. Los matemticos vivan en el optimismo de que lo verdadero es demostrable Un crimen sin pruebas As que imaginen que en una habitacin cerrada se comete un crimen y que, al llegar la polica, junto al cadver hay dos sospechosos. Cada uno de ellos sabe toda la ver dad sobre el asesinato: sabe si fue l o no fue l. Sin embargo, a menos que confies en, los inspectores tendrn que encontrar huellas dactilares, restos de ADN o cual quier otra prueba secundaria que permita acusarlos ante un juez. Si esta bsqueda se demostrara inconcluyente, los sospechosos quedaran libres, pero la verdad de l o que sucedi en la sala seguira estando ah. Aunque la verdad existe, el mtodo es ins uficiente para alcanzarla. Lo saban desde el principio los detectives y los arquel ogos, pero los matemticos vivieron en el optimismo de que todo lo verdadero es de mostrable, hasta la entrada en escena de un joven austriaco, en noviembre de 193 0. Los principales expertos en la lgica matemtica se haban reunido en la ciudad aleman a de Kenigsberg para discutir el estado de la disciplina. El propio Gdel haba sido invitado a exponer los resultados de su tesis doctoral, que dejaban an la puerta abierta a unas matemticas todopoderosas. Sin embargo, en los meses transcurridos entre el inicio brillante de su carrera y el encuentro de Kenigsberg, Gdel haba ava nzado en sus investigaciones, hasta convencerse de que el sueo de los lgicos de su generacin era imposible. Nada pareca indicarlo mientras pronunciaba su conferenci a pero, en los ltimos minutos de la mesa redonda que cerr el congreso al da siguien te, por fin se atrevi a anunciar que tena ejemplos de "proposiciones verdaderas po r su contenido que no podan demostrarse a partir de los axiomas". Gdel dijo que hay proposiciones ciertas que no pueden ser probadas Los teoremas de incompletitud Como explican Martnez y Pieiro, el edificio de las matemticas descansa sobre un puad o de principios que se dan por sentados por su sencillez y utilidad: son los axi omas. A partir de ellos, el trabajo de los matemticos consiste en deducir propied ades sobre los nmeros, mediante un proceso riguroso que se conoce con el nombre d e demostracin. Por as decirlo, los axiomas son los personajes del relato, de modo que el xito de la historia depender de cmo se elijan. Por un lado, no deben dar lug

ar a contradicciones, pues de nada servirn unos axiomas si de ellos se puede dedu cir al mismo tiempo que cero es igual a uno y distinto de uno. Tampoco es posibl e construir una teora razonable si no somos capaces de distinguir los axiomas de otras afirmaciones, de saber lo que hay que demostrar y lo que puede suponerse. Con estos ingredientes, explicados a travs de ejemplos y de ejercicios, los autor es de Gdel para todos estn en condiciones de enunciar el teorema que el lgico austr iaco comunic discretamente a sus compaeros en la reunin de Kenigsberg. Dice que, sea n cuales sean los axiomas que elijamos para hablar sobre los nmeros, si estamos s eguros de que son reconocibles y de que no dan lugar a contradicciones, entonces automticamente existir una propiedad que es verdadera, pero que no se puede demos trar a partir de ellos. Un crimen que los detectives nunca lograrn resolver. Como el teorema mostraba que ninguna coleccin de axiomas poda completar todas las verd ades aritmticas, enseguida pas a llamarse teorema de incompletitud. Slo John von Neumann pudo comprender lo que sugera Gdel Para demostrarlo, Gdel modific de manera ingeniosa la llamada paradoja del mentiro so, que se produce cuando alguien afirma "Yo siempre miento", pues si la persona miente, entonces dice la verdad, y si dice la verdad, entonces miente. Por esta razn, algunos de sus contemporneos pensaron que las verdades indemostrables eran puramente anecdticas. Sin embargo, el teorema de Gdel inspirara a Alan Turing la cr eacin de los primeros ordenadores tericos. Ochenta aos despus, unos prrafos bastan para explicar qu dicen sus teoremas, pero en su da slo uno de los asistentes a la mesa redonda, el genial John von Neumann, pu do comprenderlos. Habra que esperar a que se publicaran varias obras de divulgacin para que el teorema se incorporase al folklore matemtico. Y lo hizo con tanta fu erza que, como sealan Martnez y Pieiro, la incompletitud pas a formar parte de ese e xtrao grupo de "palabras mgicas de la escena postmoderna como caos, fractal o inde terminacin" que se asocian "a supuestas derrotas de la razn y al fin de la certidu mbre en el terreno ms exclusivo del pensamiento: el reino de las frmulas exactas". En uno de los captulos de Gdel para todos, el lector comprobar con asombro las inse nsateces que, a cuenta del teorema de incompletitud, han escrito filsofos como Ju lia Kristeva, Jacques Lacan o Rgis Debray. En sus manos quedar interpretarlas como una muestra ms del peligro de hablar de lo que no se sabe o como la mejor eviden cia de la misteriosa seduccin de un resultado que, como dijo Von Neuman, "permane cer visible en el espacio y en el tiempo".

Obra de Kurt Gdel -------------------------------------------------------------------------------La obra lgica de Gdel hay que relacionarla desde el principio con el programa form alista de Hilbert. Su tesis doctoral fue su famosa prueba de la suficiencia semnt ica del clculo lgico de primer orden, y slo tena 11 pginas. Dos aos antes, Hilbert y A ckermann haban delimitado de un modo claro la lgica de primer orden y presentado u n clculo lgico para ella. Dicho clculo no era completo sintcticamente en el sentido de que para cada frmula o bien ella o bien su negacin fuera deducible. Esto es as y a que un clculo lgico solo pretende generar las frmulas vlidas (frmulas verdaderas ba jo cualquier interpretacin), y hay muchas frmulas tales que ni ellas ni su negacin son vlidas. Lo que si poda plantearse era la cuestin de si el clculo era semnticament e suficiente, es decir, si permita deducir todas las frmulas vlidas. Hilbert y Acke rmann no haban encontrado respuesta a esta pregunta en 1928, y eso precisamente e s lo que hizo Gdel dos aos despus, dando respuesta positiva: el clculo lgico de prime

r orden era lo suficientemente potente como para deducir todas las frmulas vlidas (y slo estas). Este resultado marc un jaln en la historia de la Lgica Moderna y supu so un espaldarazo prometedor para el programa formalista de Hilbert. El resultado ms revolucionario de la Lgica del siglo XX, por el que Kurt Gdel es es pecialmente famoso, es el teorema de incompletitud, publicado en 1931. Este teor ema es ms fcil de entender si nos aproximamos a l indirectamente. Con este fin, pre sentaremos un rompecabezas lgico y algunos trminos clave antes de pasar a la discu sin del teorema propiamente dicha. Hay una antigua afirmacin paradjica, llamada paradoja del mentiroso, que puede ayu darnos a ilustrar el tema: "Esta afirmacin es falsa." Pasemos a analizar tal afir macin. Si esta es verdadera, esto significa que la afirmacin es falsa, lo cual con tradice nuestra primera hiptesis. Por otra parte, si la afirmacin es falsa, la afi rmacin debe de ser verdadera, lo cual nos lleva de nuevo a una contradiccin. Una v ersin aun ms simple de esta paradoja (como seal Lewis Carrol) es la afirmacin siguien te: "Yo estoy mintiendo." En estas afirmaciones se presenta el fenmeno llamado bu cle extrao. Cualquier suposicin inicial que se haga conduce a una refutacin de sta. Muchas de las ilusiones pticas del arte de M. C. Escher estn basadas en este conce pto. Otro trmino importante es el de isomorfismo. Entenderemos aqu un isomorfismo como una conexin entre un nivel del entendimiento y otro. El isomorfismo ms comn es el q ue se da entre el lenguaje y la mente. Estas palabras que usted est leyendo son c ombinaciones de lneas que tienen un significado atribuido. Ellas no significan na da por s mismas, son meras conexiones con conceptos que estn en nuestras mentes. E ste es un ejemplo difcil, ya que estamos tan acostumbrados a hablar y escribir qu e olvidamos que las letras y las palabras no son la verdadera comunicacin. Otro e jemplo es el sistema de numeracin romana. Sabemos como expresar nmeros arbigos (los cuales son isomorfos a dedos, rocas, etc.) en el sistema romano, pero ello es a lgo peliagudo. Estamos enterados del isomorfismo entre estos dos sistemas tipogrf icos desde el momento en el que necesitamos trasladarnos del uno al otro constan temente. El ltimo trmino a considerar es el de sistema formal. Este trmino parece bastante fc il, pero su propia naturaleza hace necesario definirlo explcitamente. Llamaremos sistema formal a un sistema tipogrfico que sea isomorfo a la teora de nmeros. Esto es comparable a tomar las expresiones de lenguaje natural de las demostraciones geomtricas y sustituirlas por smbolos que tengan el mismo significado. Se hace est o para evitar la ambigedad y fomentar la precisin. El punto a tener en cuenta a la hora de trabajar con sistemas formales es que no podemos usar el sentido comn o, en general, cualquier argumento ajeno al sistema. El Formalismo es un movimient o, en la Lgica y en las Matemticas, impulsado por Hilbert en los aos 20. Hilbert in vent un artificial lenguaje de la lgica y comenz a trasladar las afirmaciones de la teora de nmeros dentro de l. Su propsito era construir sistemas formales completos para las principales teoras de la matemtica clsica. Completos en el sentido de que cualquier afirmacin puede o bien ser demostrada o bien ser demostrada su negacin. El programa de Hilbert tambin requera que se demostrara la consistencia de dichos sistemas formales. El teorema de incompletitud de Gdel es bastante sencillo de entender una vez hemo s introducido la paradoja del mentiroso (citada ms arriba). Gdel hizo manipulacion es para trasladar el lenguaje natural del mentiroso al lenguaje de las matemticas . Lo que prob es comparable (isomorfo) a la afirmacin "Este teorema no tiene demos tracin". Lo sorprendente es que l prob el teorema! Dise su propio lenguaje lgico para sto. En definitiva, descubri que existan afirmaciones verdaderas que no podan ser p robadas dentro del sistema. Gdel prob que todo sistema formal que contuviera a la aritmtica elemental (un ejemp lo de este sistema seran las Matemticas como un todo) es incompleto. Adems, por el

camino encontr que la consistencia de dichos sistemas era imposible de probar. Es to no signific el fin del Formalismo, pero supuso un duro golpe para este. Tambin hizo grandes contribuciones a la Teora de Conjuntos, como la demostracin de la consistencia relativa del axioma de eleccin y de la hiptesis del continuo respe cto del resto de los axiomas. Adems, hizo importantes contribuciones al estudio d el problema de la decisin, defini por primera vez las funciones recursivas, prob la consistencia de la lgica y aritmtica clsica respecto de la intuicionista, se ocup d e la cosmologa relativista y encontr soluciones sorprendentes a las ecuaciones del campo gravitatorio de la relatividad general.