Haskell Curry

Da Wikipedia, l'enciclopedia libera.
(Reindirizzamento da Haskell Brooks Curry)
Vai alla navigazione Vai alla ricerca

Haskell Brooks Curry (Millis, 12 settembre 1900State 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]

Controllo di autoritàVIAF (EN34535556 · ISNI (EN0000 0001 1024 6379 · LCCN (ENn84801349 · GND (DE12283643X · BNE (ESXX940290 (data) · BNF (FRcb12364677d (data) · J9U (ENHE987007271191205171 · CONOR.SI (SL203848291 · WorldCat Identities (ENlccn-n84801349