Стівен Коул Кліні

Матеріал з Вікіпедії — вільної енциклопедії.

Стівен Коул Кліні (англ. Stephen Cole Kleene) (5 січня 1909 - 25 січня 1994) - американський математик, праці якого заклали основи теоретичної інформатики.

Його роботи спільно з роботами Алонзо Черча, Курта Геделя і Алана Тюринга дали почало розділу математичної логіки — теорії обчислюваності. Крім того, відомий винаходом регулярних виразів. Його ім'ям названі алгебра Кліні, зірочка Кліні, теорема Кліні про рекурсію, теорема Кліні про нерухому точку. Працював також в області інтуїционістстькій математики Брауера. Вніс важливий вклад до теорію Скінченних автоматів (див. теорема Кліні).

Сам Кліні вимовляв своє прізвище як «Клейні», помилкова транслітерація «Кліні» затвердилася в СРСР у зв'язку з виданням перекладів його книг саме під таким прізвищем.

[ред.] Перекладено російською мовою

• Клини С.К. Введение в метаматематику. -М.: изд-во ИЛ, [1952]1957
• Клини С.К., Весли Р.И.[Vesley R.E.] Основания интуиционистской математики с точки зрения теории рекурсивных функций. -М.: изд-во Наука, [1965]1978
• Клини С.К. Математическая логика. -М.: изд-во Мир, [1967]1973
• Идельсон А.В(ред) Минц Г.Е.(ред)`Математическая теория логического вывода`, изд-во Наука, 1967 -- у збірці перекладів дві статті :
  • Клини С.К. Перестановочность применений правил в генценовских исчислениях LK и LJ.
  • Клини С.К. Конечная аксиоматизируемость теорий в исчислении предикатов с помощью дополнительных предикатных символов.

[ред.] Посилання

• Кліні на сайті MacTutor
• Кліні на сайті Mathematics Genealogy Project
• Біографічні мемуари – автор Саундерс Маклейн
• Бібліографія
• Інтерв'ю с Клини та Джоном Барклі Россером щодо їх праці в Принстоні.

Це незавершена стаття з математики. Ви можете допомогти проекту, виправивши або дописавши її.