КЛИНИ
(Kleene) Стивен Коул
(р.5.1. 1909, Хартфорд, штат Коннектикут), американский логик и
математик. В 1934 получил степень доктора философии в Принстонском ун-те.
Проф. Висконсинского ун-та (Мадисон) с 1948. Осн. работы посвящены
теории алгоритмов и рекурсивных функций, а также проблемам интуиционистской
логики и математики. В частности, им доказана эквивалентность введённого
А. Чёрчем понятия А-определимости функций с общерекурсивн остью.
Введённое К. понятие (рекурсивной) реализуемости формул лежит в
основе интуиционистской интерпретации арифметич. суждений. К.автор ряда
широко известных монографий по математической логике, основаниям математики
и теории рекурсивных функций.
Соч. в рус. пер.: Введение в метаматематику,
М., 1957.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я