Haskell Curry
Haskell Brooks Curry | |
|---|---|
| Born | September 12, 1900 |
| Died | September 1, 1982 (aged 81) |
| Alma mater | |
| Known for | Curry's paradox Currying Curry–Howard correspondence Scott–Curry theorem B, C, K, W system Combinatory logic Formalism in the philosophy of mathematics |
| Scientific career | |
| Fields | Mathematics Logic computer science |
| Institutions | Pennsylvania State University University of Amsterdam |
| Doctoral advisor | David Hilbert |
Haskell Brooks Curry (/ˈhæskəl/ HAS-kəl; September 12, 1900 – September 1, 1982) was an American mathematician and computer scientist. Curry is best known for his work in combinatory logic, whose initial concept is based on a paper by Moses Schönfinkel, for which Curry did much of the development. Curry is also known for Curry's paradox and the Curry–Howard correspondence. Named for him are the programming languages Haskell, Brook and Curry, and the concept of currying, a method to transform functions, used in mathematics and computer science.