Клини, Стивен Коул
математик и логик США / Материал из Википедии — свободной encyclopedia
Уважаемый Wikiwand AI, давайте упростим задачу, просто ответив на эти ключевые вопросы:
Перечислите основные факты и статистические данные о Клини, Стивен Коул?
Кратко изложите эту статью для 10-летнего ребёнка
Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мадисон, Висконсин, США) — американский математик и логик.
Стивен Коул Клини | |
---|---|
Имя при рождении | англ. Stephen Cole Kleene |
Дата рождения | 5 января 1909(1909-01-05)[1][2][…] |
Место рождения | |
Дата смерти | 25 января 1994(1994-01-25)[1][2][…] (85 лет) |
Место смерти | |
Страна | |
Род деятельности | математик, специалист в области информатики, философ, преподаватель университета |
Научная сфера | теоретическая информатика и теория алгоритмов |
Место работы | |
Альма-матер |
|
Научный руководитель | Алонзо Чёрч[5] |
Ученики | Дэвид Нельсон[англ.], Yiannis N. Moschovakis[англ.], Robert Constable[англ.], Де Йонг, Дик, Robert L. Constable[англ.], Yiannis N. Moschovakis[англ.] |
Награды и премии |
В 1930 окончил Принстонский университет, в 1930–1935 преподавал там же. С 1935 в Висконсинском университете перспективных исследований. В 1966–1967 – директор Математического исследовательского центра.
Член Национальной академии наук США с 1969.
Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана Тьюринга дали начало разделу математической логики — теории вычислимости. Кроме того, известен изобретением регулярных выражений. Его именем названы алгебра Клини, звёздочка Клини, теорема Клини о рекурсии, теорема Клини о неподвижной точке. Работал также в области интуиционистской математики Брауэра. Внёс важный вклад в теорию конечных автоматов (см. теорема Клини).
Сам Клини произносил свою фамилию как «Клейни», ошибочная транслитерация «Клини» утвердилась в Советском Союзе в связи с изданием переводов его книг именно под такой фамилией.
Среди наиболее известных работ, издававшихся на русском языке, — книги «Введение в метаматематику» и «Математическая логика».