Определение слова «Клини»

Большая советская энциклопедия:

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

Новая философская энциклопедия:

КЛИНИ (Кіееnе) Стефан Коул (5 января 1909, Хартфорд, США – 25 января 1994) – американский логик и математик, ученик А.Чёрча [ЧЕРЧ];окончил Принстонский университет (1930), в 1930–35 преподавал там же. С 1935 в Висконсинском университете перспективных исследований, а в 1966–67 – директор Математического исследовательского центра. Член Национальной АН США (с 1969). Клини принадлежал к поколению логиков, начало творческой деятельности которых совпадает со временем появления знаменитых теорем Гёделя, во многом определивших тематику и характер исследований многих специалистов. Научные интересы Клини были направлены на проблемы теории алгоритмов [АЛГОРИТМ], рекурсивных функций, оснований интуиционистской математики (см. Интуиционизм [ИНТУИЦИОНИЗМ]). Ему принадлежат результаты в области установления арифметических иерархий, степеней вычислимости, исследования вычислимых ординалов. Он показал, в частности, что класс -определимых функций совпадает с классом рекурсивных функций. В поисках моделей интуиционистской арифметики Клини разработал теорию рекурсивной реализуемости формул, аппарат которой использовал для доказательства ряда теорем о невыводимости. Широкую известность получили его монографии «Введение в метаматематику» (1952, рус. пер. 1957), «Математическая логика» (1967, рус. пер. 1973), «Основания интуиционистской математики» (1965, рус. пер. 1978).
Сочинения:
1. A Theory of Positive Integers in Formal Logic – «American Journal of Mathematics», 1935, v. 57;
2. General Recursive Functions of Natural Numbers. – «Mathematische Annalen», 1936, v. 112;
3. -definity and Re-cursivenes. – «Duke Mathematical Journal», 1936, 2;
4. On Notation of Ordinal Numbers. – «Journal of Symbolic Logic», 1938, 3;
5. Hierarhies of Number-theoretic Predicates. – «Bulletin American Mathematical», 1955, v. 79;
6. Recursive Function and Intuitionistic Mathematics. – Proc. Jnt. Congres of Math. Cambr., 1950;
7. The Inconsisteny of Certain Formal Logic – «Annals of Mathematic», 1935, v. 36.
А.С.Кузичев, З.А. Кузичева

Смотреть другие определения →