Клини
(Kleene) Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы посвящены теории алгоритмов и рекурсивных функций, а также проблемам интуиционистской логики и математики. В частности, им доказана эквивалентность введённого А. Чёрчем понятия λ-определимости функций с общерекурсивностью. Введённое К. Понятие (рекурсивной) реализуемости формул лежит в основе интуиционистской интерпретации арифметических суждений. К. — автор ряда широко известных монографий по математической логике, основаниям математики и теории рекурсивных функций. Соч. В рус. Пер. Введение в метаматематику, М., 1957..
Дополнительный поиск Клини
На нашем сайте Вы найдете значение "Клини" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Клини, различные варианты толкований, скрытый смысл.
Первая буква "К". Общая длина 5 символа