Ка́рри, Ха́скелл Брукс (12 сентября 1900 — 1 сентября 1982) — американский математик и логик. Программа его исследований[1] способствовала становлению конструктивного подхода к выработке оснований математики. Существенно повлиял на развитие логики, дав начало логике Черча-Карри[2] Способствовал формированию направления структурализма и формализма в метаматематике[3][4]. Им разработаны основы комбинаторной логики, которая, в свою очередь, явилась стимулом становления парадигм программирования, среди которых аппликативное и функциональное программирование.
В его честь было названо два языка программирования: Haskell и Curry (развитие на основе языка Haskell).
Ссылки
- ↑ 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.
- Программа исследований и философские концепции Х.Б. Карри, заложившего вычислительные модели и дедуктивные средства рассуждений в терминах объектов.
- 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.
- ↑ Hindley J.R., Seldin J.P. (Eds.) To H.B. Curry: Essays on combinatory logic, lambda calculus and fromalism. -- Academic Press, 1980.
- В работе отражены фундаментальные проблемы теории вычислений и оснований математики.
- 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.
См. также