 |
Стивен Коул КлиниАмериканский математик и логик.
Дата рождения: 05.01.1909
Страна:  США |
Содержание:
- Биография Стивена Клини
- Математическая логика и теория вычислимости
- Регулярные выражения и теория автоматов
- Интуиционистская математика
- Вклад в терминологию
- - "Введение в метаматематику"
Биография Стивена Клини
Ранние годы и образованиеСтивен Коул Клини, известный в Советском Союзе как Клини, родился в Хартфорде, штат Коннектикут. Он изучал математику в Принстонском университете под руководством Алонзо Чёрча.
Математическая логика и теория вычислимости
После окончания университета Клини работал в Принстонском институте перспективных исследований, где совместно с Гёделем и Тьюрингом внёс основополагающий вклад в развитие теории вычислимости. Их работы легли в основу этой важной области математической логики.
Регулярные выражения и теория автоматов
Вклад Клини не ограничился теорией вычислимости. Он также известен изобретением регулярных выражений, крайне важных в теоретике автоматов, и разработкой теоремы Клини в этой области.
Интуиционистская математика
Кроме своей работы в области математической логики, Клини внёс значительный вклад в интуиционистскую математику Луitzen Egbertus Jan Brouwer.
Вклад в терминологию
Именем Клини названы:- Алгебра Клини
- Звёздочка Клини
- Теорема Клини о рекурсии
- Теорема Клини о неподвижной точке
Известные работы
Некоторые из наиболее известных работ Клини, издававшихся на русском языке, включают:
- "Введение в метаматематику"
- "Математическая логика"Произношение фамилии и наследие
Клини предпочитал произносить свою фамилию как "Клейни". Однако в СССР она была транслитерирована как "Клини" и эта ошибочная форма закрепилась в русскоязычной литературе. Наследие Клини в области математики остаётся значительным, и его работы продолжают вдохновлять и влиять на математиков по сей день.
