Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Mathematician

Haskell Curry

Modern

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
Biography
Gender
Male 1
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
Lead
Quote, 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, attribution
Quote, 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, attribution
Quote, Attributed Works: SKI combinator calculus, Lead sentence, attribution
introduced by Moses Schönfinkel and Haskell Curry
View the Source

Take a Related Quiz

Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.