Стивен Коул Клини

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

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

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

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

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

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

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

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

1935. «Теория положительных целых чисел в формальной логике. Часть I» . Американский журнал математики . 57 (1): 153–173. Январь 1935 г. doi : 10.2307/2372027 . JSTOR 2372027 .
1935. «Теория положительных целых чисел в формальной логике. Часть II» . Американский журнал математики . 57 (2): 219–244. Апрель 1935 г. doi : 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. " $\lambda$ -определяемость и рекурсивность» . Duke Mathematical Journal . 2 (2): 340–352. 1936.
1938. «Об обозначениях порядковых чисел» (PDF) . Журнал символической логики . 3 (4): 150–155. 1938. дои : 10.2307/2267778 . JSTOR 2267778 . S2CID 34314018 .
1943. «Рекурсивные предикаты и кванторы» . Труды Американского математического общества . 53 (1): 41–73. Январь 1943 г. doi : 10.1090/S0002-9947-1943-0007371-8 .
1951. «Представление событий в нервных сетях и конечных автоматах» (PDF) . Меморандум об исследованиях проекта ВВС США. № РМ-704. Корпорация РЭНД . 15 декабря 1951 года.
1952. Введение в метаматематику . Нью-Йорк: Ван Ностранд. 1952. OCLC 523942 . ^[8]

1956. Шеннон, Клод ; Маккарти, Джон , ред. (1956). «Представление событий в нервных сетях и конечных автоматах». Исследования автоматов . OCLC 564148 .
1965 —; Весли, Ричард Юджин. Основы интуиционистской математики . Северная Голландия. ^[9]
1967. Математическая логика. Джон Уайли и сыновья . Переиздание Дувра, 2002 г. ISBN 0-486-42533-9 .
1981. «Истоки теории рекурсивных функций» в «Анналах истории вычислений» 3 , № 1.
1987. «Размышления о диссертации Чёрча» . Журнал формальной логики Нотр-Дама . 28 (4): 490–498. Октябрь 1987 г. doi : 10.1305/ndjfl/1093637645 .

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

Примечания [ править ]

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

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

^ Пейс, Эрик (27 января 1994 г.). «Стивен К. Клин умер в 85 лет; был лидером в области компьютерных наук» . Нью-Йорк Таймс .
^ В статье «Стивен Клини» в Бесплатном онлайн-словаре по информатике .
^ «СК Клини» . Проверено 8 февраля 2021 г.
^ Кейслер, Х. Джером (сентябрь 1994 г.). «Стивен Коул Клини 1909–1994». Уведомления АМС . 41 (7): 792.
^ Веб-сайт IUHPS ; также известный как «Международный союз истории и философии науки». Член ICSU , Международного совета по науке ( ранее называвшегося Международным советом научных союзов).
^ Дэниел Деннетт и Карел Ламберт, «Клин», в «Философском лексиконе» , 7-е изд. (Ньюарк, Делавэр: Американская философская ассоциация, 1978), 5; и Гиперборея (псевдоним блоггера), «Логоцентрический лексикон Деннета» (9 декабря 2007 г.): http ://a Economics.blogspot.com/2007/12/dennetts-logocentric-lexicon.html
^ «ЛИКС – Архив» . lics.siglog.org .
^ перепечатка . Иши Пресс . 13 марта 2009 г. [1952]. ISBN 9780923891572 .
^ Бишоп, Эрретт (1965). «Обзор: основы интуиционистской математики» (PDF) . Бюллетень Американского математического общества . 71 (6): 850–852. дои : 10.1090/s0002-9904-1965-11412-4 .

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

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

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

[1] Пейс, Эрик (27 января 1994 г.). «Стивен К. Клин умер в 85 лет; был лидером в области компьютерных наук» . Нью-Йорк Таймс .

[2] В статье «Стивен Клини» в Бесплатном онлайн-словаре по информатике .

[4] «СК Клини» . Проверено 8 февраля 2021 г.

[5] Кейслер, Х. Джером (сентябрь 1994 г.). «Стивен Коул Клини 1909–1994». Уведомления АМС . 41 (7): 792.

[6] Веб-сайт IUHPS ; также известный как «Международный союз истории и философии науки». Член ICSU , Международного совета по науке ( ранее называвшегося Международным советом научных союзов).

[7] Дэниел Деннетт и Карел Ламберт, «Клин», в «Философском лексиконе» , 7-е изд. (Ньюарк, Делавэр: Американская философская ассоциация, 1978), 5; и Гиперборея (псевдоним блоггера), «Логоцентрический лексикон Деннета» (9 декабря 2007 г.): http ://a Economics.blogspot.com/2007/12/dennetts-logocentric-lexicon.html

[8] «ЛИКС – Архив» . lics.siglog.org .

[9] перепечатка . Иши Пресс . 13 марта 2009 г. [1952]. ISBN 9780923891572 .

[10] Бишоп, Эрретт (1965). «Обзор: основы интуиционистской математики» (PDF) . Бюллетень Американского математического общества . 71 (6): 850–852. дои : 10.1090/s0002-9904-1965-11412-4 .

[а]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[1]

[2]

Базы данных авторитетного контроля
International	FAST ISNI VIAF WorldCat
National	Norway France BnF data Germany Italy Israel United States Sweden Latvia Japan Czech Republic Croatia Netherlands Poland 2
Academics	Association for Computing Machinery CiNii DBLP MathSciNet Mathematics Genealogy Project zbMATH
People	Deutsche Biographie
Other	SNAC IdRef