Клини Стефан Коул

1909-1994

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

XPOHOC

ВВЕДЕНИЕ В ПРОЕКТ

ФОРУМ ХРОНОСА

НОВОСТИ ХРОНОСА

БИБЛИОТЕКА ХРОНОСА

ИСТОРИЧЕСКИЕ ИСТОЧНИКИ

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ

СТРАНЫ И ГОСУДАРСТВА

ЭТНОНИМЫ

РЕЛИГИИ МИРА

СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ

МЕТОДИКА ПРЕПОДАВАНИЯ

КАРТА САЙТА

АВТОРЫ ХРОНОСА

Родственные проекты:

РУМЯНЦЕВСКИЙ МУЗЕЙ

ДОКУМЕНТЫ XX ВЕКА

ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ

ПРАВИТЕЛИ МИРА

ВОЙНА 1812 ГОДА

ПЕРВАЯ МИРОВАЯ

СЛАВЯНСТВО

ЭТНОЦИКЛОПЕДИЯ

АПСУАРА

РУССКОЕ ПОЛЕ

Стефан Коул Клини

Клини (Kleene) Стефан Коул (5 января 1909, Хартфорд, США — 25 января 1994) — американский логик и математик, ученик А. Чёрча; окончил Принстонский университет (1930), в 1930—1935 преподавал гам же. С 1935 в Висконсинском университете перспективных исследований, а в 1966—1967 — директор Математического исследовательского центра. Член Национальной АН США (с 1969). Клини принадлежал к поколению логиков, начало творческой деятельности которых совпадает со временем появления знаменитых теорем Геделя, во многом определивших тематику и характер исследований многих специалистов. Научные интересы Клини были направлены на проблемы теории алгоритмов, рекурсивных

функций, оснований интуиционистской математики (см. Интуиционизм). Ему принадлежат результаты в области установления арифметических иерархий, степеней вычислимости, исследования вычислимых ординалов. Он показал, в частности, что класс λ-определимых функций совпадает с классом рекурсивных функций. В поисках моделей интуиционистской арифметики Клини разработал теорию рекурсивной реализуемости формул, аппарат которой использовал для доказательства ряда теорем о невыводимости. Широкую известность получили его монографии «Введение в математику» (1952, рус. пер. 1957), «Математическая логика» (1967, рус. пер. 1973), «Основания интуиционистской математики» (1965, рус. пер. 1978).

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

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. II, Е – М, с. 260-261.

Далее читайте:

Философы, любители мудрости (биографический указатель).

Сочинения:

A Theory of Positive Integers in Formal Logic.—«American Journal of Mathematics», 1935, v. 57;

General Recursive Functions of Natural Numbers. — «Mathematische Annalen», 1936, v. 112;

A-definity and Recursivenes. — «Duke Mathematical Journal», 1936, 2;

On Notation of Ordinal Numbers. — «Journal of Symbolic Logic», 1938, 3;

Hierarhies of Number-theoretic Predicates. — «Bulletin American Mathematical», 1955, v. 79;

Recursive Function and Intuitiunistic Mathematics. — Proc. Jnt. Congres of Math. Cambr., 1950;

The Inconsisteny of Certain Formal Logic. — «Annals of Mathematic», 1935, v. 36.

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ

ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС