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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Гаскелл Каррі
20070616-haskell.jpg
Гаскелл Каррі
Народився 12 вересня 1900(1900-09-12)
Массачусетс
Помер 1 вересня 1982(1982-09-01) (81 рік)
Пенсильванія
Громадянство Сполучені Штати Америки
Галузь наукових інтересів математика
логіка
Заклад Університет штату Пенсильванія
Амстердамський університет
Alma mater Гарвардський університет

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

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

На його честь було названо дві мови програмування:

Див. також[ред.ред. код]

Примітки[ред.ред. код]

  1. 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. Програма досліджень і філософські концепції Х. Б. Каррі, що заклав обчислювальні моделі і дедуктивні засоби міркувань в термінах об'єктів.
  2. 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.
  3. Hindley J.R., Seldin J.P. (Eds.) To H.B. Curry: Essays on combinatory logic, lambda calculus and fromalism. — Academic Press, 1980.
    У роботі відображені фундаментальні проблеми теорії обчислень і основ математики.
  4. 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.

Посилання[ред.ред. код]