From Wikipedia, the free encyclopedia

Haskell Brooks Curry (September 12, 1900, Millis, Massachusetts – September 1, 1982, State College, Pennsylvania) was an American mathematician and logician.

The son of educator Samuel Silas Curry, he was educated at Harvard University and received a Ph.D. from Göttingen in 1930, under the supervision of David Hilbert.

While at Göttingen, Curry read the published version of Moses Schönfinkel's 1920 lecture introducing combinatory logic, the fateful event in his career. He then wrote his Ph.D. thesis on combinatory logic. By working in the area for his entire career, he essentially became the founder and biggest name in the field. Combinatory logic is the foundation for one style of functional programming language. The power and scope of combinatory logic is quite similar to that of the lambda calculus of Alonzo Church, and the latter formalism has tended to predominate in recent decades.

He taught at Harvard, Princeton, and from 1929 to 1966, at the Pennsylvania State University. In 1942, he published Curry's paradox. In 1966 he became professor of mathematics at the Universiteit van Amsterdam.

Curry also wrote and taught mathematical logic more generally; his teaching in this area culminated in his 1963 Foundations of Mathematical Logic. His preferred philosophy of mathematics was formalism (cf. his 1951 book), following his mentor Hilbert, but his writings betray substantial philosophical curiosity and a very open mind about intuitionistic logic.

• Currying in combinatory logic
• Curry programming language
• Curry's paradox
• Functional programming.
• Haskell programming language
• The Lambda calculus
• Curry-Howard correspondence

• 1951. Outlines of a formalist philosophy of mathematics. North Holland.
• 1958 (with Robert Feys). Combinatory Logic I. North Holland. Much of the approach of this book was superseded by Curry (1972) and later work.
• 1979 (1963). Foundations of Mathematical Logic. Dover.
• 1972 (with J. R. Hindley, J. P. Seldin). Combinatory Logic II. North-Holland, 1972. A comprehensive overview of combinatory logic, including a historical sketch.
• Seldin, J.P., and Hindley, J.R., eds., 1980. To H.B. Curry: Essays on combinatory logic, lambda calculus, and formalism. Academic Press. Includes biographical essay.

• O'Connor, John J; Edmund F. Robertson "Haskell Curry". MacTutor History of Mathematics archive.  
• Bitmap of Curry's mss, 1920-1931,
• CLg. bibliography 587 pp