WikiDer > Стивен Коул Клини
Стивен Клини | |
---|---|
Родившийся | Хартфорд, Коннектикут, НАС. | 5 января 1909 г.
Умер | 25 января 1994 г. Мэдисон, Висконсин, НАС. | (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]
Избранные публикации
- 1935. Стивен Коул Клини (январь 1935 г.). "Теория положительных целых чисел в формальной логике. Часть I". Американский журнал математики. 57 (1): 153–173. Дои:10.2307/2372027. JSTOR 2372027.
- 1935. Стивен Коул Клини (апрель 1935 г.). "Теория положительных целых чисел в формальной логике. Часть II". Американский журнал математики. 57 (2): 219–244. Дои:10.2307/2371199. JSTOR 2371199.
- 1935. Стивен Коул Клини; Дж. Б. Россер (июль 1935 г.). «Несогласованность некоторых формальных логик». Анналы математики, 2-я серия. 36 (3): 630–636. Дои:10.2307/1968646. JSTOR 1968646.
- 1936. «Общерекурсивные функции натуральных чисел». Mathematische Annalen (112): 727–742. 1936.
- 1936. "-определимость и рекурсивность ". Математический журнал герцога. 2 (2): 340–352. 1936.
- 1938. «Об обозначениях порядковых чисел» (PDF). Журнал символической логики. 3 (4): 150–155. 1938. Дои:10.2307/2267778. JSTOR 2267778.
- 1943. «Рекурсивные предикаты и кванторы». Труды Американского математического общества. 53 (1): 41–73. Январь 1943 г. Дои: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. "Истоки теории рекурсивных функций" в Анналы истории вычислительной техники 3, № 1.
- 1987. «Размышления о тезисе Черча». Журнал формальной логики Нотр-Дам. 28 (4): 490–498. Октябрь 1987 г. Дои:10.1305 / ndjfl / 1093637645.
Смотрите также
Примечания
Рекомендации
- ^ Пейс, Эрик (27 января 1994 г.). «Стивен К. Клини умер в возрасте 85 лет; был лидером в области компьютерных наук». Нью-Йорк Таймс.
- ^ В Запись "Стивен Клини" в Бесплатный онлайн-словарь по вычислительной технике.
- ^ "О С. К. Клини". Университет Висконсина - библиотеки Мэдисона. Получено 23 апреля 2016.
- ^ Кейслер, Х. Джером (Сентябрь 1994 г.). «Стивен Коул Клини 1909–1994». Уведомления AMS. 41 (7): 792.
- ^ Сайт IUHPS; также известный как «Международный союз истории и философии науки». Членом МСНС, Международный совет по науке (ранее названный Международный совет научных союзов).
- ^ Дэниел Клемент Деннет и Карел Ламберт, «клини», в Философский лексикон, 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. Дои:10.1090 / с0002-9904-1965-11412-4.
внешняя ссылка
- О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Стивен Коул Клини", Архив истории математики MacTutor, Сент-Эндрюсский университет.
- Биографические воспоминания - к Saunders Mac Lane
- Библиография Клини
- «Математическое сообщество Принстона в 1930-е годы - СТИВЕН К. КЛИН и Дж. БАРКЛИ РОССЕР». Архивировано из оригинал 10 марта 2015 г. - Интервью с Клини и Джон Баркли Россер об их опыте в Принстоне
- Стивен Коул Клини в DBLP Сервер библиографии