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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Хаскелл Карри
HaskellBCurry.jpg
Дата рождения:

12 сентября 1900(1900-09-12)[1][2]

Место рождения:

Миллис[d], Норфолк, Массачусетс, США

Дата смерти:

1 сентября 1982(1982-09-01)[2] (81 год)

Место смерти:

Стейт-Колледж[d], Сентер, Пенсильвания, США

Страна:

Flag of the United States.svg США

Место работы:

Принстонский университет
Гарвардский университет
Университет штата Пенсильвания

Альма-матер:

Гарвардский университет

Научный руководитель:

Давид Гильберт

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

Родился в Миллисе (штат Массачусетс), образование получил в Гарвардском университете. Диссертацию защитил в Гёттингене под руководством Гильберта (1930). Большую часть жизни проработал в Университете штата Пенсильвания.

С его именем связаны парадокс Карри и соответствие Карри — Ховарда, в его честь названы два языка программирования: Haskell и Curry, а также функциональная операция «каррирование», широко используемая в языках программирования.

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

  • 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. Немецкая национальная библиотека, Берлинская государственная библиотека, Баварская государственная библиотека и др. Record #12283643X // общий нормативный контроль — 2012—2016.
  2. 1 2 data.bnf.fr: платформа открытых данных — 2011.
  3. 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.
    Программа исследований и философские концепции Х. Б. Карри, заложившего вычислительные модели и дедуктивные средства рассуждений в терминах объектов.
  4. 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.
  5. Hindley J. R., Seldin J. P. (Eds.) To H. B. Curry: Essays on combinatory logic, lambda calculus and fromalism. — Academic Press, 1980.
    В работе отражены фундаментальные проблемы теории вычислений и оснований математики.
  6. 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.