Немецкий математик. Родился в Грейфсвальде. Учился в университетах Грейфсвальда, Гёттингена, Мюнхена и Берлина. Окончил Гёттингенский университет (1933). Ученик Г. Вейля и Д. Гильберта. В 1934 работал вместе с Гильбертом в Гёттингенском университете, с 1944 — в Пражском университете.

Исследования посвящены математической логике. Развивал идеи, высказанные Л. Н. Уайтхедом и Б. А. У. Расселом. Ввел логико- математические исчисления, которые служат для формализации и исследования содержательных доказательств, относящихся к гипотезам (формальная логика). Доказал непротиворечивость теории чисел. Сформулировал (1935) основную теорему теории доказательств.