Гаскелл Каррі Га скелл Брукс Каррі англ Haskell Brooks Curry 12 вересня 1900 Массачусетс 1 вересня 1982 Пенсільванія аме

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

Гаскелл Каррі
англ. Haskell Brooks Curry
Гаскелл Каррі Гаскелл Каррі
Ім'я при народженні	англ. Haskell Brooks Curry
Народився	12 вересня 1900(1900-09-12)^[…] Мілліс, Норфолк, Массачусетс, США
Помер	1 вересня 1982(1982-09-01)^[…] (81 рік) Стейт-Колледж, Сентр, Пенсільванія, США
Країна	США
Діяльність	математик, філософ, викладач університету, інформатик
Alma mater	Гарвардський університет
Галузь	математика логіка
Заклад	Університет штату Пенсильванія Амстердамський університет
Посада	голова
Вчителі	Пауль Бернайс^d
Аспіранти, докторанти	Hilbert Levitz^d Jonathan Paul Seldin^d Edward Jack Cogan^d Kenneth L. Loewen^d Luis Elpidis Sanchis^d Bruce Lercher^d Maarten (Martin) Wicher Visser Bunder^d
Батько	Samuel Silas Curry^d
Мати	Anna Baright Curry^d

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

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

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

Див. також Редагувати

Примітки Редагувати

↑ Bibliothèque nationale de France BNF: платформа відкритих даних — 2011.
d:Track:Q19938912d:Track:Q54837d:Track:Q193563
↑ Архів історії математики Мактьютор
d:Track:Q547473
↑ Encyclopædia Britannica
d:Track:Q5375741
Album Academicum — 2007.
d:Track:Q63962284
↑ Математичний генеалогічний проєкт — 1997.
d:Track:Q829984
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.

Посилання Редагувати

Haskell Curry в MacTutor Biography [ 30 листопада 2007 у Wayback Machine.]
provides images of several hundred manuscript pages from 1920 to 1931.

Це незавершена стаття про науковця США.
Ви можете допомогти проєкту, виправивши або дописавши її.

[<span_class="wikidata_cite_citetype_Q36524_citetype_Q7094076_citetype_Q27031827_citetype_Q595971"_data-entity-id="Q19938912"><i_class="wef_low_priority_links">[[:Національна_бібліотека_Франції|Bibliothèque_nationale_de_France]]</i>_[http://data.bnf.fr/ark:/12148/cb12364677d_BNF]:_платформа_відкритих_даних<span_class="wef_low_priority_links">_—_2011.</span></span><div_style="display:none">[[d:Track:Q19938912]][[d:Track:Q54837]][[d:Track:Q193563]]</div>-1] Bibliothèque nationale de France BNF: платформа відкритих даних — 2011.
d:Track:Q19938912d:Track:Q54837d:Track:Q193563

[<span_class="wikidata_cite_citetype_Q35127"_data-entity-id="Q547473">Архів_історії_математики_Мактьютор<span_class="wef_low_priority_links"></span></span><div_style="display:none">[[d:Track:Q547473]]</div>-2] Архів історії математики Мактьютор
d:Track:Q547473

[<span_class="wikidata_cite_citetype_Q615699"_data-entity-id="Q5375741">[http://global.britannica.com/biography/Haskell-Brooks-Curry_Encyclopædia_Britannica]<span_class="wef_low_priority_links"></span></span><div_style="display:none">[[d:Track:Q5375741]]</div>-3] Encyclopædia Britannica
d:Track:Q5375741

[<span_class="wikidata_cite_citetype_Q59818481"_data-entity-id="Q63962284">Album_Academicum<span_class="wef_low_priority_links">_—_2007.</span></span><div_style="display:none">[[d:Track:Q63962284]]</div>-4] Album Academicum — 2007.
d:Track:Q63962284

[<span_class="wikidata_cite_citetype_Q7094076_citetype_Q33002955_citetype_Q114955954"_data-entity-id="Q829984">Математичний_генеалогічний_проєкт<span_class="wef_low_priority_links">_—_1997.</span></span><div_style="display:none">[[d:Track:Q829984]]</div>-5] Математичний генеалогічний проєкт — 1997.
d:Track:Q829984

[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.