Haskell Brooks Curry | |
---|---|
Born | |
Died | September 1, 1982 | (aged 81)
Alma mater | |
Known for | Combinatory logic Curry–Howard correspondence Curry's paradox Formalism in the philosophy of mathematics |
Scientific career | |
Fields | Mathematics Logic |
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 logician. 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.