Карри, Хаскелл

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

В его честь была названа функциональная операция «каррирование» и два языка программирования: Haskell и Curry (развитие на основе языка Haskell).

Основные работы[править | править вики-текст]

  • 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.

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

  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.