Клини
Кли́ни
(Kleene)
Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы посвящены теории алгоритмов и рекурсивных функций, а также проблемам интуиционистской логики и математики. В частности, им доказана эквивалентность введённого А. Чёрчем понятия λ-определимости функций с общерекурсивностью. Введённое К. понятие (рекурсивной) реализуемости формул лежит в основе интуиционистской интерпретации арифметических суждений. К. — автор ряда широко известных монографий по математической логике, основаниям математики и теории рекурсивных функций.
Соч. в рус. пер.: Введение в метаматематику, М., 1957.
Значения в других словарях
- КЛИНИ — КЛИНИ (Кіееnе) Стефан Коул (5 января 1909, Хартфорд, США – 25 января 1994) – американский логик и математик, ученик А.Чёрча [ЧЕРЧ];окончил Принстонский университет (1930), в 1930–35 преподавал там же. Новая философская энциклопедия
