Клини Стефан Коул
       > НА ГЛАВНУЮ > БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ > УКАЗАТЕЛЬ К >

ссылка на XPOHOC

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

1909-1994

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


XPOHOC
ВВЕДЕНИЕ В ПРОЕКТ
БИБЛИОТЕКА ХРОНОСА
ИСТОРИЧЕСКИЕ ИСТОЧНИКИ
БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ
СТРАНЫ И ГОСУДАРСТВА
ЭТНОНИМЫ
РЕЛИГИИ МИРА
СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ
МЕТОДИКА ПРЕПОДАВАНИЯ
КАРТА САЙТА
АВТОРЫ ХРОНОСА

ХРОНОС:
В Фейсбуке
ВКонтакте
В ЖЖ
Twitter
Форум
Личный блог

Родственные проекты:
РУМЯНЦЕВСКИЙ МУЗЕЙ
ДОКУМЕНТЫ 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 года,

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

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