Haskell Brooks Curry (September 12, 1900, Millis, Massachusetts - September 1, 1982, State College, Pennsylvania) was an American mathematician and logician. September 12 is the 255th day of the year (256th in leap years). ... 1900 (MCM) is a common year starting on Monday. ... Millis is a town located in Norfolk County, Massachusetts. ... September 1 is the 244th day of the year (245th in leap years). ... 1982 (MCMLXXXII) is a common year starting on Friday of the Gregorian calendar. ... Downtown State College, during 2005 Centre Festival of the Arts State College, Pennsylvania, is a borough located in Centre County in the U.S. state of Pennsylvania. ... This article is in need of attention from an expert on the subject. ... A logician is a philosopher, mathematician, or other whose topic of scholarly study is logic. ...

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. 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. Harvard University is a private university in Cambridge, Massachusetts, USA and a member of the Ivy League. ... The Georg-August University of Göttingen (Georg-August-Universität Göttingen, often called the Georgia Augusta) was founded in 1734 by George II, King of Great Britain and Elector of Hanover, and opened in 1737. ... 1930 (MCMXXX) is a common year starting on Wednesday. ... David Hilbert David Hilbert (January 23, 1862 – February 14, 1943) was a German mathematician born in Wehlau, near Königsberg, Prussia (now Znamensk, near Kaliningrad, Russia) who is recognized as one of the most influential mathematicians of the 19th and early 20th centuries. ... Princeton University, located in Princeton, New Jersey, is the fifth-oldest institution of higher education in the United States. ... The Pennsylvania State University The Pennsylvania State University (commonly known as Penn State) is a state-related land-grant university based in State College, Pennsylvania (the university uses a University Park, Pennsylvania to differentiate University addresses from those in town), with over 80,000 students at 24 campuses throughout the... This article is about the year. ... Currys paradox is a paradox that occurs in naive set theory or naive logics, and allows the derivation of an arbitrary sentence from a self-referring sentence and some apparently innocuous logical deduction rules. ... 1966 (MCMLXVI) was a common year starting on Saturday (link goes to calendar) // Events January January 1 - In a coup, Colonel Jean-Bédel Bokassa ousts president David Dacko and takes over the Central African Republic. ... From Athenaeum Illustre to University In January 1632 two internationally acclaimed scientists, Caspar Barlaeus and Gerardus Vossius, held their inaugural speech in the Athenaeum Illustre - the illustrious school - which had its seat in the 14th-century Agnietenkapel. ...

While at Göttingen, Curry read the published version of Moses Schonfinkel'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. Moses Schönfinkel was a Russian logician. ... Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. ... Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. ... Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions. ... Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. ... The lambda calculus is a formal system designed to investigate function definition, function application, and recursion. ... Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who was responsible for some of the foundations of theoretical computer science. ...

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. Mathematical logic is a discipline within mathematics, studying formal systems in relation to the way they encode intuitive concepts of proof and computation as part of the foundations of mathematics. ... Intuitionistic logic, or constructivist logic, is the logic used in mathematical intuitionism and other forms of mathematical constructivism. ...

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. Haskell logo Haskell is a standardized pure functional programming language with non-strict semantics. ... Curry is an experimental functional logic programming language, based on the Haskell language. ... In computer science, currying is the technique of transforming a function taking multiple arguments into a function that takes a single argument (the first of the arguments to the original function) and returns a new function that takes the remainder of the arguments and returns the result. ... The lambda calculus is a formal system designed to investigate function definition, function application, and recursion. ... The Haskell programming language logo Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions. ...

References

• 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.

External links

• Haskell B. Curry - MacTutor History of Mathematics archive.
• Bitmap of Curry's mss, 1920-1931,
• CLg. bibliography 587 pp