Перейти до вмісту

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

Матеріал з Вікіпедії — вільної енциклопедії.
Гаскелл Каррі
англ. 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 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, а також метод Каррінгу, який використовують для трансформації функцій в математиці і інформатиці.

Див. також

[ред. | ред. код]

Примітки

[ред. | ред. код]
  1. ↑ а б Bibliothèque nationale de France BNF: платформа відкритих даних — 2011.
  2. ↑ а б в г Архів історії математики Мактьютор — 1994.
  3. ↑ а б Encyclopædia Britannica
  4. ↑ Album Academicum — 2007.
  5. ↑ а б в г д е ж Математичний генеалогічний проєкт — 1997.
  6. ↑ 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. Програма досліджень і філософські концепції Х. Б. Каррі, що заклав обчислювальні моделі і дедуктивні засоби міркувань в термінах об'єктів.
  7. ↑ 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.
  8. ↑ Hindley J.R., Seldin J.P. (Eds.) To H.B. Curry: Essays on combinatory logic, lambda calculus and fromalism. — Academic Press, 1980.
    У роботі відображені фундаментальні проблеми теорії обчислень і основ математики.
  9. ↑ 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://uk.wikipedia.org/w/index.php?title=Гаскелл_Каррі&oldid=43188112