Haskell Curry

Haskell Brooks Curry (September 12, 1900 - September 1, 1982) was an American mathematician and logician. Born in Millis, Massachusetts, the son of educator Samuel Silas Curry, he was educated at Harvard University and received a doctorate from Göttingen in 1930, under supervision of David Hilbert. He taught at Harvard, Princeton, and then beginning in 1929 for 35 years at Pennsylvania State University. In 1942 he exposited Curry's paradox. In 1966 he became professor of mathematics at the Universiteit van Amsterdam. He died in State College, Pennsylvania.

Related Topics:
September 12 - 1900 - September 1 - 1982 - American - Mathematician - Logician - Millis, Massachusetts - Harvard University - Doctorate - Göttingen - 1930 - David Hilbert - Princeton - 1929 - Pennsylvania State University - 1942 - Curry's paradox - 1966 - Universiteit van Amsterdam - State College - Pennsylvania

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Curry's main work was in mathematical logic, especially in combinatory logic, the foundation for one style of functional programming language. His works include Combinatory Logic (1958) and Foundations of Mathematical Logic (1963).

Related Topics:
Mathematical logic - Combinatory logic - Functional programming language - 1958 - 1963

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

The functional computer languages Haskell and Curry are named after him, as is the concept of currying in combinatory logic, the lambda calculus, and functional programming.

Related Topics:
Haskell - Curry - Currying - Lambda calculus - Functional programming

~ ~ ~ ~ ~ ~ ~ ~ ~ ~