Досье личности

Ценность: 2 (6)

Симпатия: 2 (6)

дата обновления - 2014-12-23

просмотров - 2

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

Другое имя: Клийн Стефан Коул

Имя латиницей: Kleene Stephen Cole

Пол: мужской

Дата рождения: 05.01.1909

Место рождения: Хартфорд, штат Коннектикут, США

Дата смерти: 25.01.1994 Возраст (85)

Место смерти: Мэдисон, штат Висконсин, США

Знак зодиака: Козерог

По восточному: Петух

География: США.

Ключевые слова: знание, логик, математик, наука.

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

американский логик и математик, член Национальной АН США (с 1969). Окончил Принстонский университет (1930). В 1930-1935 гг. преподавал там же, с 1935 г. работал в Висконсинском университете (с 1948 г. – профессор), в 1939-1940 и в 1965-1966 гг. – в Принстонском институте перспективных исследований, в 1966-1967 гг. – директор Математического исследовательского центра. Основное направление исследований – математическая логика. Совместно с Э. Л. Постом оформил теорию рекурсивности в самостоятельное научное направление. Начиная с 1936 г. развивал теорию рекурсивных функций. Доказал теорему о нормальной форме, которая позволила характеризовать совокупность рекурсивных функций с помощью простого арифметического соотношения. Ввел (1938) частично рекурсивные функции, для которых доказал т. н. теорему рекурсивности. Установил (1940) возможность построения иерархии арифметических предикатов, которую распространил (1955) на бесконечность. Независимо от А. Мостовского разработал классификацию логических построений (классификация Клини – Мостовского). Президент Международного союза по истории и философии наук, президент Ассоциации символической логики.

Медиа (1)

Стивен Коул КЛИНИ в фотографиях:

Связи (2)
Источники (3)
  • А. И. Бородин. Биографический словарь деятелей в области математики. - Киев, Радянська школа, 1979
  • А. Н. Боголюбов. Математики Механики. - Киев, Наукова думка, 1983
  • Большая советская энциклопедия. 3-е издание
Обсуждение
comments powered by HyperComments
Наверх