Войти
| Стивен Клини | |
|---|---|
 | |
| Родился | ( 1909-01-05)5 января 1909 г. Хартфорд, Коннектикут, США |
| Умер | 25 января 1994 г. (1994-01-25)(85 лет) Мэдисон, Висконсин, США |
| Национальность | Американец |
| Альма-матер | Амхерст Колледж Принстонский университет |
| Известен | |
| Награды | Премия Лероя П. Стила (1983 г.), Национальная медаль науки (1990 г.) |
| Научная карьера | |
| Поля | Математика |
| Учреждения | Университет Висконсина-Мэдисона |
| Докторант | Церковь Алонсо |
| Докторанты | Роберт Констебль Джоан Мощовакис Яннис Мощовакис Нельс Дэвид Нельсон Дик де Йонг |
Клини ( / к л eɪ н я / 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 году он был награжден Национальной медалью науки.
У Клини и его жены Нэнси Эллиот было четверо детей. Он всю жизнь посвятил себя семейной ферме в штате Мэн. Заядлый альпинист, он сильно интересовался природой и окружающей средой и принимал активное участие во многих мероприятиях по охране природы.
На каждой конференции симпозиума по логике в области компьютерных наук премия Клини, в чести Клини, даются для лучшей студенческой газеты.
