Карри Хаскелл Брук

1900—1981

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

XPOHOC

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

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

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

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

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

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

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

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

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

ЭТНОНИМЫ

РЕЛИГИИ МИРА

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

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

КАРТА САЙТА

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

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

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

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

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

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

ВОЙНА 1812 ГОДА

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

СЛАВЯНСТВО

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

АПСУАРА

РУССКОЕ ПОЛЕ

Хаскелл Брук Карри

Карри (Curry) Хаскелл Брук (12 сентября 1900—1981) — американский логик и математик. Воспитанник Гёттингенского университета, защитил докторскую диссертацию по теории комбинаторов (1930), профессор Пенсильванского университета с 1941 года. Большинство сочинений посвящено комбинаторной логике и общей теории формальных систем и исчислений. Первым построил чисто дедуктивно теорию алгоритмов в виде исчисления (чистой) теории комбинаторов и доказал ее непротиворечивость. Он синтаксически обосновал сформулированный в 1920 М. И. Шейнфинкелем принцип комбинаторной полноты и на его основе ввел (независимо от А. Чёрча) неограниченное теоретико-множественное свертывание (Combinatory Logic, v. 1, 1958, совместно с Р. Фейсом; Combinatory Logic, v. 2, 1972, — совместно с Дж. Хиндли и Дж. Седдином). Исходя из идей функциональности и вычислимости, Карри стремился найти основания математики, отличные от теоретико-множественных. При этом он считал полезным исследование и противоречивых подсистем. В методологии математики Карри был представителем созданного им направления конструктивного неоформализма, рассматривающего математику как совокупность методов, пригодных для изучения формальных систем и исчислений. Он был одним из создателей ассоциации «Символическая логика» и журнала «Journal of Symbolic Logic» (1936).

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

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

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

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

Сочинения:

Grundlagen der Kombinatorischen Logik, 1930;

A Formalization of Recursive Arithmetik. — «American Journal Mathematic», 1941, v. 63;

Основания математической логики. M., 1969.

Литература:

Seldin J. P. and Hindley J. R. (eds). To H. B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism. L., 1980.

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

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

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

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