Стівен Коул Кліні: біографія

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

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

Серед найбільш відомих робіт, що видавалися російською мовою - книги «Введення в метаматематики» і «Математична логіка».

Перекладено на російську мову

• Кліні С.К. "Веслі Р.І. [Vesley RE] Підстави інтуіціоністской математики з точки зору теорії рекурсивних функцій."-М.: Вид-во Наука, 1978
• Кліні С.К. "Введення в метаматематики."-М.: Вид-во ІЛ, 1957
• Ідельсон А.В (ред) Мінц Г.Є. (ред) "Математична теорія логічного висновку", вид-во Наука, 1967 - у збірнику переказів дві статті: n
  • Кліні С.К. "Перестановочного застосувань правил у генценовскіх численнях LK і LJ".
  • Кліні С.К. "Кінцева аксіоматізіруемость теорій в численні предикатів за допомогою додаткових предикатних символів".
  n
• Кліні С.К. Математична логіка. -М.: Вид-во Світ, 1973

Комментарии

Сайт: Википедия