Клини, Стивен Коул
| Стивен Коул Клини | |
|---|---|
 | |
| Имя при рождении | англ. Stephen Cole Kleene |
| Дата рождения | 5 января 1909[1][2][3][…] |
| Место рождения | |
| Дата смерти | 25 января 1994[1][2][3][…] (85 лет) |
| Место смерти | |
| Страна | |
| Научная сфера | теоретическая информатика |
| Место работы | |
| Альма-матер | |
| Научный руководитель | Алонзо Чёрч[6] |
| Награды и премии | |
Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, англ. 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.
- Клини С. К. Конечная аксиоматизируемость теорий в исчислении предикатов с помощью дополнительных предикатных символов. / Там же.
См. также[править | править код]
Примечания[править | править код]
- ↑ 1 2 Архив по истории математики Мактьютор
- ↑ 1 2 Encyclopædia Britannica (англ.)
- ↑ 1 2 Музей Соломона Гуггенхайма — 1937.
- ↑ Клини Стивен Коул // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохорова — 3-е изд. — М.: Советская энциклопедия, 1969.
- ↑ Немецкая национальная библиотека, Берлинская государственная библиотека, Баварская государственная библиотека, Австрийская национальная библиотека Record #136329632 // Общий нормативный контроль (GND) — 2012—2016.
- ↑ Математическая генеалогия (англ.) — 1997.
Литература[править | править код]
- Клини / А. С. Кузичев, З. А. Кузичева // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
Ссылки[править | править код]
- Джон Дж. О’Коннор и Эдмунд Ф. Робертсон. Клини, Стивен Коул (англ.) — биография в архиве MacTutor.
- Saunders Mac Lane. Stephen Cole Kleene. 1909-1994 (англ.) // Biographical Memoirs. — 1998. — Vol. 75.
- Библиография
Тематические сайты | ||||
|---|---|---|---|---|
| Словари и энциклопедии | ||||
| Генеалогия и некрополистика | ||||
- Родившиеся 5 января
- Родившиеся в 1909 году
- Родившиеся в Хартфорде
- Умершие 25 января
- Умершие в 1994 году
- Умершие в Мадисоне
- Преподаватели Висконсинского университета в Мадисоне
- Выпускники Принстонского университета
- Выпускники Амхерстского колледжа
- Стипендиаты Гуггенхайма
- Награждённые Национальной медалью науки США
- Персоналии по алфавиту
- Учёные по алфавиту
- Математики по алфавиту
- Математики США
- Математики XX века
- Логики по алфавиту
- Логики США
- Логики XX века
- Исследователи искусственного интеллекта
- Члены Национальной академии наук США