Американский математик и логик. Родился в Августове (ныне ПНР). Окончил Колумбийский университет (1921). В 1932—1935 — профессор Нью- Йоркского городского колледжа.

Внес важный вклад в развитие математической логики. Занимался общими вопросами оснований математики, в частности проблемами конечного и бесконечного. Создал (1936) теорию рекурсивных функций, ввел обозначения степени и класса эквивалентности в относительной рекурсивности. Разработал совместно с С. С Клийном теорию рекурсивности. Показал (1947) неразрешимость проблемы Тью. В области «исчисления понятии» получил результаты, аналогичные результатам К. Гёделя. Предложил (1936— 1939) комбинаторное исчисление. Построил (1943) классификацию множеств и предикатов, основанную на сходимости предикатов. Работы в области алгебры логики.