КАРРИ Хаскелл Брук

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

Соч.: Grundlagen der Kombinatorischen Logik, 1930; A Formalizalion f Recursive Arithmetik.— «American Journal Mathematic», 1941, v. 63: Основания математической логики. M., 1969.

Лит.: Seidin J. P. and Hindley J. R. (eds). To H. B. Curry: Essays on Combinaiory Logic, Lambda-Calculus and Formalism. L., 1980.

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