Kurt Gödel (1906-1978), lógico estadounidense de origen austriaco, conocido sobre todo por sus investigaciones en filosofía y en matemáticas. Nació en Brünn (hoy Brno, República Checa).
Estudió en la Universidad de Viena y dio clases en esta institución desde 1933 a 1938.
Emigró a los Estados Unidos en 1940 y se nacionalizó estadounidense en 1948. Fue miembro del Instituto para Estudios Avanzados de Princeton, Nueva Jersey, hasta 1953, fecha en la que empezó a enseñar matemáticas en la Universidad de Princeton.
Gödel se dio a conocer con una obra, publicada en 1931, en la que enunció lo que se conoce como teorema de Gödel.
Este principio establece que en cualquier sistema simbólico formal es posible construir una proposición que no se puede probar ni refutar en el mismo sistema. Gödel también escribió The Consistency of the Continuum Hypothesis (La consistencia de la hipótesis del continuo , 1940) y Rotating Universes in General relativity Theory (Los universos giratorios en la teoría de la relatividad general, 1950).
Véase también David Hilbert.