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