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, logician 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,[1] 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 three programming languages: Haskell, Brook, and Curry, and the concept of currying, a method to transform functions, used in mathematics and computer science.