| Lista Articulos: [0-C] [C-I] [I-P] [P-Z] | Todas las categorías | Página aleatoria | Lo que enlaza aquí | ||||||
Kurt Gödel lógico y matemático (28 de abril 1906 - 14 de enero 1978) nació en Brünn, Austria-Hungría (en la actualidad Brno, Chequia). Estudió en la Universidad de Viena. Ante la opresión nazi marcha a Estados Unidos en 1934, emigrando allí ya 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).
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".
Existen varios teoremas asociados a Gödel. 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. Dicho teorema se conoce como Teorema de la incompletud de Gödel.


