Га́скелл Брукс Каррі (англ. Haskell Brooks Curry; 12 вересня 1900, Массачусетс — 1 вересня 1982, Пенсільванія) — американський математик і логік.
Гаскелл Каррі | |
---|---|
англ. Haskell Brooks Curry | |
Гаскелл Каррі | |
Ім'я при народженні | англ. Haskell Brooks Curry |
Народився | 12 вересня 1900[1][2][…] Мілліс, Норфолк, Массачусетс, США |
Помер | 1 вересня 1982[1][2][…] (81 рік) Стейт-Колледж, Сентр, Пенсільванія, США[4] |
Країна | США |
Діяльність | математик, філософ, викладач університету, інформатик |
Alma mater | Гарвардський університет |
Галузь | математика логіка |
Заклад | Університет штату Пенсильванія Амстердамський університет |
Посада | голова |
Вчителі | d |
Аспіранти, докторанти | d[5] d[5] d[5] d[5] d[5] d[5] d[5] |
Батько | d[2] |
Мати | d[2] |
Програма його досліджень сприяла становленню конструктивного підходу до вироблення основ математики. Істотно вплинув на розвиток логіки, давши початок . Сприяв формуванню напряму структуралізму і формалізму в метаматематиці. Ним розроблені основи комбінаторної логіки, яка, у свою чергу, стала стимулом становлення парадигм програмування, серед яких і Функційне програмування.
На його честь було названо дві мови програмування Curry, Haskell, а також метод Каррінгу, який використовується для трансформації функцій в математиці і інформатиці.
Див. також
Примітки
- Bibliothèque nationale de France BNF: платформа відкритих даних — 2011.
- Архів історії математики Мактьютор — 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.
Посилання
- Haskell Curry в MacTutor Biography [ 30 листопада 2007 у Wayback Machine.]
- provides images of several hundred manuscript pages from 1920 to 1931.
Це незавершена стаття про науковця США. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Ga skell Bruks Karri angl Haskell Brooks Curry 12 veresnya 1900 Massachusets 1 veresnya 1982 Pensilvaniya amerikanskij matematik i logik Gaskell Karriangl Haskell Brooks CurryGaskell Karri Gaskell KarriIm ya pri narodzhenniangl Haskell Brooks CurryNarodivsya12 veresnya 1900 1900 09 12 1 2 Millis Norfolk Massachusets SShAPomer1 veresnya 1982 1982 09 01 1 2 81 rik Stejt Kolledzh Sentr Pensilvaniya SShA 4 Krayina SShADiyalnistmatematik filosof vikladach universitetu informatikAlma materGarvardskij universitetGaluzmatematika logikaZakladUniversitet shtatu Pensilvaniya Amsterdamskij universitetPosadagolovaVchitelidAspiranti doktorantid 5 d 5 d 5 d 5 d 5 d 5 d 5 Batkod 2 Matid 2 U Vikipediyi ye statti pro inshih lyudej iz prizvishem Karri Programa jogo doslidzhen spriyala stanovlennyu konstruktivnogo pidhodu do viroblennya osnov matematiki Istotno vplinuv na rozvitok logiki davshi pochatok Spriyav formuvannyu napryamu strukturalizmu i formalizmu v metamatematici Nim rozrobleni osnovi kombinatornoyi logiki yaka u svoyu chergu stala stimulom stanovlennya paradigm programuvannya sered yakih i Funkcijne programuvannya Na jogo chest bulo nazvano dvi movi programuvannya Curry Haskell a takozh metod Karringu yakij vikoristovuyetsya dlya transformaciyi funkcij v matematici i informatici Div takozhTeoriya algoritmiv Lyambda chislennya Funkcijne programuvannyaPrimitkiBibliotheque nationale de France BNF platforma vidkritih danih 2011 d Track Q19938912d Track Q54837d Track Q193563 Arhiv istoriyi matematiki Maktyutor 1994 d Track Q547473 Encyclopaedia Britannica d Track Q5375741 Album Academicum 2007 d Track Q63962284 Matematichnij genealogichnij proyekt 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 Programa doslidzhen i filosofski koncepciyi H B Karri sho zaklav i deduktivni zasobi mirkuvan v terminah ob yektiv Seldin J P The Logic of Church and Curry 16 serpnya 2009 u 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 U roboti vidobrazheni fundamentalni problemi teoriyi obchislen i osnov matematiki Seldin J P Curry s Formalism as Structuralism 16 serpnya 2009 u 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 PosilannyaHaskell Curry v MacTutor Biography 30 listopada 2007 u Wayback Machine provides images of several hundred manuscript pages from 1920 to 1931 Ce nezavershena stattya pro naukovcya SShA Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi