Карри Х.

Ка́рри, Ха́скелл Брукс (12 сентября 1900 — 1 сентября 1982) — американский математик и логик. Программа его исследований^[1] способствовала становлению конструктивного подхода к выработке оснований математики. Существенно повлиял на развитие логики, дав начало логике Черча-Карри^[2] Способствовал формированию направления структурализма и формализма в метаматематике^[3][4]. Им разработаны основы комбинаторной логики, которая, в свою очередь, явилась стимулом становления парадигм программирования, среди которых аппликативное и функциональное программирование.

В его честь было названо два языка программирования: Curry (развитие на основе языка

Ссылки

1. ↑ Seldin J.P. Curry's program, in To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism edited by J. P. Seldin and J. R. Hindley (Academic Press, London 1980), pp. 3-33.

   Программа исследований и философские концепции Х.Б. Карри, заложившего вычислительные модели и дедуктивные средства рассуждений в терминах объектов.

2. ↑ Seldin J.P. The Logic of Church and Curry. To appear in the Handbook of the History of Logic, volume 5, edited by Dov Gabbay and John Woods, to be published by Elsevier.
3. ↑ Hindley J.R., Seldin J.P. (Eds.) To H.B. Curry: Essays on combinatory logic, lambda calculus and fromalism. -- Academic Press, 1980.

   В работе отражены фундаментальные проблемы теории вычислений и оснований математики.

4. ↑ Seldin J.P. Curry's Formalism as Structuralism. Presented to the Thirty-First Annual Meeting of the Canadian Society for History and Philosophy of Mathematics, Waterloo, Ontario, 4-6 June 2005.

Основные работы

• Curry H.B. Functionality in combinatory logic. -- Proc. National Academy of Sciences of the USA, Vol. 20, 1934. -- pp.~584--590.

• Curry H.B., Feys R. Combinatory Logic. -- Vol. I, North-Holland Co., Amsterdam, 1958.
• Curry H.B. Foundations of mathematical logic. -- McGraw-Hill Book Co., Inc., N.Y., 1963.

Русский перевод: Х.Б. Карри Основания математической логики. -- М.: Мир, 1969. -- 568~с.

Выполнено детальное изучение основных понятий математической логики. Представлена общая теория формальных систем и исчислений. Обсуждены общие методологические вопросы, последовательно описаны исчисления, содержащие импликацию, отрицание и кванторы. Рассмотрены вопросы теории модальностей. Для всех доказательств и определений применен конструктивный подход.

• Curry H.B., Hindley R., Seldin J.P. Combinatory Logic. -- Vol. II. Studies in Logic 65, North-Holland Co., Amsterdam, 1972.

См. также

• Комбинаторная логика
• Модели вычислений
• Теория вычислений
• Каррирование
• Лямбда-исчисление
• Лямбда-исчисление с типами
• Аппликативный подход к программированию
• Функциональное программирование
• Язык программирования Haskell