Haskell Curry
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), 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 *
Functional programming.
*
Haskell programming language*The
Lambda calculus*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.
*
Bitmap of Curry's mss, 1920-1931,
*
CLg. bibliography 587 pp{{Persondata
NAME=Curry, Haskell | ALTERNATIVE NAMES= | SHORT DESCRIPTION=American mathematician | DATE OF BIRTH=September 12, 1900 | PLACE OF BIRTH=Millis, Massachusetts | DATE OF DEATH=September 1, 1982 | PLACE OF DEATH=State College, Pennsylvania
|
