Haskell Brooks Curry was an American mathematician and computer scientist, 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. Born on September 12, 1900 in Millis, Massachusetts, he entered Harvard University in 1916 to study medicine but switched to mathematics, did graduate work in electrical engineering at MIT, and took his interest in mathematical logic from Principia Mathematica. In 1927 he discovered the work of Moses Schönfinkel, and he then moved to the University of Göttingen to work with Heinrich Behmann and Paul Bernays. He is also known for Curry's paradox and the Curry-Howard correspondence, and the programming languages Haskell, Brook and Curry and the concept of currying are named for him. He died in 1982.
Facts
Connections
Attributed Works
Source B, C, K, W System (Wikipedia)
Source SKI combinator calculus (Wikipedia)
In Branch
Source Wikipedia: Haskell Curry
In the Other Atlases
Same As
Also in Computing Atlas: the same subject.
Also in Philosophy Atlas: the same subject.
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikipedia: Haskell Curry
LeadQuote, Lead
Curry is best known for his work in combinatory logic.
View the Source B, C, K, W System (Wikipedia)
Attributed Works: B, C, K, W System, Lead sentence, attributionQuote, Attributed Works: B, C, K, W System, Lead sentence, attribution
discovered by Haskell Curry
View the Source SKI combinator calculus (Wikipedia)
Attributed Works: SKI combinator calculus, Lead sentence, attributionQuote, Attributed Works: SKI combinator calculus, Lead sentence, attribution
introduced by Moses Schönfinkel and Haskell Curry
View the Source 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.