Work
The focus of Curry's work were attempts to show that combinatory logic could provide a foundation for mathematics. Towards the end of 1933, he learned of the Kleene–Rosser paradox from correspondence with John Rosser. The paradox, developed by Rosser and Stephen Kleene had proved the inconsistency of a number of related formal systems including the lambda calculus and Curry's own system. However, unlike Church, Kleene, and Rosser, Curry did not give up on the foundational approach, saying that he did not want to "run away from paradoxes."
By working in the area of Combinatory Logic for his entire career, Curry 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.
Read more about this topic: Haskell Curry
Famous quotes containing the word work:
“Your children get a lot of good stuff out of your work...They benefit from the tales you tell over dinner. They learn from the things you explain to them about what you do. They brag about you at school. They learn that work is interesting, that it has dignity, that it is necessary and pleasing, and that it is a perfectly natural thing for both mothers and fathers to do...Your work enriches your children more than it deprives them.”
—Louise Lague (20th century)
“The slightest living thing answers a deeper need than all the works of man because it is transitory. It has an evanescence of life, or growth, or change: it passes, as we do, from one stage to the another, from darkness to darkness, into a distance where we, too, vanish out of sight. A work of art is static; and its value and its weakness lie in being so: but the tuft of grass and the clouds above it belong to our own travelling brotherhood.”
—Freya Stark (b. 1893–1993)
“The idea that to make a man work you’ve got to hold gold in front of his eyes is a growth, not an axiom. We’ve done that for so long that we’ve forgotten there’s any other way.”
—F. Scott Fitzgerald (1896–1940)