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