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