Стивен Коул Клини - Stephen Cole Kleene

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

Стивен Коул Клини (/ˈkлeɪпя/ KLAY-ни;[а] 5 января 1909 - 25 января 1994) Американец математик. Один из учеников Церковь Алонсо, Клини вместе с Рожа Петер, Алан Тьюринг, Эмиль Пост, и др., наиболее известен как основатель отрасли математическая логика известный как теория рекурсии, что впоследствии помогло заложить основы теоретических Информатика. Работа Клини обосновывает изучение вычислимые функции. В его честь назван ряд математических понятий: Клини иерархия, Клини алгебра, то Клини звезда (Закрытие Клини), Теорема Клини о рекурсии и Теорема Клини о неподвижной точке. Он также изобрел обычные выражения в 1951 году для описания Нейронные сети Маккаллоха-Питтса, и внесли значительный вклад в фундамент математический интуиционизм.

биография

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

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

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

В 1946 году Клини вернулась в Висконсин, став профессором в 1948 году и профессором математики Сайруса К. МакДаффи в 1964 году. Он был заведующим кафедрой математики и информатики с 1962 по 1963 год, а также Декан из Колледжа литературы и науки с 1969 по 1974 год. Последнее назначение он взял на себя, несмотря на значительные студенческие волнения того дня, связанные с война во Вьетнаме. Он вышел на пенсию из Университета Висконсина в 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]

Избранные публикации

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

Примечания

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

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

  1. ^ Пейс, Эрик (27 января 1994 г.). «Стивен К. Клини умер в возрасте 85 лет; был лидером в области компьютерных наук». Нью-Йорк Таймс.
  2. ^ В Запись "Стивен Клини" в Бесплатный онлайн-словарь по вычислительной технике.
  3. ^ "О С. К. Клини". Университет Висконсина - библиотеки Мэдисона. Получено 23 апреля 2016.
  4. ^ Кейслер, Х. Джером (Сентябрь 1994 г.). «Стивен Коул Клини 1909–1994». Уведомления AMS. 41 (7): 792.
  5. ^ Сайт IUHPS; также известный как «Международный союз истории и философии науки». Членом МСНС, Международный совет по науке (ранее названный Международный совет научных союзов).
  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. ^ Епископ, Эрретт (1965). "Рассмотрение: Основы интуиционистской математики, Стивен Коул Клини и Ричард Юджин Веслей ". Бюллетень Американского математического общества. 71 (6): 850–852. Дои:10.1090 / с0002-9904-1965-11412-4.

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