- Haskell Curry
Infobox Scientist

name =Haskell Brooks Curry

birth_date =September 12 ,1900

birth_place =Millis, Massachusetts

death_date =September 1 ,1982

death_place =State College, Pennsylvania

residence =

citizenship =USA

nationality =

ethnicity =

field =mathematics

work_institutions =Penn State Universiteit van Amsterdam

alma_mater =Harvard University

doctoral_advisor =David Hilbert Paul Bernays

doctoral_students =Maarten Bunder Edward Cogan Bruce Lercher Hilbert Levitz Kenneth Lowen Luis Sanchis Jonathan Seldin

known_for =Combinatory logic Curry-Howard correspondence Curry's paradox

influences =Alfred North Whitehead Bertrand Russell Moses Schönfinkel

influenced =

prizes =

footnotes =**Haskell Brooks Curry**(September 12 ,1900 –September 1 ,1982 ) was an Americanmathematician andlogician . Curry is best known for his work incombinatory logic ; while the initial concept of combinatory logic was based on a single paper byMoses Schönfinkel , much of the development was done by Curry. Curry is also known forCurry's paradox and theCurry-Howard correspondence . He has the distinction of having two programming languages named after him, Haskell and Curry.**Life**Curry was born on September 12, 1900, in

Millis, Massachusetts , to Samuel Silas Curry and Anna Baright Curry, who ran a school forelocution . He enteredHarvard University in 1916 to study medicine but switched to mathematics before graduating in 1920. After two years of graduate work in electrical engineering at MIT, he returned to Harvard to study physics, earning a MA in 1924. Curry's interest in mathematical logic started during this period when he was introduced to thePrincipia Mathematica , the attempt byAlfred North Whitehead andBertrand Russell to ground mathematics in symbolic logic. Remaining at Harvard, Curry pursued a Ph.D. in mathematics. While he was directed byGeorge Birkhoff to work on differential equations, his interests continued to shift to logic. In 1927, while an instructor at Princeton University, he discovered the work of Moses Schönfinkel in combinatory logic. Schönfinkel's work had anticipated much of Curry's own research, and as a consequence, he moved to Göttingen where he could work withHeinrich Behmann andPaul Bernays , who were familiar with Schönfinkel's work. Curry was supervised byDavid Hilbert and worked closely with Bernays, receiving a Ph.D. in 1930 with a dissertation on combinatory logic.cite journal|last=Seldin|first=Jonathan|title=The Logic of Curry and Church]In 1928, before leaving for Göttingen, Curry married Mary Virginia Wheatley. The couple lived in Germany while Curry completed his dissertation, then, in 1929, moved to State College, Pennsylvania where Curry accepted a position at Penn State College. They had two children, Anne Wright Curry (July 27, 1930) and Robert Wheatley Curry (July 6, 1934). Curry remained at Penn State for the next 37 years. He spent one year at

University of Chicago in 1931-32 under a National Research Fellowship and one year in 1938-39 at theInstitute for Advanced Study in Princeton. In 1942 he took a leave of absence to do applied mathematics for the US government, just before and duringWorld War II . Immediately after the war he worked on theENIAC project, in 1945 and 1946. Under a Fulbright fellowship, he collaborated withRobert Feys in Louvain,Belgium . After retiring from Penn State in 1966, Curry accepted a position at theUniversity of Amsterdam . In 1970, after finishing the second volume of his treatise on the combinatory logic, Curry retired from the University of Amsterdam and returned to State College, Pennsylvania.Haskell Curry died on September 1, 1982 in State College, Pennsylvania.

**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 theKleene-Rosser paradox from correspondence with John Rosser. The paradox, developed by Rosser andStephen Kleene had proved the inconsistency of a number of related formal systems including the lambda calculus and Curry's own system.cite journal|last=Seldin|first=Jonathan|title=The Logic of Curry and Church] 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." [*cite book|last=Barendregt|first=H.P.|title=The Lambda Calculus: Its Syntax and Semantics|publisher=Elsevier|pages=4*]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 thelambda calculus ofAlonzo 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 publishedCurry's paradox . In 1966 he became professor of mathematics at theUniversiteit 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 aboutintuitionistic logic .**Major Publications***1930 "Grundlagen der kombinatorischen Logik". American Journal of Mathematics

*1951. "Outlines of a formalist philosophy of mathematics". North Holland.

*1958 (withRobert Feys ). "Combinatory Logic I". North Holland.

*1972 (with J. R. Hindley, J. P. Seldin). "Combinatory Logic II". North-Holland, 1972.

*1979 (1963). "Foundations of Mathematical Logic". Dover.**References****Further reading*** 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.

**See also***

Currying in combinatory logic

*Curry programming language

*Curry's paradox

*Functional programming .

*Haskell programming language

*TheLambda calculus

*Curry-Howard correspondence**External links***MacTutor Biography|id=Curry

* [*http://www.sadl.uleth.ca/gsdl/cgi-bin/library?a=p&p=about&c=curry Curry archives*] provides images of several hundred manuscript pages from 1920 to 1931.

* [*http://adam.science.uva.nl/~inge/Bib/bib.ps 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

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**Haskell Curry**— Pour les articles homonymes, voir Haskell et Curry (homonymie). Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) était un mathématicien et logicien américain. Ses travaux ont posé les bases de la… … Wikipédia en Français**Haskell Curry**— Haskell Brooks Curry (* 12. September 1900 in Millis, Massachusetts, USA; † 1. September 1982 in State College, Pennsylvania, USA) war ein US amerikanischer Logiker und Mathematiker. Inhaltsverzeichnis 1 Leben 2 Werk … Deutsch Wikipedia**Haskell Curry**— Haskell Brooks Curry (12 de septiembre de 1900 1 de septiembre de 1982) fue un matemático y lógico estadounidense.[1] Nacido en Millis, Massachusetts, se educó en la Universidad Harvard y recibió un doctorado en Göttingen con David Hilbert en… … Wikipedia Español**Haskell Curry**— Haskell Brooks Curry (12 de septiembre de 1900 1 de septiembre de 1982) es un matemático y lógico estadounidense. Nacido en Millis, Massachusetts, se educó en la universidad de Harvard y recibió un doctorado de Göttingen con Hilbert en 1930.… … Enciclopedia Universal**Haskell Brooks Curry**— Haskell Curry Pour les articles homonymes, voir Haskell et Curry (homonymie). Haskell Brooks Curry (né le 12 septembre 1900 et décédé le 1er septembre 1982) était un mathématicien et logicien américain. Ses travaux ont posé… … Wikipédia en Français**Haskell (programming language)**— Haskell Paradigm(s) functional, lazy/non strict, modular Appeared in 1990 Designed by Simon Peyton Jones, Lennart Aug … Wikipedia**Haskell**— Auteur le comité Haskell Développeurs la communauté Haskell … Wikipédia en Français**Haskell**— Información general Paradigma Funcional, no estricto, modular, fuertemente tipificado Apareció en 1990 Diseñado por Universidad de Yale, Universidad de Glasgow … Wikipedia Español**Haskell**— may refer to:*Haskell (programming language), a standardized pure functional programming language with non strict semantics * Haskell Indian Nations University, a four year degree granting university in Lawrence, Kansas which offers free tuition… … Wikipedia**Haskell**— es un lenguaje de programación funcional e interpretado que obtuvo su nombre del lógico Haskell Curry. Fue creado por un comité en los años 1980 con el objetivo específico de definir dicho lenguaje. El lenguaje evoluciona rápidamente con y (ver… … Enciclopedia Universal