Клини, Стивен Коул
| Стивен Коул Клини | |
| Дата рождения: | 5 января 1909 г. |
| Дата смерти: | 25 января 1994 г. |
Стивен Коул Клини (англ. Stephen Cole Kleene; 5 января 1909 — 25 января 1994) — американский математик, чьи работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана Тьюринга дали начало разделу математической логики — теории вычислимости. Кроме того, известен изобретением регулярных выражений. Его именем названы Алгебра Клини, Звёздочка Клини, теорема Клини о рекурсии, теорема Клини о неподвижной точке. Кроме того, известны его работы в области интуиционистсткой математики Брауэра.
Сам Клини произносил свою фамилию как «Клейни», ошибочная транслитерация «Клини» утвердилась в Советском Союзе в связи с изданием переводов его книг именно под такой фамилией.
Среди наиболее известных работ, издававшихся на русском языке — книги «Введение в метаматематику» и «Математическая логика».
| Это незавершённая статья об учёном-математике. Вы можете помочь проекту, исправив и дополнив её. |
