Стівен Коул Кліні
Стівен Коул Кліні (англ. Stephen Cole Kleene; 5 січня 1909 — 25 січня 1994) — американський логік і математик, праці якого заклали основи теоретичної інформатики. Автор ряду широко відомих монографій з математичної логіки, основах математики і теорії рекурсивних функцій.
Стівен Коул Кліні (Клейні) | |
---|---|
Stephen Cole Kleene | |
![]() Кліні в 1978 | |
Ім'я при народженні | англ. Stephen Cole Kleene ![]() |
Народився | 5 січня 1909[1][2][…] ![]() США |
Помер | 25 січня 1994[1][2][…] (85 років) ![]() США |
Громадянство | ![]() |
Діяльність | математик, інформатик, філософ, викладач університету ![]() |
Галузь | математика |
Alma mater | Принстонський університет |
Науковий керівник | Алонзо Черч |
Знання мов | англійська[4][5] ![]() |
Заклад | Університет Вісконсин-Медісон |
Учасник | Друга світова війна[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-теорема. Працював також в області інтуїціоністської математики Брауера. Вніс важливий вклад до теорії Скінченних автоматів (див. теорема Кліні).
Сам Кліні вимовляв своє прізвище як «Клейні», помилкова транслітерація «Кліні» затвердилася в СРСР через видання перекладів його книг саме під таким прізвищем.[джерело?]
Примітки
ред.Посилання
ред.- Кліні на сайті MacTutor
- Кліні на сайті Mathematics Genealogy Project
- Біографічні мемуари — автор Саундерс Маклейн
- Бібліографія
- Інтерв'ю з Кліні та Джоном Барклі Россером щодо їх праці у Принстоні.
Це незавершена стаття про науковця. Ви можете допомогти проєкту, виправивши або дописавши її. |