Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.

Responsive image


Haskell Curry

Haskell Brooks Curry
Born(1900-09-12)September 12, 1900
DiedSeptember 1, 1982(1982-09-01) (aged 81)
Alma mater
Known forCurry's paradox
Currying
Curry–Howard correspondence
Scott–Curry theorem
B, C, K, W system
Combinatory logic
Formalism in the philosophy of mathematics
Scientific career
FieldsMathematics
Logic
computer science
InstitutionsPennsylvania State University
University of Amsterdam
Doctoral advisorDavid 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.


Previous Page Next Page






هاسكل كاري Arabic هاسكل كارى ARZ هسکل کاری AZB Haskell Curry Catalan Haskell Brooks Curry Czech Haskell Brooks Curry German Haskell Curry EO Haskell Curry Spanish Haskell Curry EU هسکل کاری FA

Responsive image

Responsive image