Стивън Коул Клийни
американски математик и логик / From Wikipedia, the free encyclopedia
Стивън Коул Клийни (на английски: Stephen Cole Kleene, 5 януари 1909 – 25 януари 1994) е американски математик и логик. Студент на Алонсо Чърч, Клийни заедно с Роза Петер, Алан Тюринг, Емил Пост и други, е най-известен като един от създателите на един от клоновете на математическата логика, наречен теория на рекурсията, който впоследствие става една от основите на теоретичната информатика. Работите на Клийни полагат основите на изследванията на изчислимите функции. Голям брой математически понятия са кръстени на негово име: йерархия на Клийни, алгебра на Клийни, звезда на Клийни (затваряне на Клийни), Теорема на Клийни за рекурсията и Теорема на Клийни за неподвижната точка. Също така, той е създателят на регулярните изрази и има значителни основополагащи приноси за интуиционизма в математиката. От 1989 година е чуждестранен член на Българската академия на науките.
Въпреки че фамилното му име се произнася обичайно „Клийни“, той сам се е наричал „Клейни“.[1] Синът му, Кен Клейни, пише „Доколкото ми е известно това произношение е неправилно на всички познати езици. Вярвам, че това ново произношение е било измислено от баща ми“.[2]