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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Хаскелл Карри
HaskellBCurry.jpg
Дата рождения 12 сентября 1900(1900-09-12)[1][2][3][…]
Место рождения
Дата смерти 1 сентября 1982(1982-09-01)[1][2][3][…] (81 год)
Место смерти
Страна
Место работы
Альма-матер
Научный руководитель Давид Гильберт и Пауль Бернайс

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

Родился в Миллисе (штат Массачусетс), образование получил в Гарвардском университете. Диссертацию защитил в Гёттингене под руководством Гильберта (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 Bibliothèque nationale de France идентификатор BNF (фр.): платформа открытых данных — 2011.
  2. 1 2 Архив по истории математики Мактьютор
  3. 1 2 Encyclopædia Britannica (англ.)
  4. 1 2 Album Academicum — 2007.
  5. 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.
    Программа исследований и философские концепции Х. Б. Карри, заложившего вычислительные модели и дедуктивные средства рассуждений в терминах объектов.
  6. 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.
  7. Hindley J. R., Seldin J. P. (Eds.) To H. B. Curry: Essays on combinatory logic, lambda calculus and fromalism. — Academic Press, 1980.
    В работе отражены фундаментальные проблемы теории вычислений и оснований математики.
  8. 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.

Литература[править | править код]