Американский математик, член Американской академии искусств и наук. Родился в Экроне. Окончил Гарвардский университет (1931). В 1932—1933 совершенствовал знания в университетах Праги, Вены и Варшавы. В 1936— 1948 работал в Гарвардском университете, с 1948 работает в Принстонском институте перспективных исследований. В 1942 читал лекции в университете Сан- Паулу (Бразилия), в 1953—1954 — в Оксфордском университете (Англия), в 1958 — в университете в Аделаиде (Австралия), в 1958 — в университете в Токио (Япония), в 1962 — в Коллеж де Франс (Франция), в 1973— в университете в Упсале (Швеция).

Основные работы посвящены математической логике, теории классов, основаниям математической логики. Развивал взаимосвязи теории множеств и математической логики. Внес важный вклад в формальную логику. Исследовал математический характер взаимосвязи знаков. Доказал (1946), что теория этой взаимосвязи эквивалентна элементарной теории чисел. Упростил (1940) доказательство К. Гёделя неполноты арифметики, изучил теорию классов, новые логические системы и ввел в них новую технику исследования.

Член Международной академии философии наук.