You are here

Kurt Gödel

Past Faculty

School of Mathematics

The foremost mathematical logician of the twentieth century, Kurt Gödel was associated with the Institute for Advanced Study from his first visit in the academic year 1933–34, until his death in 1978. He was Professor in the School of Mathematics from 1953 until 1976, when he became Professor Emeritus. Among Gödel’s most famous results are his Incompleteness Theorems, which show that in any consistent axiomatic mathematical system there are propositions that cannot be proved or disproved within the system and that the consistency of the axioms themselves cannot be proved. Additionally, Gödel published proofs of the relative consistency of the axiom of choice and the generalized continuum hypothesis (1938, 1940), which strongly influenced the (later) discovery that a computer can never be programmed to answer all mathematical questions.

Dates at IAS
Emeritus Mathematics 7/19761/1978
Faculty Mathematics 9/19536/1976
Member Mathematics 1/19406/1953
Member Mathematics 9/193812/1938 Fall
Member Mathematics 9/193512/1935 Fall
Member Mathematics 9/19336/1934
University of Vienna Ph.D., 1930
Rockefeller Univ 1972
Amherst Coll 1967
HonDSc: Harvard Univ 1952
HonDLitt Yale Univ 1951
Einstein Award 1951
AMS Gibbs Lect 1951
Am Philos Soc
Assoc for Symbolic Logic
Corr Member, Inst de France
For Member Royal Soc of Britain
London Math Soc
Natl Medal of Sci 1974 Memberships: AMS