Га́скелл Брукс Каррі (; 12 вересня 1900, Массачусетс — 1 вересня 1982, Пенсільванія) — американський математик і логік.
Програма його досліджень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 . 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. Presented to the Thirty-First Annual Meeting of the Canadian Society for History and Philosophy of Mathematics, Waterloo, Ontario, 4-6 June 2005.. Ним розроблені основи комбінаторної логіки, яка, своєю чергою, стала стимулом становлення парадигм програмування, серед яких аплікативне і Функційне програмування.
На його честь було названо дві мови програмування Curry, Haskell, а також метод Каррінгу, який використовують для трансформації функцій в математиці і інформатиці. Див. також Теорія алгоритмів Лямбда-числення Функційне програмування
Примітки
Посилання Haskell Curry в MacTutor Biography Curry archives provides images of several hundred manuscript pages from 1920 to 1931. CLg. bibliography 587 pp