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