Стивен Коул Клини - Stephen Cole Kleene

Стивен Клини
Kleene.jpg
Родился ( 1909-01-05 )5 января 1909 г.
Умер 25 января 1994 г. (1994-01-25)(85 лет)
Национальность Американец
Альма-матер Амхерст Колледж
Принстонский университет
Известен
Награды Премия Лероя П. Стила (1983 г.),
Национальная медаль науки (1990 г.)
Научная карьера
Поля Математика
Учреждения Университет Висконсина-Мэдисона
Докторант Церковь Алонсо
Докторанты Роберт Констебль
Джоан Мощовакис
Яннис Мощовакис
Нельс Дэвид Нельсон
Дик де Йонг

Клини ( / к л н я / Klay -nee ; 5 января 1909 - 25 января, 1994) был американским математиком . Один из учеников Алонзо Черча , Клини, наряду с Розой Петером , Аланом Тьюрингом , Эмилем Постом и другими, наиболее известен как основатель раздела математической логики, известного как теория рекурсии , которая впоследствии помогла заложить основы теоретической теории. информатика . Работа Клини обосновывает изучение вычислимых функций . Ряд математических понятий называют его именем: Клини иерархии , Клини алгебры , то Клини звезда (Клини закрытия), теорема рекурсии Клини и Клини с фиксированной точкой теоремы . Он также изобрел регулярные выражения в 1951 году для описания нейронных сетей Мак-Каллока-Питтса и внес значительный вклад в основы математического интуиционизма .

биография

Клини получил степень бакалавра в Амхерст-колледже в 1930 году. Ему была присуждена степень доктора философии. Он получил степень по математике в Принстонском университете в 1934 году, где его диссертацию, озаглавленную «Теория положительных целых чисел в формальной логике» , курировал Алонзо Чёрч . В 1930-х годах он проделал важную работу над лямбда-исчислением Черча . В 1935 году он поступил на математический факультет Университета Висконсин-Мэдисон , где провел почти всю свою карьеру. Проработав два года инструктором, в 1937 году он был назначен доцентом.

В 1939–1940 гг. В качестве приглашенного исследователя в Институте перспективных исследований в Принстоне он заложил основы теории рекурсии - области, которая была его исследовательским интересом на протяжении всей его жизни. В 1941 году он вернулся в Амхерст-колледж, где проработал один год доцентом математики.

Во время Второй мировой войны , Клини был капитан - лейтенанта в ВМС Соединенных Штатов . Он был инструктором по навигации в Школе гардемаринов военно-морского резерва США в Нью-Йорке , а затем руководителем проекта в Лаборатории военно-морских исследований в Вашингтоне, округ Колумбия.

В 1946 году Клини вернулся в университет Висконсин-Мэдисон, став профессором в 1948 году и профессором математики Сайруса К. МакДаффи в 1964 году. Департамент численного анализа (позже переименованный в Департамент компьютерных наук). Он также работал деканом Колледжа литературы и науки в 1969–1974 годах. Во время учебы в Университете Висконсина он был научным руководителем 13 докторских диссертаций. студенты. Он ушел из Университета Висконсина в 1979 году. В 1999 году математическая библиотека Университета Висконсина была переименована в его честь.

В результате обучения Клини в Висконсине было написано три текста по математической логике : «Клини» (1952, 1967) и «Клини и Весли» (1965). Первые два часто цитируются и до сих пор печатаются. Клини (1952) написал альтернативные доказательства теорем Гёделя о неполноте, которые повысили их канонический статус и облегчили их обучение и понимание. Kleene and Vesley (1965) - это классическое американское введение в интуиционистскую логику и математическую математику .

[...] Теория рекурсивных функций имеет центральное значение в информатике. Клини ответственен за многие фундаментальные результаты в этой области, включая теорему Клини о нормальной форме (1936), рекурсивную теорему Клини (1938), развитие арифметических и гиперарифметических иерархий в 1940-х и 1950-х годах, Клини- Пост-теория степеней неразрешимости (1954 г.) и теория рекурсии высшего типа. который он начал в конце 1950-х и вернулся в конце 1970-х. [...] Начиная с конца 1940-х годов, Клини также работала во второй области - интуиционизме Брауэра. Используя инструменты теории рекурсии, он представил рекурсивную реализуемость, важный метод интерпретации интуиционистских утверждений. Летом 1951 года в Rand Corporation он совершил крупный прорыв в третьей области, когда дал важную характеристику событий, воспринимаемых конечным автоматом.

Клини был президентом Ассоциации символической логики в 1956–1958 годах и Международного союза истории и философии науки в 1961 году. Важность работы Клини привела к тому, что Дэниел Клемент Деннет придумал поговорку, опубликованную в 1978 году: находится рядом с Гёделнессом ". В 1990 году он был награжден Национальной медалью науки .

У Клини и его жены Нэнси Эллиот было четверо детей. Он всю жизнь посвятил себя семейной ферме в штате Мэн. Заядлый альпинист, он сильно интересовался природой и окружающей средой и принимал активное участие во многих мероприятиях по охране природы .

Наследие

На каждой конференции симпозиума по логике в области компьютерных наук премия Клини , в чести Клини, даются для лучшей студенческой газеты.

Избранные публикации

Смотрите также

Примечания

использованная литература

внешние ссылки