Haskell Curry

Haskell Brooks Curry
Born(1900-09-12)September 12, 1900
DiedSeptember 1, 1982(1982-09-01) (aged 81)
Alma mater
Known forCombinatory logic
Curry–Howard correspondence
Curry's paradox
Formalism in the philosophy of mathematics
Scientific career
FieldsMathematics
Logic
InstitutionsPennsylvania State University
University of Amsterdam
Doctoral advisorDavid Hilbert

Haskell Brooks Curry (/ˈhæskə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.


© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search