Matemático y lógico, nació el 28 de abril de 1906 en Brno, Checoslovaquia.

Su primer interés académico fue la lingüística, para dedicarse más tarde a las matemáticas.

En 1924 ingresa en la Universidad de Viena para estudiar física teórica.

En 1926 su atención se volvió hacia las matemáticas. Estuvo asociado durante muchos años al círculo de Viena, grupo de matemáticos que fundó la escuela filosófica conocida como “Positivismo Lógico”. Durante esos años, Godel se fue interesando progresivamente en teoría de números y después en Lógica Matemática.

En 1930 se doctora en matemáticas por la Universidad de Viena y empieza a trabajar en sus más importantes teorías sobre la completitud de sistemas formales. Ese mismo año se incorpora a la citada Universidad y, posteriormente , de forma discontinua, al Institute for Advanced Study de Princeton, durante los años 1933, 1935, 1938-52. Aquí conoce a A. Einstein, del que llegó a ser gran amigo, trabajando juntos en los aspectos filosóficos y matemáticos de la “Teoría General de la Relatividad”.

En 1931 aparece por primera vez la “Prueba de Godel” publicada en un artículo en Monatshefte fur Mathematik und Physik, sobre proposiciones formalmente indeterminables de El Principia Matemática, de Whitehead y Russel.

En 1938 se casa con Adele Porkert y deciden emigrar a USA en 1940, donde se naturaliza en 1948.

En 1940 publica su trabajo Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory, con el que se convierte en un clásico de las matemáticas modernas.

Desde 1953 fue profesor del citado Instituto.

Recibió muchos homenajes:

En 1951 es nombrado “doctor honoris causa” por la Universidad de Yale y en 1952 por la Universidad de Harvard.

En 1955 es nombrado miembro de la Academia Nacional de Ciencias
.
En 1957 es nombrado miembro de la Academia Americana de las Artes y las Ciencias.

En 1957 es nombrado miembro honorario de la Sociedad Matemática de Londres.

Finalmente, en 1975 se le otorga la Medalla Nacional de las Ciencias.

Godel muere el 14 de enero de 1978 en Princeton, USA.