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