Факультет математики и компьютерных наук, история


КЛИНИ Стивен Коул

КЛИНИ Стивен Коул (Kleene Stephen Cole) (p. 5.1.1909, Хартфорд, шт.Коннектикут) - американский логик и математик, чл. Национальной АН США (1969). Окончил Принстонский университет (1930), с 1935 работает в Висконсинском университете (с 1948 профессор). Основные труды по теории алгоритмов и рекурсивных функций, а также проблемам интуиционистской логики и математики. Ввёл понятие рекурсивной реализуемости формул. Известна классификация Клини-Мостовского для теоретико-числовых предикатов (1943).
На русский язык переведны его книги


ИвГУ: Математический факультет. Главная страница