Знаймо

Додати знання

приховати рекламу

Цей текст може містити помилки.

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



План:


Введення

Стівен Коул Кліні (правильніше - Клейн, англ. Stephen Cole Kleene ; 5 січня 1909 ( 19090105 ) , Хартфорд, Коннектикут, США - 25 січня 1994, Мадисон, Вісконсін, США) - американський математик.

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

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

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


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

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

Примітки


Цей текст може містити помилки.

Схожі роботи | скачати

Схожі роботи:
Зірка Кліні
Теорема Кліні
Алгебра Кліні
Коул, Наталі
Коул, Ешлі
Коул, Козі
Коул, Джо
Портер, Коул
НЕТ Кінг Коул
© Усі права захищені
написати до нас
Рейтинг@Mail.ru