- Клини, Стивен
-
Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мэдисон, Висконсин, США) — американский математик.
Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана Тьюринга дали начало разделу математической логики — теории вычислимости. Кроме того, известен изобретением регулярных выражений. Его именем названы Алгебра Клини, Звёздочка Клини, теорема Клини о рекурсии, теорема Клини о неподвижной точке. Работал также в области интуиционистсткой математики Брауэра. Внёс важный вклад в теорию конечных автоматов (см. теорема Клини).
Сам Клини произносил свою фамилию как «Клейни», ошибочная транслитерация «Клини» утвердилась в Советском Союзе в связи с изданием переводов его книг именно под такой фамилией.
Среди наиболее известных работ, издававшихся на русском языке — книги «Введение в метаматематику» и «Математическая логика».
Содержание
Переведено на русский язык
- Клини С.К. “Введение в метаматематику.“ -М.: изд-во ИЛ, [1952]1957
- Клини С.К. “Весли Р.И.[Vesley R.E.] Основания интуиционистской математики с точки зрения теории рекурсивных функций.“ -М.: изд-во Наука, [1965]1978
- Клини С.К. Математическая логика. -М.: изд-во Мир, [1967]1973
- Идельсон А.В(ред) Минц Г.Е.(ред) “Математическая теория логического вывода“, изд-во Наука, 1967 -- в сборнике переводов две статьи :
- Клини С.К. “Перестановочность применений правил в генценовских исчислениях LK и LJ“.
- Клини С.К. “Конечная аксиоматизируемость теорий в исчислении предикатов с помощью дополнительных предикатных символов“.
Примечания
Ссылки
- Джон Дж. О’Коннор и Эдмунд Ф. Робертсон. Клини, Стивен Коул в архиве MacTutor
- Клини, Стивен Коул в проекте Математическая генеалогия
- Биографические мемуары – автор Саундерс Маклейн
- Библиография
- Интервью с Клини и Джоном Баркли Россером об их работе в Принстоне.
См. также
Wikimedia Foundation. 2010.