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