Математик, член Национальной АН США. Родился в Брно. Окончил Венский университет (1930). В 1933—1935 и в 1940—1953 работал в Принстонском институте перспективных исследований (США), в 1935— 1938 —в Венском университете. С 1953 — профессор Принстонского университета.

Основные направления исследований — математическая логика и теория множеств. Занимался также философией математики. Им доказана теорема о невозможности полной формализации процесса логического вывода. В теории множеств известна его работа о непротиворечивости гипотезы континуума. В классическом исчислении предикатов сформулировал и доказал теорему о полноте (теорема Гёделя, 1930) и теорему о неполноте (1931). Получил ряд результатов в области «исчисления понятий».