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

Хаскелл Карри
Хаскелл Карри
	англ. Haskell Brooks Curry
Имя при рождении	англ. Haskell Brooks Curry
Дата рождения	12 сентября 1900(1900-09-12)[…]
Место рождения	Миллис[d], Норфолк, Массачусетс, США;
Дата смерти	1 сентября 1982(1982-09-01)[…] (81 год)
Место смерти	Стейт-Колледж, Сентр, Пенсильвания, США;
Страна	США;
Место работы	Принстонский университет; Университет штата Пенсильвания; Амстердамский университет;
Альма-матер	Гарвардский университет (1920); МТИ (1922); Гёттингенский университет (1930); Гарвардский университет (1924);
Научный руководитель	Давид Гильберт

Ха́скелл Брукс Ка́рри (12 сентября 1900 — 1 сентября 1982) — американский математик и логик.

БиографияПравить

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

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

Вклад в наукуПравить

Программа его исследований^[4] способствовала становлению конструктивного подхода к выработке оснований математики. Существенно повлиял на развитие логики^[5], способствовал формированию направления структурализма и формализма в метаматематике^[6]^[7]. Разработал основы комбинаторной логики, которая, в свою очередь, явилась стимулом становления нескольких парадигм программирования, среди которых аппликативное и функциональное программирование.

Логические трудыПравить

Понятие «логика» он истолковывает в трёх смыслах:

философическая логика, которая изучает нормы, то есть принципы правильного рассуждения;
математическая логика — логика, тесно связанная с философской логикой, возникнув в результате применения математических методов при изучении философской логики, математическая логика осталась ветвью математики; основная проблема математической логики — объяснение природы математической строгости, изучение оснований математики и разработка техники, которой математики могут с уверенностью пользоваться, с учётом специфической природы логики, положенной в основу математики;
логика как любая из конкретных систем, являющихся предметом изучения математической или философской логики, например аристотелевская логика, модальная логика, кантовская логика и т. д.

Называя свою систему «конструктивным неоформализмом», Карри не принимает некоторые положения классического формализма Д. Гильберта. Так он делает послабление в отношении требования непротиворечивости, которое Д. Гильберт считал основным свойством системы аксиом. «Зачем, — спрашивает он, — скажем, нам так уж нужно быть уверенными в непротиворечивости теории … прежде, чем использовать эту теорию? Ведь ни к какой другой науке мы не предъявляем таких требований. В физике, например, теории всегда гипотетичны; мы принимаем теорию, коль скоро на её основе можно делать полезные предсказания, и видоизменяем или отвергаем её коль скоро этого сделать нельзя». Доля истины в этом, конечно, есть. Если установлено, что система аксиом противоречива, то такая система не имеет ценности, но начинать проверку системы аксиом можно и не с проверки её непротиворечивости, а с применения системы на деле.

Карри известен своими работами в области комбинаторной логики, пользующейся системой исходных функций («комбинаторов»), которые не нуждаются в пояснениях и не анализируются. В связи с разработкой комбинаторной логики он занимался проблемами исчислений, дедуктивных теорий, применения алгебраических законов в логике.

Основные работыПравить

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.

ПримечанияПравить

↑ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ Архив по истории математики Мактьютор
↑ ¹ ² Haskell Brooks Curry // Encyclopædia Britannica (англ.)
↑ ¹ ² Album Academicum — 2007.
↑ 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.
Программа исследований и философские концепции Х. Б. Карри, заложившего вычислительные модели и дедуктивные средства рассуждений в терминах объектов.
↑ Seldin J. P. The Logic of Church and Curry Архивная копия от 16 августа 2009 на Wayback Machine. To appear in the Handbook of the History of Logic, volume 5, edited by Dov Gabbay and John Woods, to be published by Elsevier.
↑ Hindley J. R., Seldin J. P. (Eds.) To H. B. Curry: Essays on combinatory logic, lambda calculus and fromalism. — Academic Press, 1980.
В работе отражены фундаментальные проблемы теории вычислений и оснований математики.
↑ Seldin J. P. Curry’s Formalism as Structuralism. Архивная копия от 16 августа 2009 на Wayback Machine Presented to the Thirty-First Annual Meeting of the Canadian Society for History and Philosophy of Mathematics, Waterloo, Ontario, 4-6 June 2005.

ЛитератураПравить

А. С. Кузичев, З. А. Кузичева. Карри // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.

[_6347f9fbaea563e1-1] ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ Архив по истории математики Мактьютор

[_8e7123864436da39-2] ¹ ² Haskell Brooks Curry // Encyclopædia Britannica (англ.)

[_681ac05169c5266b-3] ¹ ² Album Academicum — 2007.

[4] 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.
Программа исследований и философские концепции Х. Б. Карри, заложившего вычислительные модели и дедуктивные средства рассуждений в терминах объектов.

[5] Seldin J. P. The Logic of Church and Curry Архивная копия от 16 августа 2009 на Wayback Machine. To appear in the Handbook of the History of Logic, volume 5, edited by Dov Gabbay and John Woods, to be published by Elsevier.

[6] Hindley J. R., Seldin J. P. (Eds.) To H. B. Curry: Essays on combinatory logic, lambda calculus and fromalism. — Academic Press, 1980.
В работе отражены фундаментальные проблемы теории вычислений и оснований математики.

[7] Seldin J. P. Curry’s Formalism as Structuralism. Архивная копия от 16 августа 2009 на Wayback Machine Presented to the Thirty-First Annual Meeting of the Canadian Society for History and Philosophy of Mathematics, Waterloo, Ontario, 4-6 June 2005.

[1]

[2]

[3]

[4]

[5]

[6]

[7]