КЛИНИ

КЛИНИ (Кіее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.

А.С.Кузичев, З.А. Кузичева