Cybernetics Faculty photos

Будь уважнішим до своїх думок. Вони - початок вчинків.

Лао-Цзи

Стівен Коул Кліні
1909-01-05 — 1994-01-25

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