Ir al contenido principal

Kurt Gödel: Un genio que puso en "jaque" a Einstein.

"Kurt Gödel: La mente que puso en jaque las teorias de Einstein"












Kurt Freidrich Gödel nació el 28 de de abril de 1906 en Brünn, Moravia (Austria- Hungría, en el día de hoy República Checa). Su padre, Rudolph, fue un diligente e inventivo propietario de una fábrica textil. Su madre, Marianne, fue una cariñosa madre de familia que había recibido una extensa educación literaria en Francia. La familia Gödel era económicamente acomodada y el joven Kurt pudo dedicar todas sus energías al estudio, ya que no era necesario colaborar a la financiación familiar. Sobresalió en el trabajo escolar. Su primer interés académico fue la Lingüística, pero más tarde acudió a las Matemáticas ya que era más fácil para él estudiarlas por su cuenta, una vez agotados los recursos que le ofrecía la escuela.




Ingresó en la Universidad de Viena en 1924 planeando estudiar Física Teórica. Hacia 1926 su atención volvió a las Matemáticas y se produjo su unión a lo que más tarde fue conocido como el Círculo de Viena, un grupo de matemáticos que fundó la escuela filosófica conocida como Positivismo Lógico. Gödel estuvo asociado con este grupo durante muchos años. La principal premisa del Círculo de Viena era que lo que no es verificable empíricamente no tiene sentido. La antítesis de esta filosofía es la especulación metafísica, ya que nada puede ser probado o refutado con algún grado de certidumbre dentro del sistema metafísico. Gödel se fue interesando progresivamente en Teoría de Números y, después, en Lógica Matemática durante estos años.



En 1930, Gödel se doctoró en Matemáticas dirigido por H. Hahn, un notable matemático miembro del Círculo de Viena. A partir de aquí comienza Gödel a trabajar en sus más importantes teorías sobre la completitud de sistemas formales. Viajó a los Estados Unidos dando un ciclo de conferencias y se encontró por primera vez con Albert Einstein en 1933. Desarrollo una teoria en donde demostraba matematicamente que "nada es verificable", la cual Einstein y el discutian con vehemencia, haciendo muchas veces a Einstein dudar de su teoria de la Relatividad, siendo Godel quien desafiara al gran genio y le hiciera entender que matematicamente no se puede medir el tiempo y mucho menos determinar "donde nace la conciencia humana", algo que hasta el dia de hoy, ningun ordenador ha podido desarrollar, aun y cuando una computadora logro ganarle a Gasparov, el mejor ajedrecista del mundo, un partido de ajedrez.



Dedicó alguno de los años siguientes al estudio de problemas de Física y de Psicología. Durante esta época tuvo que ser ingresado varias veces en hospitales por problemas de salud.



Gödel se casó con Adele Porkert en 1938 y decidieron trasladarse definitivamente a los Estados Unidos en 1940. Se asentaron en Princeton, New Jersey, donde residieron hasta el final de sus vidas.



Llegó a ser un gran amigo de Einstein, y trabajaron juntos los aspectos filosóficos y matemáticos de la Teoría General de la Relatividad. Gödel incluso trabajó con éxito en las ecuaciones del campo gravitatorio, encontrando soluciones sorprendentes. También dedicó gran parte de su tiempo al estudio del concepto de tiempo, publicando varios artículos y dando varias conferencias sobre el tema.



Recibió muchos homenajes importantes durante su vida. Fue nombrado doctor honorario en Literatura por la Universidad de Yale en 1951. También fue doctor honorario en Ciencias por Harvard en 1952 con una mención que lo llamó "el descubridor de la verdad matemática más significativa del siglo".



Fue elegido como miembro de la Academia Nacional de Ciencias en 1955 y de la Academia Americana de las Artes y Ciencias en 1957. En 1961 ingresó en la Sociedad Filosófica de América.



En 1967, fue elegido miembro honorario de la Sociedad Matemática de Londres. Finalmente, en 1975, el presidente Ford le entregó la Medalla Nacional de las Ciencias. Batalló durante toda su vida contra sus problemas de salud física y mental.



Confesó en 1969 que no era capaz de entender el trabajo de los nuevos lógicos; la enfermedad iba cobrando su peaje. Años más tarde, llegó a estar convencido de que estaba siendo envenenado. Para evitar esto, dejó de comer y acabó muriendo por inanición el 14 de enero de 1978.



Obra de Kurt Gödel



La obra lógica de Gödel hay que relacionarla desde el principio con el programa formalista de Hilbert. Su tesis doctoral fue su famosa prueba de la suficiencia semántica del cálculo lógico de primer orden, y sólo tenía 11 páginas. Dos años antes, Hilbert y Ackermann habían delimitado de un modo claro la lógica de primer orden y presentado un cálculo lógico para ella. Dicho cálculo no era completo sintácticamente en el sentido de que para cada fórmula o bien ella o bien su negación fuera deducible. Esto es así ya que un cálculo lógico solo pretende generar las fórmulas válidas (fórmulas verdaderas bajo cualquier interpretación), y hay muchas fórmulas tales que ni ellas ni su negación son válidas. Lo que si podía plantearse era la cuestión de si el cálculo era semánticamente suficiente, es decir, si permitía deducir todas las fórmulas válidas. Hilbert y Ackermann no habían encontrado respuesta a esta pregunta en 1928, y eso precisamente es lo que hizo Gödel dos años después, dando respuesta positiva: el cálculo lógico de primer orden era lo suficientemente potente como para deducir todas las fórmulas válidas (y sólo estas). Este resultado marcó un jalón en la historia de la Lógica Moderna y supuso un espaldarazo prometedor para el programa formalista de Hilbert.
El resultado más revolucionario de la Lógica del siglo XX, por el que Kurt Gödel es especialmente famoso, es el teorema de incompletitud, publicado en 1931. Este teorema es más fácil de entender si nos aproximamos a él indirectamente. Con este fin, presentaremos un rompecabezas lógico y algunos términos clave antes de pasar a la discusión del teorema propiamente dicha.



Hay una antigua afirmación paradójica,



Otro término importante es el de isomorfismo. Entenderemos aquí un isomorfismo como una conexión entre un nivel del entendimiento y otro.



El isomorfismo más común es el que se da entre el lenguaje y la mente. Estas palabras que usted está leyendo son combinaciones de líneas que tienen un significado atribuido. Ellas no significan nada por sí mismas, son meras conexiones con conceptos que están en nuestras mentes. Este es un ejemplo difícil, ya que estamos tan acostumbrados a hablar y escribir que olvidamos que las letras y las palabras no son la verdadera comunicación. Otro ejemplo es el sistema de numeración romana. Sabemos como expresar números arábigos (los cuales son isomorfos a dedos, rocas, etc.) en el sistema romano, pero ello es algo peliagudo. Estamos enterados del isomorfismo entre estos dos sistemas tipográficos desde el momento en el que necesitamos trasladarnos del uno al otro constantemente.




El último término a considerar es el de sistema formal. Este término parece bastante fácil, pero su propia naturaleza hace necesario definirlo explícitamente. Llamaremos sistema formal a un sistema tipográfico que sea isomorfo a la teoría de números. Esto es comparable a tomar las expresiones de lenguaje natural de las demostraciones geométricas y sustituirlas por símbolos que tengan el mismo significado. Se hace esto para evitar la ambigüedad y fomentar la precisión. El punto a tener en cuenta a la hora de trabajar con sistemas formales es que no podemos usar el sentido común o, en general, cualquier argumento ajeno al sistema. El Formalismo es un movimiento, en la Lógica y en las Matemáticas, impulsado por Hilbert en los años 20. Hilbert inventó un artificial lenguaje de la lógica y comenzó a trasladar las afirmaciones de la teoría de números dentro de él. Su propósito era construir sistemas formales completos para las principales teorías de la matemática clásica. Completos en el sentido de que cualquier afirmación puede o bien ser demostrada o bien ser demostrada su negación. El programa de Hilbert también requería que se demostrara la consistencia de dichos sistemas formales.



El teorema de incompletitud de Gödel es bastante sencillo de entender una vez hemos introducido la paradoja del mentiroso (citada más arriba). Gödel hizo manipulaciones para trasladar el lenguaje natural del mentiroso al lenguaje de las matemáticas. Lo que probó es comparable (isomorfo) a la afirmación "Este teorema no tiene demostración". ¡Lo sorprendente es que él probó el teorema! Diseñó su propio lenguaje lógico para esto. En definitiva, descubrió que existían afirmaciones verdaderas que no podían ser probadas dentro del sistema.
Gödel probó que todo sistema formal que contuviera a la aritmética elemental (un ejemplo de este sistema serían las Matemáticas como un todo) es incompleto. Además, por el camino encontró que la consistencia de dichos sistemas era imposible de probar. Esto no significó el fin del Formalismo, pero supuso un duro golpe para este. A este teorema se le puede comparar con el arte y con la musica, por ejemplo, las fugas de Bach, que se repiten eternamente, o en el arte "las manos que se unen.

En este link se pueden encontrar las fugas de Bach:

http://www.teoria.com/articulos/analysis/BWV861/indice.htm

"Manos infinitas que se unen, un misterio o paradoja de infinidad"



También hizo grandes contribuciones a la Teoría de Conjuntos, como la demostración de la consistencia relativa del axioma de elección y de la hipótesis del continuo respecto del resto de los axiomas. Además, hizo importantes contribuciones al estudio del problema de la decisión, definió por primera vez las funciones recursivas, probó la consistencia de la lógica y aritmética clásica respecto de la intuicionista, se ocupó de la cosmología relativista y encontró soluciones sorprendentes a las ecuaciones del campo gravitatorio de la relatividad general.


El contenido de estas página ha sido obtenido de las siguientes fuentes:
The Life and Work of Kurt Gödel. Christopher J. Brady http://204.249.212.251/clubs/physics/godel.html
Kurt Gödel. JOC/EFR http://www.math.bme.hu/mathhist/Mathematicians/Godel.html
Kurt Gödel. Obras completas. Jesús Mosterín y otros Alianza Editorial




Comentarios

Anónimo dijo…
hola este es uno de esos pokos pero buenos espacios dedikados a esos pokos pero geniales hombres
chao k esten bm

Entradas más populares de este blog

Gabriel Garcia Marquez: "Tributo a la vida".

"El afán de querer olvidarte es mi mayor ímpetu para recordarte." "No llores porque ya se terminó... sonríe, porque sucedió." "Hay que ser infiel, pero nunca desleal." "La memoria del corazón elimina los malos recuerdos y magnifica los buenos, y gracias a ese artificio, logramos sobrellevar el pasado." "No, el éxito no se lo deseo a nadie. Le sucede a uno lo que a los alpinistas, que se matan por llegar a la cumbre y cuando llegan, ¿qué hacen? Bajar, o tratar de bajar discretamente, con la mayor dignidad posible." "Nunca releo mis libros, porque me da miedo." "El mundo habrá terminado de joderse el día en que el hombre viaje en primera y la literatura en el vagón de carga." "Me desconcierta tanto pensar que Dios existe, como que no existe." "Los seres humanos no nacen para siempre el día en que sus madres los alumbran, sino que la vida los obliga a parirse a sí mismos una y otra vez." "Lo má

No espero nada, no temo nada, soy libre: Nikos Kazantzakis, irreverencia y libertad de pensamiento.

Nikos Kazantzakis "No espero nada, no temo nada, soy libre"                                         Δεν ελπίζω τίποτα, δεν φοβάμαι τίποτα, είμαι λέφτερος     Nikos Kazantzakis, irreverencia y libertad de pensamiento (1883 - 1957)   "Soy el hombre más sencillo que existe, pero cuando siento un "grito" en mí, no acepto transformarlo en una "vocecilla" para complacer a los mudos y a los tartamudos. Pues yo no deseo agradar a nadie, ni tener discípulo ni ser discípulo. He venido a este mundo por algunos instantes y quiero lanzar un grito y partir. Nada más." ¡Qué extraña máquina es el hombre! Usted le mete pan, vino, pescado y rábanos, y salen suspiros, risas y sueños.    Uno de los escritores, poetas y filósofo mas importante de Grecia en el Siglo XX fué Nikos Kazantzakis, quien nació en Iraklion en 1883, justo a la entrada de un Siglo que traeria muchos cambios que él con facilidad reflejaria en sus obras que compilan un bello homenaje a la vida,

Walt Whitman "Me celebro y me canto a mi­ mismo"

"Soy Walt Whitman, un cosmos, el hijo de Manhattan, tormentoso, carnal y sensitivo: como, bebo y engendro. No soy sentimental ni miro desde arriba a hombres ni a mujeres de los que no me aparto. No soy mas orgulloso que humilde... Me humilla quien humilla a los otros, y nada se hace o dice que no recaiga en mi...." Walt Whitman "Carpe Diem" , aprovecha el dia. No dejes que termine sin haber crecido un poco, sin haber sido un poco mas feliz, sin haber alimentado tus sueños. No te dejes vencer por el desaliento. No permitas que nadie te quite el derecho de expresarte que es casi un deber. No abandones tus ansias de hacer de tu vida algo extraordinario... No dejes de creer que las palabras, la risa y la poesia si­ pueden cambiar el mundo... Somos seres, humanos, llenos de pasion.La vida es desierto y tambien es oasis.Nos derriba, nos lastima, nos convierte en protagonistas de nuestra propia historia... Pero no dejes nunca de soñar, porque solo a traves de sus sueños