Стивен Коул Клини - Stephen Cole Kleene
Стивен Клини | |
---|---|
Родился |
Хартфорд, Коннектикут , США
|
5 января 1909 г.
Умер | 25 января 1994 г.
Мэдисон, Висконсин , США
|
(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 году он был награжден Национальной медалью науки .
У Клини и его жены Нэнси Эллиот было четверо детей. Он всю жизнь посвятил себя семейной ферме в штате Мэн. Заядлый альпинист, он сильно интересовался природой и окружающей средой и принимал активное участие во многих мероприятиях по охране природы .
Наследие
На каждой конференции симпозиума по логике в области компьютерных наук премия Клини , в чести Клини, даются для лучшей студенческой газеты.
Избранные публикации
- 1935. Стивен Коул Клини (январь 1935 г.). "Теория положительных чисел в формальной логике. Часть I" . Американский журнал математики . 57 (1): 153–173. DOI : 10.2307 / 2372027 . JSTOR 2372027 .
- 1935. Стивен Коул Клини (апрель 1935 г.). "Теория положительных целых чисел в формальной логике. Часть II" . Американский журнал математики . 57 (2): 219–244. DOI : 10.2307 / 2371199 . JSTOR 2371199 .
- 1935. Стивен Коул Клини; Дж. Б. Россер (июль 1935 г.). «Несогласованность некоторых формальных логик». Анналы математики . 2-я серия. 36 (3): 630–636. DOI : 10.2307 / 1968646 . JSTOR 1968646 .
- 1936. "Общерекурсивные функции натуральных чисел" . Mathematische Annalen (112): 727–742. 1936 г.
- 1936. « -определяемость и рекурсивность» . Математический журнал герцога . 2 (2): 340–352. 1936 г.
- 1938. "Об обозначениях порядковых чисел" (PDF) . Журнал символической логики . 3 (4): 150–155. 1938. DOI : 10,2307 / 2267778 . JSTOR 2267778 .
- 1943. «Рекурсивные предикаты и кванторы» . Труды Американского математического общества . 53 (1): 41–73. Январь 1943 г. doi : 10.1090 / S0002-9947-1943-0007371-8 .
- 1951. Клини, Стивен Коул (15 декабря 1951). «Представление событий в нервных сетях и конечных автоматах» (PDF) . Меморандум об исследованиях Rand в рамках проекта ВВС США (RM-704). Корпорация РЭНД .
- 1952. Введение в метаматематику. Нью-Йорк: Ван Ностранд. (Ishi Press: перепечатка 2009 г.).
- 1956. Клини, Стивен Коул (1956). Шеннон, Клод ; Маккарти, Джон (ред.). Представление событий в нервных сетях и конечных автоматах . Исследования автоматов . OCLC 564148 .
- 1965 (с Ричардом Юджином Веслей). Основы интуиционистской математики . Северная Голландия.
- 1967. Математическая логика. Джон Вили и сыновья . Отпечаток Dover, 2002. ISBN 0-486-42533-9 .
- 1981. "Истоки теории рекурсивных функций" в Annals of the History of Computing 3 , No. 1.
- 1987. «Размышления над диссертацией Черча» . Журнал формальной логики Нотр-Дам . 28 (4): 490–498. Октябрь 1987. DOI : 10,1305 / ndjfl / 1093637645 .
Смотрите также
Примечания
использованная литература
внешние ссылки
- О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Стивен Коул Клини" , архив истории математики MacTutor , Университет Сент-Эндрюс
- Биографические воспоминания - Сондерс Мак Лейн
- Библиография Клини
- «Математическое сообщество Принстона в 1930-е годы: стенограмма № 23 (PMC23): Стивен К. Клини и Дж. Баркли Россер» . Архивировано из оригинального 10 -го марта 2015 года.- Интервью с Клини и Джоном Баркли Россером об их опыте в Принстоне
- Стивен Коул Клини на сервере библиографии DBLP