Клини ( / к л eɪ н я / Klay -nee ; [а] 5 января 1909 - 25 января, 1994) был американский математик . Один из учеников Алонзо Черча , Клини, вместе с Розой Петером , Аланом Тьюрингом , Эмилем Постом и другими наиболее известен как основатель раздела математической логики, известного как теория рекурсии , которая впоследствии помогла заложить основы теоретической информатика . Работа Клини обосновывает изучениевычислимые функции . Ряд математических понятий называют его именем: Клини иерархии , Клини алгебры , то Клини звезда (Клини закрытия), теорема рекурсии Клини и Клини с фиксированной точкой теоремы . Он также изобрел регулярные выражения в 1951 году для описания нейронных сетей Мак-Каллока-Питтса и внес значительный вклад в основы математического интуиционизма .
Стивен Клини | |
---|---|
Родившийся | Хартфорд, Коннектикут , США | 5 января 1909 г.
Умер | 25 января 1994 г. Мэдисон, Висконсин , США | (85 лет)
Национальность | Американец |
Альма-матер | Амхерст Колледж Принстонский университет |
Известен | |
Награды | Премия Лероя П. Стила (1983 г.), Национальная медаль науки (1990 г.) |
Научная карьера | |
Поля | Математика |
Учреждения | Университет Висконсина – Мэдисон |
Докторант | Церковь Алонсо |
Докторанты | Роберт Констебль Джоан Мощовакис Яннис Мощовакис Нельс Дэвид Нельсон Дик де Йонг |
биография
Клини получил степень бакалавра в Амхерст-колледже в 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 г. " λ {\ displaystyle \ lambda} -определимость и рекурсивность " . Duke Mathematical Journal . 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) . Меморандум об исследованиях в рамках проекта ВВС США (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 .
Смотрите также
- Список пионеров информатики
Заметки
- ^ Хотя его фамилия обычно выражена / к л я н я / KLEE -nee или / к л я н / KLEEN , сам Клини произносил / к л eɪ н я / Клэй -nee . [1] Его сын, Кен Клини, писал: «Насколько мне известно, это произношение неверно во всех известных языках. Я считаю, что это новое произношение было изобретено моим отцом». [2]
Рекомендации
- ^ Пейс, Эрик (27 января 1994 г.). «Стивен К. Клини умер в возрасте 85 лет; был лидером в области компьютерных наук» . Нью-Йорк Таймс .
- ^ В записи «Стивен Клини» в Free Online Dictionary of Computing .
- ^ "СК Клини" . Проверено 8 февраля 2021 года .
- ^ Кейслер, Х. Джером (сентябрь 1994 г.). «Стивен Коул Клини 1909–1994». Уведомления AMS . 41 (7): 792.
- ^ Веб-сайт IUHPS ; также известный как «Международный союз истории и философии науки». Член ICSU , Международного совета по науке ( ранее называвшегося Международным советом научных союзов).
- ^ Дэниел Клемент Деннет и Карел Ламберт, «Клини», в Философском лексиконе , 7 изд. (Ньюарк, Делавэр: Американская философская ассоциация, 1978), 5; и Гиперборея (псевдоним блоггера), «Логоцентрический лексикон Деннета» (9 декабря 2007 г.): http://aeconomics.blogspot.com/2007/12/dennetts-logocentric-lexicon.html
- ^ http://lics.siglog.org/archive/kleene-award.html
- ^ WorldCat: выпуски «Введение в метаматематику».. OCLC 523942 .
- ^ Бишоп, Эрретт (1965). «Обзор: основы интуиционистской математики Стивена Коула Клини и Ричарда Юджина Весли» . Бюллетень Американского математического общества . 71 (6): 850–852. DOI : 10.1090 / s0002-9904-1965-11412-4 .
Внешние ссылки
- О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Стивен Коул Клини" , архив истории математики MacTutor , Университет Сент-Эндрюс.
- Биографические воспоминания - Сондерс Мак Лейн
- Библиография Клини
- «Математическое сообщество Принстона в 1930-е годы - СТИВЕН К. КЛИН и Дж. БАРКЛИ РОССЕР» . Архивировано из оригинального 10 -го марта 2015 года.- Интервью с Клини и Джоном Баркли Россером об их опыте в Принстоне
- Стивен Коул Клини на сервере библиографии DBLP