Американский математик и логик, член Национальной АН США (с 1969). Родился в Хартфорде. Окончил Принстонский университет (1930). В 1930—1935 преподавал там же, с 1935 работает в Висконсинском университете (с 1948 — профессор), в 1939—1940 и в 1965—1966 — в Принстонском институте перспективных исследований, в 1966—1967 — директор Математического исследовательского центра. Основное направление исследований—математическая логика. Совместно с Э. Л. Постом оформил теорию рекурсивности в самостоятельное научное направление. Начиная с 1936 развивал теорию рекурсивных функций. Доказал теорему о нормальной форме, которая позволила характеризовать совокупность рекурсивных функций с помощью простого арифметического соотношения. 13вел (1938) частично рекурсивные функции, для которых доказал так называемую теорему рекурсивности. Установил (1940) возможность построения иерархии арифметических предикатов, которую распространил (1955) на бесконечность. Независимо от А. Мостовского разработал классификацию логических построений (классификация Клийна — Мостовского).

Президент Международного союза по истории и философии наук, президент Ассоциации символической логики.