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

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

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

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

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

Див. також

ред. код

Примітки

ред. код
  • ↑ а б в г Архів історії математики Мактьютор — 1994.
  • ↑ а б Encyclopædia Britannica
  • ↑ Album Academicum — 2007.
  • ↑ а б в г д е ж Математичний генеалогічний проєкт — 1997.
  • ↑ 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.

    • Посилання

    ред. код
    Перегляд цього шаблону
      Генеалогія та некрополістика
    Література та бібліографія
    Наука
    Тематичні сайти
    Словники та енциклопедії
    Довідкові видання
    Нормативний контроль


    Альберт Абрагам МайкельсонЦе незавершена стаття про науковця США.
    Ви можете допомогти проєкту, виправивши або дописавши її.
    Отримано з https://www.search.com.vn/wiki/?lang=uk&title=Гаскелл_Каррі&oldid=36108745

    Навігаційне меню