Из Википедии, свободной энциклопедии
  (Перенаправлено от Стивена Клини )
Перейти к навигации Перейти к поиску
Стивен Клини
Kleene.jpg
Рожденный( 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 году математическая библиотека Университета Висконсина была переименована в его честь. [3]

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

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

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

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

Наследие [ править ]

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

Избранные публикации [ править ]

  • 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 г. λ {\ displaystyle \ lambda}
  • 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) . Меморандум об исследованиях в рамках проекта ВВС США (RM-704). Корпорация РЭНД .
  • 1952. Введение в метаматематику. Нью-Йорк: Ван Ностранд. (Ishi Press: перепечатка 2009 г.). [8]
  • 1956. Клини, Стивен Коул (1956). Шеннон, Клод ; Маккарти, Джон (ред.). Представление событий в нервных сетях и конечных автоматах . Исследования автоматов . OCLC 564148 . 
  • 1965 (с Ричардом Юджином Веслей). Основы интуиционистской математики . Северная Голландия. [9]
  • 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 .

См. Также [ править ]

  • Список пионеров информатики

Заметки [ править ]

  1. ^ Хотя его фамилия обычно выражена / к л я н я / KLEE -nee или / к л я н / KLEEN , сам Клини произносил / к л eɪ н я / Клэй -nee . [1] Его сын, Кен Клини, писал: «Насколько мне известно, это произношение неверно во всех известных языках. Я считаю, что это новое произношение было изобретено моим отцом». [2]

Ссылки [ править ]

  1. ↑ Пейс, Эрик (27 января 1994 г.). «Стивен К. Клини умер в возрасте 85 лет; был лидером в области компьютерных наук» . Нью-Йорк Таймс .
  2. ^ В записи «Стивен Клини» в Free Online Dictionary of Computing .
  3. ^ "SC Kleene" . Проверено 8 февраля 2021 года .
  4. ^ Кейслера, H. Джером (сентябрь 1994). «Стивен Коул Клини 1909–1994». Уведомления AMS . 41 (7): 792.
  5. ^ Веб-сайт IUHPS ; также известный как «Международный союз истории и философии науки». Член ICSU , Международного совета по науке ( ранее называвшегося Международным советом научных союзов).
  6. ^ Дэниел Клемент Деннет и Карел Ламберт, «Клини», в Философском лексиконе , 7 изд. (Ньюарк, Делавэр: Американская философская ассоциация, 1978), 5; и Гиперборея (псевдоним блоггера), «Логоцентрический лексикон Деннета» (9 декабря 2007 г.): http://aeconomics.blogspot.com/2007/12/dennetts-logocentric-lexicon.html
  7. ^ http://lics.siglog.org/archive/kleene-award.html
  8. ^ WorldCat: выпуски «Введение в метаматематику».. OCLC  523942 .
  9. ^ Епископ, Errett (1965). «Обзор: основы интуиционистской математики Стивена Коула Клини и Ричарда Юджина Весли» . Бюллетень Американского математического общества . 71 (6): 850–852. DOI : 10.1090 / s0002-9904-1965-11412-4 .

Внешние ссылки [ править ]

  • О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Стивен Коул Клини" , архив истории математики MacTutor , Университет Сент-Эндрюс.
  • Биографические воспоминания - Сондерс Мак Лейн
  • Библиография Клини
  • «Математическое сообщество Принстона в 1930-е годы - СТИВЕН К. КЛИН и Дж. БАРКЛИ РОССЕР» . Архивировано из оригинального 10 -го марта 2015 года.- Интервью с Клини и Джоном Баркли Россером об их опыте в Принстоне
  • Стивен Коул Клини на сервере библиографии DBLP