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

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

Стівен Коул Кліні (Клейні)
Stephen Cole Kleene
Кліні в 1978
Ім'я при народженні	англ. Stephen Cole Kleene
Народився	5 січня 1909(1909-01-05)[…] США
Помер	25 січня 1994(1994-01-25)[…] (85 років) США
Громадянство	США
Діяльність	математик, інформатик, філософ, викладач університету
Галузь	математика
Alma mater	Принстонський університет
Науковий керівник	Алонзо Черч
Знання мов	англійська
Заклад	Університет Вісконсин-Медісон
Учасник	Друга світова війна
Членство	Національна академія наук США і Американська академія мистецтв і наук
Magnum opus	Kleene–Brouwer orderd, Kleene–Rosser paradoxd, Kleene's Od, Church–Kleene ordinald, Kleene's recursion theoremd, Kleene's T predicated, Kleene's theoremd, Kleene's algorithmd, Kleene algebrad, зірочка Кліні, Kleene fixed-point theoremd і лямбда-числення
Військове звання	лейтенант-коммандерd
Нагороди	Грант Ґуґґенгайма (1949) Премія Стіла (1983)
Звання	професор

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

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

Посилання

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