¿Qué es?
No se ha añadido ninguna twiki todavía.
Matemático y lógico americano, nacido en Brünn, ciudad cercana a Viena (Brno, de la actual República Checa). Estudió matemáticas en Viena, donde fue profesor de 1933 a 1938, y donde entabló contactos con el Círculo de Viena. En 1938, ante el peligro nazi, marchó a EE.UU, y trabajó en el Institute for Advanced Studies de Princeton (Nueva Jersey). Sus estudios sobre lógica y metamatemática (filosofía de las matemáticas explicitada en lenguaje matemático) han sido los de mayor importancia del siglo XX.
A partir de 1943 se dedicó también a otros temas filosóficos, preferentemente cosmológicos; en 1951 recibió el premio Einstein y en 1975 la Medalla nacional de la Ciencia; fue miembro de la Academia Nacional de Ciencias de Estados Unidos y de la Royal Society, de Londres. Entre sus aportaciones a la lógica matemática destaca, como la más conocida, el teorema que lleva su nombre, llamado también teorema de la incompletud, que afirma la existencia de proposiciones indecidibles en un sistema formal de la aritmética.
Bibliografía
Del autor
- Collected Works, Gödel, Kurt. Oxford Univ. Press, N. York, 1986.
- Gödel, Kurt, Obras completas. Alianza, Madrid, 1989.
Relaciones geográficas