Haskell Brooks Curry | |
---|---|
Rodné jméno | Haskell Brooks Curry |
Narození | 12. září 1900 Millis |
Úmrtí | 1. září 1982 (ve věku 81 let) State College |
Alma mater | Harvardova univerzita (1916–1920) Massachusettský technologický institut (1920–1922) Harvardova univerzita (1922–1924) Univerzita v Göttingenu (1928–1930) |
Povolání | matematik, filozof, vysokoškolský učitel a počítačový vědec |
Zaměstnavatelé | Princetonská univerzita (1927–1928) Pensylvánská státní univerzita (1930–1966) Amsterdamská univerzita (1966–1970) |
Rodiče | S. S. Curry[1] a Anna Baright Curry[1] |
Funkce | předseda (Association for Symbolic Logic; 1938–1940) |
Některá data mohou pocházet z datové položky. Chybí svobodný obrázek. |
Haskell Brooks Curry (12. září 1900 Millis, Massachusetts – 1. září 1982 State College, Pensylvánie) byl americký matematik a logik. Je znám především díky své práci v oboru kombinatorické logiky. Je také autorem Curryho paradoxu a Curryho–Howardova isomorfismu. Jsou po něm pojmenovány tři programovací jazyky: Haskell, Brook a Curry, jakož i technika přeměny funkce v matematice a matematické informatice zvaná currying.