американский логик и математик, член Национальной АН США (с 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-е издание
- МИНТО Уильям
- МОНТЕГЮ Ричард
- МОРГАН Огастес де
- МОСТЕРИН Хесус
- МОСТЕРИН Хесус
- МОСТОВСКИЙ Анджей
- НАГЕЛЬ Эрнест
- НЕЙМАН Джон фон
- НИКОЛЬ Пьер
- НЬЮКОМБ Саймон
- ОККАМ Уильям
- ОНГ Уолтер
- ОРЕ Ойстин
- ПАНОФСКИЙ Эрвин
- ПАТНЭМ Хилари Уайтхолл
- ПЕРЕЛЬМАН Хаим
- ПИРС Чарлз Сантьяго Сандерс
- ПИФАГОР Самосский
- ПЛАТОН (философ)
- ПОВАРНИН Сергей Иннокентьевич
- ПОППЕР Карл Раймунд
- ПОРЕЦКИЙ Платон Сергеевич
- ПОРТЕР Ной
- ПОСТ Эмиль Леон
- РАЗБОРОВ Александр Александрович
- РАЙМУНД ЛУЛЛИЙ
- РАМЕ Пьер де ла
- РАМСЕЙ Франк
- РАССЕЛ Бертран
- РЕЙХЕНБАХ Ханс
- РИГЕР Ладислав
- РИКЕР Поль
- РОБИНСОН Абрагам
- РОДЖЕРС Хартлей
- РОЖЕ Питер Марк
- РОМЕРО Франсиско
- РУЖИЦКИЙ Ежи
- РУТКОВСКИЙ Леонид Васильевич
- САЛЛИ Джеймс
- СВЕТИЛИН Александр Емельянович
- СЕШЕ Альбер
- СКУЛЕМ Туральф Альберт
- СМАЛЛИАН Реймонд
- СНЕГИРЕВ Вениамин Алексеевич
- СОКРАТ
- СУАЙНСХЕД Ричард
- СУППЕС Патрик Колонель
- ТАРСКИЙ Альфред
- ТАРЬЯН Роберт Андре
- ТВАРДОВСКИЙ Казимеж
- ТОМАС Иво
- ТРЕНДЕЛЕНБУРГ Фридрих Адольф
- ТЬЮРИНГ Алан Матисон
- УАЙЛДЕР Раймон Луиз
- УАЙЛИ Шон
- УИДГЕРСОН Ави
- УОТТС Исаак
- УСПЕНСКИЙ Владимир Андреевич
- ФАСИ Абу Хафс
- ФЕЙЕРАБЕНД Пол
- ФРЕГЕ Готлоб
- ХВИСТЕК Леон
- ХИНТИККА Яакко
- ХИРШ Хорхе