Другое имя: Клийн Стефан Коул, Клейни Стефан Коул
Имя латиницей: Kleene Stephen Cole
Пол: мужской
Дата рождения: 05.01.1909
Место рождения: Хартфорд, штат Коннектикут, США
Дата смерти: 25.01.1994 Возраст (85)
Место смерти: Мэдисон, штат Висконсин, США
Знак зодиака: Козерог
По восточному: Петух
География: США.
Ключевые слова: знание, логик, математик, наука.
Anno: 1940
Locus: Принстонский университет.
Стивен Коул КЛИНИ
американский логик и математик, член Национальной АН США (с 1969). Окончил Принстонский университет (1930). В 1930-1935 гг. преподавал там же, с 1935 г. работал в Висконсинском университете (с 1948 г. – профессор), в 1939-1940 и в 1965-1966 гг. – в Принстонском институте перспективных исследований, в 1966-1967 гг. – директор Математического исследовательского центра. Основное направление исследований – математическая логика. Совместно с Э. Л. Постом оформил теорию рекурсивности в самостоятельное научное направление. Начиная с 1936 г. развивал теорию рекурсивных функций. Доказал теорему о нормальной форме, которая позволила характеризовать совокупность рекурсивных функций с помощью простого арифметического соотношения. Ввел (1938) частично рекурсивные функции, для которых доказал т. н. теорему рекурсивности. Установил (1940) возможность построения иерархии арифметических предикатов, которую распространил (1955) на бесконечность. Независимо от А. Мостовского разработал классификацию логических построений (классификация Клини – Мостовского). Президент Международного союза по истории и философии наук, президент Ассоциации символической логики.
Стивен Коул КЛИНИ в фотографиях:
- А. И. Бородин. Биографический словарь деятелей в области математики. - Киев, Радянська школа, 1979
- А. Н. Боголюбов. Математики Механики. - Киев, Наукова думка, 1983
- Большая советская энциклопедия. 3-е издание