Interested Article - Клини, Стивен Коул

Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни , англ. 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.
Клини С. К. Конечная аксиоматизируемость теорий в исчислении предикатов с помощью дополнительных предикатных символов. / Там же.

См. также

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

Примечания

↑
↑ Stephen Cole Kleene // (англ.)
Клини Стивен Коул // Большая советская энциклопедия : [в 30 т.] / под ред. А. М. Прохоров — 3-е изд. — М. : Советская энциклопедия , 1969.
Deutsche Nationalbibliothek Record #136329632 // (нем.) — 2012—2016.
(англ.) — 1997.

Литература

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

Ссылки

Джон Дж. О’Коннор и Эдмунд Ф. Робертсон . (англ.) — биография в архиве MacTutor .
Saunders Mac Lane. (англ.) // Biographical Memoirs. — 1998. — Vol. 75 .
от 19 сентября 2015 на Wayback Machine