Стивен Коул Клини , американский математик, ученый-компьютерщик и академик (р. 1909 г.)

Стивен Коул Клини (KLAY-урожденная; 5 января 1909 — 25 января 1994) — американский математик. Один из учеников Алонсо Черча, Клини, наряду с Розой Петер, Аланом Тьюрингом, Эмилем Постом и другими, наиболее известен как основатель раздела математической логики, известного как теория рекурсии, которая впоследствии помогла заложить основы теоретической логики. Информатика. Работа Клини обосновывает изучение вычислимых функций. Его именем назван ряд математических понятий: иерархия Клини, алгебра Клини, звезда Клини (замыкание Клини), теорема Клини о рекурсии и теорема Клини о неподвижной точке. Он также изобрел регулярные выражения в 1951 году для описания нейронных сетей Маккаллоха-Питтса и внес значительный вклад в основы математического интуитивизма.