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

Стивен Коул Клини ( / ˈ k l eɪ n i / KLAY -nee ; [a] 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) написал альтернативные доказательства теорем Гёделя о неполноте , которые повысили их канонический статус и сделали их более простыми для преподавания и понимания. Клини и Весли (1965) — классическое американское введение в интуиционистскую логику и математический интуиционизм .

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

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

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

Наследие

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

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

  • 1935. «Теория положительных целых чисел в формальной логике. Часть I». American Journal of Mathematics . 57 (1): 153–173. Январь 1935. doi :10.2307/2372027. JSTOR  2372027.
  • 1935. «Теория положительных целых чисел в формальной логике. Часть II». American Journal of Mathematics . 57 (2): 219–244. Апрель 1935. doi :10.2307/2371199. JSTOR  2371199.
  • 1935. —; Россер, Дж. Баркли (июль 1935). «Непоследовательность некоторых формальных логик». Annals of Mathematics . 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. S2CID  34314018.
  • 1943. «Рекурсивные предикаты и квантификаторы». Труды Американского математического общества . 53 (1): 41–73. Январь 1943. doi : 10.1090/S0002-9947-1943-0007371-8 .
  • 1951. «Представление событий в нервных сетях и конечных автоматах» (PDF) . Исследовательский меморандум проекта ВВС США RAND. № RM-704. Корпорация RAND . 15 декабря 1951 г.
  • 1952. Введение в метаматематику . Нью-Йорк: Van Nostrand. 1952. OCLC  523942.[8]
  • 1956. Шеннон, Клод ; Маккарти, Джон , ред. (1956). «Представление событий в нервных сетях и конечных автоматах». Исследования автоматов . OCLC  564148.
  • 1965 —; Весли, Ричард Юджин. Основы интуиционистской математики . Северная Голландия.[9]
  • 1967. Математическая логика. John Wiley & Sons . Переиздание Dover, 2002. ISBN 0-486-42533-9 . 
  • 1981. «Истоки теории рекурсивных функций» в Annals of the History of Computing 3, № 1.
  • 1987. «Размышления о тезисе Чёрча». Notre Dame Journal of Formal Logic . 28 (4): 490–498. Октябрь 1987. doi : 10.1305/ndjfl/1093637645 .

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

Примечания

  1. ↑ Хотя его фамилия обычно произносится как / ˈ k l iː n i / KLEE -nee или / k l iː n / KLEEN , сам Клини произносил её как / ˈ k l eɪ n i / KLAY -nee . [1] Его сын, Кен Клини, писал: «Насколько мне известно, это произношение неверно во всех известных языках. Я считаю, что это новое произношение было придумано моим отцом». [2] Однако в Нидерландах можно найти много случаев использования этой фамилии, а голландское произношение «ee» — как ay, как в hail, но короче. Вероятно, Клини знал об этом.

Ссылки

  1. ↑ Пейс, Эрик (27 января 1994 г.). «Стивен К. Клини умер в возрасте 85 лет; был лидером в области компьютерных наук». The New York Times .
  2. ↑ В статье «Стивен Клини» в бесплатном онлайн-словаре по вычислительной технике.
  3. ^ "SC Kleene" . Получено 8 февраля 2021 г. .
  4. ^ Кейслер, Х. Джером (сентябрь 1994 г.). «Стивен Коул Клини 1909–1994». Уведомления AMS . 41 (7): 792.
  5. ^ Сайт IUHPS; также известен как «Международный союз истории и философии науки». Член ICSU, Международного совета по науке (ранее назывался Международным советом научных союзов).
  6. ↑ Дэниел Деннетт и Карел Ламберт, «kleene», в «Философском лексиконе» , 7-е изд. (Ньюарк, Делавэр: Американская философская ассоциация, 1978), 5; и Hyperborea (псевдоним блогера), «Логоцентрический лексикон Деннетта» (9 декабря 2007 г.): http://aeconomics.blogspot.com/2007/12/dennetts-logocentric-lexicon.html
  7. ^ "LICS – Архив". lics.siglog.org .
  8. ↑ Перепечатка . Ishi Press . 13 марта 2009 [1952]. ISBN 9780923891572.
  9. ^ Бишоп, Эрретт (1965). "Обзор: основы интуиционистской математики" (PDF) . Бюллетень Американского математического общества . 71 (6): 850–852. doi : 10.1090/s0002-9904-1965-11412-4 .
Взято с "https://en.wikipedia.org/w/index.php?title=Стивен_Коул_Клин&oldid=1256222579"