КАРРИ

КАРРИ (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.

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