Haskell Curry
Haskell Brooks Curry | |
|---|---|
| Born | September 12, 1900 |
| Died | September 1, 1982 (aged 81) |
| Education | |
| 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 |
| Workplaces | Pennsylvania State University University of Amsterdam |
| 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. Although its initial concept was based on a paper by Moses Schönfinkel, 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.