Надо Знать

добавить знаний



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



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

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


Примечания

  1. Seldin JP Curry's program, in To HB Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism edited by JP Seldin and JR Hindley (Academic Press, London 1980), pp. 3-33.
    Программа исследований и философские концепции Х. Б. Карри, заложивший вычислительные модели и дедуктивные средства рассуждений в терминах объектов.
  2. Seldin JP The Logic Of Church AND Curry - people.uleth.ca / ~ jonathan.seldin / CCL.pdf. 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 JR, Seldin JP (Eds.) To HB Curry: Essays on combinatory logic, lambda calculus and fromalism. - Academic Press, 1980.
    В работе отражены фундаментальные проблемы теории вычислений и основ математики.
  4. Seldin JP Curry 's Formalism AS Structuralism. - people.uleth.ca / ~ jonathan.seldin / CFS.pdf Presented to the Thirty-First Annual Meeting of the Canadian Society for History and Philosophy of Mathematics, Waterloo, Ontario, 4-6 June 2005 .

код для вставки
Данный текст может содержать ошибки.

скачать

© Надо Знать
написать нам