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

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

Стівен Коул Кліні (Клейні)
Stephen Cole Kleene
Кліні в 1978
Ім'я при народженні англ. Stephen Cole Kleene
Народився 5 січня 1909(1909-01-05)[1][2][…]
США
Помер 25 січня 1994(1994-01-25)[1][2][…] (85 років)
США
Громадянство  США
Діяльність математик, інформатик, філософ, викладач університету
Галузь математика
Alma mater Принстонський університет
Науковий керівник Алонзо Черч
Знання мов англійська[3]
Заклад Університет Вісконсин-Медісон
Членство Національна академія наук США і Американська академія мистецтв і наук
Військове звання лейтенант-коммандерd
Нагороди Національна наукова медаль США
Звання професор

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

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

Примітки
  1. Архів історії математики Мактьютор
  2. Encyclopædia Britannica
  3. Identifiants et Référentiels — ABES, 2011.

Посилання
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.