Mathematik, mathematische Logik
1941 Wissenschaftlicher Hilfsarbeiter im Auswärtigen Amt. 1943 Privatdozent an der Universität in Münster. 1948 Professor m. LA., 1955 Professor für Mathematik an der Universität in Berlin; seit 1950 zugleich Direktor des Instituts für mathematische Logik. 1961 Mitglied des Direktoriums. 1967 Direktor des Instituts für reine Mathematik der Akademie. 1969-1977 Vorsitzender der Klasse Mathematik der Akademie. 1960 Nationalpreis.