Haskell Curry
From Exampleproblems
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.
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).
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.
References
- Combinatory Logic. Curry, Haskell B. et al., North-Holland, 1972. ISBN 0720422086 A comprehensive overview of combinatory logic, including a historical sketch.
External links
- Haskell B. Curry - MacTutor History of Mathematics archive.
- 1920-1931 block notes
- CLg. bibliography 587 ppde:Haskell Brooks Curry
