La Enciclopedia Libre Universal en Español dispone de una lista de distribución pública, enciclo@listas.us.es
Kurt Gödel
Artículo de la Enciclopedia Libre Universal en Español.
|
[escribe] Biografía
Estudió en la Universidad de Viena. Ante la opresión nazi marcha a Estados Unidos en 1934, emigrando allí de forma permanente en 1940 para pasar el resto de su vida en Princeton, donde fue gran amigo de Einstein (realizó una contribución sustancial a la teoría general de la relatividad). Se naturalizó estadounidense en 1942.
Hacia el final de su vida desarrolló signos clásicos de depresión y paranoia que le indujeron a dejar de comer (pensaba que había una conspiración contra él) y a llevar una máscara de esquí para evitar el ambiente contaminado de Princeton.
Murió de desnutrición e inanición, el 14 de enero de 1978, en Princeton, cuando pesaba 30 kg, como resultado, según su certificado de defunción, de un «trastorno de la personalidad».
Se deben a Gödel varios teoremas de gran importancia. En 1931 pública el artículo Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Sobre las proposiciones formalmente irresolubles de los Principia Mathematica y los sistemas relacionados). En este artículo, demostraba que en todo sistema axiomático que tiene por lo menos la complejidad de la aritmética, hay proposiciones metamatemáticas que no pueden probarse o refutarse mediante deducciones formales basadas en los axiomas del sistema, lo que se conoce como el teorema de la incompletitud de Gödel.
También demostró que la hipótesis del continuo es consistente con los axiomas de Zermelo-Frankel.
[escribe] Referencias
Bibliografía
- Obras completas; Kurt Gödel; Madrid, Alianza, 1981.
- Hofstadter, Douglas. Gödel, Escher, Bach: un Eterno y Grácil Bucle; Tusquets Editores & CONACYT. 1ª Ed. 1979.
Otras fuentes de información
El contenido de este artículo incorpora material de una entrada de la Wikipedia, publicada con licencia CC-BY-SA 3.0.
Notas