Haskell Brooks Curry (1900 to 1982) was an American mathematician and computer scientist best known for his work in combinatory logic, whose initial concept was based on a paper by Moses Schönfinkel but which Curry developed extensively. He is also known for Curry's paradox, which he published in 1942, and for the Curry-Howard correspondence. The programming languages Haskell, Brook and Curry, and the concept of currying, a method of transforming functions that is used in mathematics and computer science, are all named for him.
Facts
Connections
Associated With
Source Curry's paradox (Wikipedia)
In Branch
Source Haskell Curry (Wikipedia)
In the Other Atlases
Same As
Also in Computing Atlas: the same subject.
Also in Mathematics Atlas: the same subject.
Nationality
Also in Geography Atlas: the nationality of this subject.
Originated In
Also in Geography Atlas: where this subject originated.
Sources
1. Haskell Curry (Wikipedia)
Infobox: birth_date
September 12, 1900
In Branch: Logic, Lead
Curry is best known for his work in combinatory logic.
View the SourceCurry's paradox (Wikipedia)
Associated With: Curry's Paradox, LeadQuote, Associated With: Curry's Paradox, Lead
The paradox is named after the logician Haskell Curry, who wrote about it in 1942.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.