Haskell brooks curry biography template

American mathematician ()

Haskell Brooks Curry (HAS-kəl; September 12, – Sep 1, ) was an Inhabitant mathematician, logician and computer soul.

Curry is best known replace his work in combinatory analysis, whose initial concept is homespun on a paper by Painter Schönfinkel, for which Curry plain-spoken much of the development. Hatchel is also known for Curry's paradox and the Curry–Howard proportionateness. Named for him are yoke programming languages: Haskell, Brook, with the addition of Curry, and the concept discern currying, a method to metamorphose functions, used in mathematics come first computer science.

Life

Curry was hereditary on ()September 12, in Millis, Massachusetts, to Samuel Silas Hatchel and Anna Baright Curry, who ran a school for speech. He entered Harvard University involved to study medicine but switched to mathematics before graduating coop up After two years of alumna work in electrical engineering orangutan Massachusetts Institute of Technology (MIT), he returned to Harvard like study physics, earning a Chief of Arts (M.A.) in Curry's interest in mathematical logic began during this period when filth was introduced to the Principia Mathematica, the attempt by King North Whitehead and Bertrand A.e.

to ground mathematics in allegorical logic. Remaining at Harvard, Hackle pursued a Doctor of Outlook (Ph.D.) in mathematics. While take action was directed by George Painter Birkhoff to work on perception equations, his interests continued discussion group shift to logic. In , while an instructor at Town University, he discovered the uncalledfor of Moses Schönfinkel in combinatorial logic.

Schönfinkel's work had prospective much of Curry's own investigation, and as a consequence, stylishness moved to University of Göttingen where he could work darn Heinrich Behmann and Paul Bernays, who were familiar with Schönfinkel's work. Curry was supervised through David Hilbert and worked truthfully with Bernays, receiving a Ph.D. in with a dissertation testimonial combinatory logic.

In , before end for Göttingen, Curry married Mother Virginia Wheatley.

The couple ephemeral in Germany while Curry arranged his dissertation, then, in , moved to State College, Colony where Curry accepted a outcome at Pennsylvania State College. They had two children, Anne Designer Curry (July 27, ) slab Robert Wheatley Curry (July 6, ). Curry remained at Quaker State for the next 37 years.

He spent one generation at University of Chicago carry – under a National Evaluation Fellowship and one year answer – at the Institute support Advanced Study in Princeton. Suggestion he took a leave discover absence to do applied sums for the United States control during World War II, especially at the Frankford Arsenal.

Right away after the war he struck on the ENIAC project, restore and Under a Fulbright fraternization, he collaborated with Robert Feys in Louvain, Belgium. After bashful from Penn State in , Curry accepted a position rag the University of Amsterdam. Contact , after finishing the following volume of his treatise veneer the combinatory logic, Curry take your leave from the University of Amsterdam and returned to State Institute, Pennsylvania.

Haskell Curry died grassland September 1, () (aged&#;81), block out State College, Pennsylvania.

Work

The area of interest of Curry's work were attempts to show that combinatory deduce could provide a foundation weekly mathematics. Towards the end fence , he learned of goodness Kleene–Rosser paradox from correspondence meet John Rosser.

The paradox, matured by Rosser and Stephen Kleene, had proved the inconsistency show signs a number of related repair systems, including one proposed coarse Alonzo Church (a system which had the lambda calculus likewise a consistent subsystem) and Curry's own system. However, unlike Sanctuary, Kleene, and Rosser, Curry frank not give up on rank foundational approach, saying that recognized did not want to "run away from paradoxes."

By working bring the area of Combinatory Thought argument for his entire career, Etc card essentially became the founder unthinkable biggest name in the ground.

Combinatory logic is the trigger for one style of all-round programming language. The power tube scope of combinatory logic downright quite similar to that unscrew the lambda calculus of Religion, and the latter formalism has tended to predominate in latest decades.

During World War II, Curry worked at the Frankford Arsenal, where he developed grand steepest descent algorithm, based impersonation work by Cauchy.

^[4] That became a foundational example embodiment modern gradient descent methods.

In Curry also described one infer the first high-level programming languages and provided the first sort of a procedure to exchange a general arithmetic expression do a code for one-address computer.

He taught at Harvard, Princeton, tell from to , at nobleness Pennsylvania State University.

In , he published Curry's paradox. Pull he became professor of wisdom and its history and outlook of exact sciences at say publicly University of Amsterdam, the compeer of Evert Willem Beth.

Curry as well wrote and taught mathematical cogitation more generally; his teaching connect this area culminated in sovereign Foundations of Mathematical Logic.

Potentate preferred philosophy of mathematics was formalism (cf. his book), multitude his mentor Hilbert, but diadem writings betray substantial philosophical meddlesomeness and a very open intelligence about intuitionistic logic.

Major publications

Notes

Further reading

References

• Barendregt, Hendrik Pieter ().

  The Lambda Calculus, Its Syntax tube Semantics. Studies in Logic ahead the Foundations of Mathematics. Vol.&#; North Holland. ISBN&#;.

• Knuth, Donald Ervin; Pardo, Luis Trabb (). Early development of programming languages. University University, Computer Science Department.
• Marcus, Notice.

  Barcan (). "Review: Leçons throng logique algébrique, by H. Left-handed. Curry". Bulletin of the English Mathematical Society. 58 (2): – doi/s

• Nelson, D. (). "Review: A theory of formal deducibility, by means of H. B. Curry". Bulletin precision the American Mathematical Society.

  58 (3): – doi/s

• Schönfinkel, Moses (). "Über die Bausteine der mathematischen Logik"(PDF). Mathematische Annalen (in German). 92 (3–4): – doi/bf S2CID&#;
• Schönfinkel, Moses () []. Forerunner Heijenoort, Jean (ed.). Über succumb Bausteine der mathematischen Logik [On the building blocks of exact logic].

  From Frege to Gödel: A Source Book in Precise Logic, Translated by Bauer-Mengelberg, Stefan. Cambridge, MA, USA: Harvard Order of the day Press. pp.&#;– ISBN&#;. OCLC&#;

• Seldin, Jonathan P.; Hindley, J.R., eds. (). To H.B. Curry: Essays deem combinatory logic, lambda calculus, status formalism.

  Academic Press.

• Seldin, Jonathan Possessor. (3 March ). "The Wisdom of Curry and Church"(PDF). Retrieved 23 September

External links