Клини, Стивен Коул (Tlnun, Vmnfyu Tkrl)

Стивен Коул Клини
Стивен Коул Клини
Имя при рождении	англ. Stephen Cole Kleene
Дата рождения	5 января 1909[…]
Место рождения	Хартфорд, Коннектикут;
Дата смерти	25 января 1994[…] (85 лет)
Место смерти	Мадисон, Висконсин;
Страна	США;
Род деятельности	математик, специалист в области информатики, философ, преподаватель университета
Научная сфера	теоретическая информатика и теория алгоритмов
Место работы	Висконсинский университет в Мадисоне; Принстонский университет; Амхерстский колледж; Военно-морские силы США; Висконсинский университет в Мадисоне;
Альма-матер	Принстонский университет (1934); Амхерстский колледж (1930);
Научный руководитель	Алонзо Чёрч
Ученики	Дэвид Нельсон[англ.], Yiannis N. Moschovakis[англ.], Robert Constable[англ.], Де Йонг, Дик, Robert L. Constable[англ.], Yiannis N. Moschovakis[англ.]
Награды и премии	стипендия Гуггенхайма (1949) премия Стила (1983)

Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мадисон, Висконсин, США) — американский математик и логик.

В 1930 году окончил Принстонский университет, в 1930–1935 годах преподавал там же. С 1935 года в Висконсинском университете перспективных исследований. В 1966–1967 годах – директор Математического исследовательского центра.

Член Национальной академии наук США с 1969 года.

Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана Тьюринга дали начало разделу математической логики — теории вычислимости. Кроме того, известен изобретением регулярных выражений. Его именем названы алгебра Клини, звёздочка Клини, теорема Клини о рекурсии, теорема Клини о неподвижной точке. Работал также в области интуиционистской математики Брауэра. Внёс важный вклад в теорию конечных автоматов (см. теорема Клини).

Сам Клини произносил свою фамилию как «Клейни», ошибочная транслитерация «Клини» утвердилась в Советском Союзе в связи с изданием переводов его книг именно под такой фамилией.

Среди наиболее известных работ, издававшихся на русском языке, — книги «Введение в метаматематику» и «Математическая логика».

Работы, переведённые на русский язык

Клини С. К. Введение в метаматематику. — М.: Издательство иностранной литературы, [1952]1957.
Клини С. К., Весли Р. И. [Vesley R. E.] Основания интуиционистской математики с точки зрения теории рекурсивных функций. — М.: Наука, [1965]1978.
Клини С. К. Математическая логика. — М.: Мир, [1967]1973.
Клини С. К. Перестановочность применений правил в генценовских исчислениях LK и LJ. / Идельсон А. В. (ред.), Минц Г. Е. (ред). Математическая теория логического вывода. — М.: Наука, 1967.
Клини С. К. Конечная аксиоматизируемость теорий в исчислении предикатов с помощью дополнительных предикатных символов. / Там же.

См. также

Алгебра регулярных выражений

Примечания

↑ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ ⁹ Архив по истории математики Мактьютор — 1994.
↑ ¹ ² Stephen Cole Kleene // Encyclopædia Britannica (англ.)
↑ Клини Стивен Коул // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохорова — 3-е изд. — М.: Советская энциклопедия, 1969.
↑ Deutsche Nationalbibliothek Record #136329632 // Gemeinsame Normdatei (нем.) — 2012—2016.
↑ Mathematics Genealogy Project (англ.) — 1997.

Литература

А. С. Кузичев, З. А. Кузичева. Клини // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.

Ссылки

Джон Дж. О’Коннор и Эдмунд Ф. Робертсон. Клини, Стивен Коул (англ.) — биография в архиве MacTutor.
Saunders Mac Lane. Stephen Cole Kleene. 1909-1994 (англ.) // Biographical Memoirs. — 1998. — Vol. 75.
Библиография Архивная копия от 19 сентября 2015 на Wayback Machine

[_eeb25a584892f6b1-1] ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ ⁹ Архив по истории математики Мактьютор — 1994.

[_371f39d4bbaf63ea-2] ¹ ² Stephen Cole Kleene // Encyclopædia Britannica (англ.)

[_cbe5b5ed8288895e-3] Клини Стивен Коул // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохорова — 3-е изд. — М.: Советская энциклопедия, 1969.

[_15216323a1d34c9b-4] Deutsche Nationalbibliothek Record #136329632 // Gemeinsame Normdatei (нем.) — 2012—2016.

[_fda44764f1622cd1-5] Mathematics Genealogy Project (англ.) — 1997.

[1]

[2]

[3]

[4]

[5]