Клини - Stephen Cole Kleene


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

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

биография

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

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

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

В 1946 году Клини вернулся в Висконсин , став полным профессором в 1948 году и профессор Сайрус С. MacDuffee математики в 1964. Он был председателем кафедры математики и информатики, 1962-63, и декан Колледжа Писем и Наука с 1969 по 1974 г. последнего назначения он взял на себя, несмотря на значительных студенческих волнения дня, вытекающих из войны во Вьетнаме . Он ушел из университета штата Висконсин в 1979 г. В 1999 г. библиотека математики в Университете штата Висконсин был переименован в его честь.

Учение Клини в Висконсине в результате трех текстов в математической логике , Клини (1952, 1967) и Клини и Весли (1965). Первые два часто цитируются и до сих пор в печати. Клини (1952) написал альтернативные доказательства к неполноте теоремы Геделя , что повысило их канонический статус и сделали их легче учить и понимать. Клини и Вел (1965) является классическим американским введением в интуиционистской логику и математику .

Клини служил президентом Ассоциации Символической Логики , 1956-58, и Международного союза истории и философии науки, 1961. В 1990 году он был награжден Национальной медалью науки . Важность работы Клини привела к тому , что «Kleeneness находится рядом с Gödelness.»

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

Отдельные издания

  • 1936. «Общие рекурсивные функции натуральных чисел», Math. Энн. , 112 , 727-742.
  • 1952. Введение в метаматематику. Нью - Йорк: Van Nostrand. (Иши Press: 2009 переиздание).
  • 1951. С. К. Клини (15 декабря 1951). «Представление событий в нервных сетях и конечных автоматов» (PDF) . ВВС США проект Rand Research Меморандум (RM-704). RAND Corporation.
  • 1956. С. К. Клини (1956). Шеннон, Клод ; МакКарти, Джон , ред. Представление событий в нервных сетях и конечных автоматах . Автоматные исследования . OCLC  564148 .
  • 1965 (с Ричардом Евгений Весли). Основы интуиционистской математики . North-Holland.

награда Клини

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

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

Заметки

Рекомендации

внешняя ссылка