Гаскелл Каррі

Га́скелл Брукс Каррі (англ. Haskell Brooks Curry; 12 вересня 1900, Массачусетс — 1 вересня 1982, Пенсільванія) — американський математик і логік.

Гаскелл Каррі
англ. Haskell Brooks Curry
Гаскелл Каррі Гаскелл Каррі
Ім'я при народженні	англ. Haskell Brooks Curry
Народився	12 вересня 1900(1900-09-12)[1][2][…] Мілліс, Норфолк, Массачусетс, США
Помер	1 вересня 1982(1982-09-01)[1][2][…] (81 рік) Стейт-Колледж, Сентр, Пенсільванія, США[3]
Країна	США
Діяльність	математик, філософ, викладач університету, інформатик
Alma mater	Гарвардський університет
Галузь	математика логіка
Заклад	Університет штату Пенсильванія Амстердамський університет
Посада	голова
Науковий керівник	Давид Гільберт
Вчителі	Пауль Бернайсd
Аспіранти, докторанти	Hilbert Levitzd[4] Jonathan Paul Seldind[4] Edward Jack Cogand[4] Kenneth L. Loewend[4] Luis Elpidis Sanchisd[4] Bruce Lercherd[4] Maarten Wicher Visser Bunderd[4]
Батько	Samuel Silas Curryd[2]
Мати	Anna Baright Curryd[2]

У Вікіпедії є статті про інших людей із прізвищем Каррі.

Програма його досліджень^[5] сприяла становленню конструктивного підходу до вироблення основ математики. Істотно вплинув на розвиток логіки, давши початок логіці Черча-Каррі^[6]. Сприяв формуванню напряму структуралізму і формалізму в метаматематиці^[7][8]. Ним розроблені основи комбінаторної логіки, яка, своєю чергою, стала стимулом становлення парадигм програмування, серед яких аплікативне і Функційне програмування.

На його честь було названо дві мови програмування Curry, Haskell, а також метод Каррінгу, який використовують для трансформації функцій в математиці і інформатиці.

Див. також

• Теорія алгоритмів
• Лямбда-числення
• Функційне програмування

Примітки

1. Bibliothèque nationale de France BNF: платформа відкритих даних — 2011.

   d:Track:Q19938912d:Track:Q54837d:Track:Q193563
2. Архів історії математики Мактьютор — 1994.

   d:Track:Q547473
3. Album Academicum — 2007.

   d:Track:Q63962284
4. Математичний генеалогічний проєкт — 1997.

   d:Track:Q829984
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 [Архівовано 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.
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. [Архівовано 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.

Посилання

• Haskell Curry в MacTutor Biography [Архівовано 30 листопада 2007 у Wayback Machine.]
• Curry archives provides images of several hundred manuscript pages from 1920 to 1931.
• CLg. bibliography 587 pp