КАРРИ

0 109

КАРРИ (Curry) Хаскелл Брук (12 сентября 1900–81) – американский логик и математик. Воспитанник Гёттингенского университета, защитил докторскую диссертацию по теории комбинаторов (1930), профессор Пенсильванского университета с 1941. Большинство сочинений посвящено комбинаторной логике и общей теории формальных систем и исчислений. Первым построил чисто дедуктивно теорию алгоритмов в виде исчисления (чистой) теории комбинаторов и доказал ее непротиворечивость. Он синтаксически обосновал сформулированный в 1920 М.И.Шейнфинкелем принцип комбинаторной полноты и на его основе ввел (независимо от А.Чёрча) неограниченное теоретико-множественное свертывание (Combinatory Logic, v. 1, 1958, совместно с Р.Фейсом; Combinatory Logic, v. 2, 1972, – совместно с Дж.Хиндли и Дж.Селдином). Исходя из идей функциональности и вычислимости, Карри стремился найти основания математики, отличные от теоретико-множественных. При этом он считал полезным исследование и противоречивых подсистем. В методологии математики Карри был представителем созданного им направления конструктивного неоформализма, рассматривающего математику как совокупность методов, пригодных для изучения формальных систем и исчислений. Он был одним из создателей ассоциации «Символическая логика» и журнала «Journal of Symbolic Logic» (1936).
Сочинения:
1.  Grundlagen der Kombinatorischen Logik, 1930;
2.  A Formalization of Recursive Arithmetik. – «American Journal Mathematic», 1941, v. 63;
3.  Основания математической логики. M., 1969.
Литература:
1.   Seldin J.P. and Hindley J.R. (eds). To H.B.Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism. L., 1980.
А.С.Кузичев, З.А.Кузичева
 

Войти с помощью: 
Подписаться
Уведомление о
guest
0 Комментарий
Встроенные отзывы
Посмотреть все комментарии
0
Будем рады вашим мыслям, пожалуйста, прокомментируйте.x
()
x