WikiSort.ru - Не сортированное

ПОИСК ПО САЙТУ | о проекте
Хаскелл Карри
Дата рождения 12 сентября 1900(1900-09-12)[1][2][…]
Место рождения
Дата смерти 1 сентября 1982(1982-09-01)[1][2][…] (81 год)
Место смерти
Страна
Место работы
Альма-матер
Научный руководитель Давид Гильберт и Пауль Бернайс

Ха́скелл Брукс Ка́рри (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. 1 2 идентификатор BNF: платформа открытых данных — 2011.
  2. 1 2 Архив по истории математики Мактьютор
  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.
Это заготовка статьи об учёном-математике. Вы можете помочь проекту, дополнив её.

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .



Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2025
WikiSort.ru - проект по пересортировке и дополнению контента Википедии