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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Стівен Коул Кліні (Клейні)
Stephen Cole Kleene
Kleene.jpg
Кліні в 1978
Народився 5 січня 1909(1909-01-05)
США
Помер 25 січня 1994(1994-01-25) (85 років)
США
Громадянство Сполучені Штати Америки
Галузь наукових інтересів математика
Заклад Вісконсін-Медісонський університет
Alma mater Прінстонський університет
Вчене звання професор
Науковий керівник Алонзо Черч
Нагороди Національна наукова медаль США

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

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

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

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