Стівен Коул Кліні
американський логік і математик, праці якого заклали основи теоретичної інформатики / З Вікіпедії, безкоштовно encyclopedia
Стівен Коул Кліні (англ. Stephen Cole Kleene; 5 січня 1909 — 25 січня 1994) — американський логік і математик, праці якого заклали основи теоретичної інформатики. Автор ряду широко відомих монографій з математичної логіки, основах математики і теорії рекурсивних функцій.
Стівен Коул Кліні (Клейні) | |
---|---|
Stephen Cole Kleene | |
Ім'я при народженні | англ. Stephen Cole Kleene |
Народився | 5 січня 1909(1909-01-05)[1][2][…] США |
Помер | 25 січня 1994(1994-01-25)[1][2][…] (85 років) США |
Громадянство | США |
Діяльність | математик, інформатик, філософ, викладач університету |
Галузь | математика |
Alma mater | Принстонський університет |
Науковий керівник | Алонзо Черч |
Знання мов | англійська[3][4] |
Заклад | Університет Вісконсин-Медісон |
Учасник | Друга світова війна[1] |
Членство | Національна академія наук США і Американська академія мистецтв і наук |
Напрямок | Інтуїціонізм |
Magnum opus | Kleene–Brouwer orderd, Kleene–Rosser paradoxd, Kleene's Od, Church–Kleene ordinald, Kleene's recursion theoremd, Kleene's T predicated, Kleene's theoremd, Kleene's algorithmd, Kleene algebrad, зірочка Кліні, Kleene fixed-point theoremd, лямбда-числення і The foundations of intuitionistic mathematicsd |
Військове звання | лейтенант-коммандерd[1] |
Нагороди | |
Звання | професор |
|
Його роботи спільно з роботами Алонзо Черча, Курта Геделя і Алана Тюринга дали початок розділу математичної логіки — теорії обчислюваності. Крім того, відомий винаходом регулярних виразів. Його ім'ям названі алгебра Кліні, зірочка Кліні, теорема Кліні про рекурсію, теорема Кліні про нерухому точку, smn-теорема. Працював також в області інтуїціоністської математики Брауера. Вніс важливий вклад до теорії Скінченних автоматів (див. теорема Кліні).
Сам Кліні вимовляв своє прізвище як «Клейні», помилкова транслітерація «Кліні» затвердилася в СРСР через видання перекладів його книг саме під таким прізвищем.[джерело?]