Created by Selene Ramirez
over 2 years ago
|
||
Kurt Godel nació en 1906 en Brunn (Imperio Astro-húngaro) ahora República Checa.
Estudia en la Universidad de Viena, pretendía estudiar física, finalmente estudia matemáticas y filosofía.
Godel desarrolla su tesis doctoral "Sobre sentencias formalmente indecibles de principal mathematica y sistemas afines".
La pregunta que se planteó:
¿son suficientes los axiomas de un sistema formal para derivar cada una de las proposiciones verdaderas en todos los modelos del sistema?.
El Teorema de la incompletitud dice:
"No puede existir una teoría matemática del todo; ninguna unificación de lo demostrable y lo que es cierto".
Kurt Godel trabajó con un sistema de 25 símbolos.
El Teorema de la incompletitud echa por tierra el famoso "axioma de la solubilidad de todo problema matemático" que postulaba Hilbert.
El trabajo de Godel inició nuevas ramas en el estudio de la lógica matemática.
En 1933 se muda a EUA.
Trabajó también la lógica intuicionista, teoría de conjuntos, teoría de modelos.
Murió en el año 1978 de inanición. Obsesionado con la posibilidad de ser envenenado, cuando su esposa Adele tuvo que ser hospitalizada y no pudo cocinar para su marido, Kurt, coherente, rehusó comer cualquier cosa y murió pesando 30 kilos.