Haskell Curry
Haskell Brooks Curry (Millis, 12 settembre 1900 – State College, 1º settembre 1982) è stato un matematico e logico statunitense.
Figlio dell'educatore Samuel Silas Curry, studiò all'Università di Harvard e ricevette il dottorato a Gottinga nel 1930, sotto la supervisione di David Hilbert. Insegnò a Harvard, Princeton, e poi dal 1929 per 35 anni all'università statale della Pennsylvania. Nel 1942 espose il paradosso di Curry. Nel 1966 divenne professore di matematica all'università di Amsterdam. Morì in State College, Pennsylvania.
Nel campo della logica matematica, specialmente in logica combinatoria, il lavoro principale di Curry fu quello di gettare le fondamenta per un linguaggio di programmazione funzionale.
I linguaggi funzionali Haskell e Curry furono chiamati così in suo onore, così come il concetto di curryficazione in logica combinatoria. In seguito, partendo dai suoi lavori, vennero definiti il lambda calcolo e la programmazione funzionale.
Voci correlate
[modifica | modifica wikitesto]Collegamenti esterni
[modifica | modifica wikitesto]- Curry, Haskell Brooks, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
- Curry, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) Haskell Brooks Curry, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Haskell Curry, su MacTutor, University of St Andrews, Scotland.
- (EN) Haskell Curry, su Mathematics Genealogy Project, North Dakota State University.
- (EN) Opere di Haskell Curry, su Open Library, Internet Archive.
- (FR) Pubblicazioni di Haskell Curry, su Persée, Ministère de l'Enseignement supérieur, de la Recherche et de l'Innovation.
- (EN) Jonathan P. Seldin, Haskell Brooks Curry (1900-1982), su Internet Encyclopedia of Philosophy, ISSN 2161-0002 .
Controllo di autorità | VIAF (EN) 34535556 · ISNI (EN) 0000 0001 1024 6379 · LCCN (EN) n84801349 · GND (DE) 12283643X · BNE (ES) XX940290 (data) · BNF (FR) cb12364677d (data) · J9U (EN, HE) 987007271191205171 · CONOR.SI (SL) 203848291 |
---|