Haskell Curry | |||||
---|---|---|---|---|---|
Persona informo | |||||
Haskell Brooks Curry | |||||
Naskonomo | Haskell Brooks Curry | ||||
Naskiĝo | 12-an de septembro 1900 en Millis | ||||
Morto | 1-an de septembro 1982 (81-jaraĝa) en State College | ||||
Lingvoj | angla vd | ||||
Ŝtataneco | Usono ![]() | ||||
Alma mater | Universitato de Göttingen (1928–1930) Universitato Harvard (1922–1924) Masaĉuseca Instituto de Teknologio (1920–1922) Universitato Harvard (1916–1920) ![]() | ||||
Familio | |||||
Patro | Samuel Silas Curry (en) ![]() ![]() | ||||
Patrino | Anna Baright Curry (en) ![]() ![]() | ||||
Profesio | |||||
Okupo | matematikisto universitata instruisto filozofo komputosciencisto ![]() | ||||
Doktoreca konsilisto | David Hilbert vd | ||||
Verkado | |||||
Verkoj | respondo de Curry-Howard ❦ paradokso de Curry ❦ kareumado vd | ||||
| |||||
vd | Fonto: Vikidatumoj | ||||
Haskell Brooks CURRY [haskel bruks keri] (naskiĝis la 12-an de septembro 1900 en Millis, Usono, mortis la 1-an de septembro 1982 en State College, Usono) estis usona matematikisto kaj logikisto. Curry estas plej konata pro sia laboro en kombinatora logiko; kvankam la komenca koncepto de kombinatora logiko estis bazita sur artikolo de Moses Schönfinkel, Curry signife evoluigis ĝin ankaŭ pro la paradokso de Curry kaj la konformeco de Curry–Howard. Ekzistas tri programlingvoj nomitaj honore al li, Haskell, Brook kaj Curry, ankaŭ la koncepto currying, nome maniero, kiun oni uzas por transformi funkciojn en matematiko kaj komputoscienco.