Haskell Curry

See also: Curry, Curry (homonymy)

Haskell Brooks Curry (born on September 12th, 1900 and deceased on September 1st, 1982) is a mathematician and American logician . Its work posed the bases of the functional Programmation.

Biography

Born with Millis, in the Massachusetts, it made its studies with Harvard and obtained its doctorate with Göttingen in 1930, under the direction of David Hilbert. He taught in Harvard, Princeton and as from 1929 at the University of the State of Pennsylvania. In 1966 it was appointed professor at the University of Amsterdam.

Whereas it was in Göttingen, Curry lute an introduction to the Combinatory logic , printed version of the course of 1920 of Moses Schönfinkel; it was according to him the element more the determinant of its career: he wrote then his thesis on the Combinatory logic , theory connected with the Lambda-calculation which is used also basic for the functional Programmation. Having worked in this field during the whole of its career, he became the principal specialist about it.

Curry also taught and worked on the Logique mathematics in general. The culminating point was its course Fondations of mathematical logic in 1963. Its philosophy of mathematics preferred was the Formalisme (cf its live of 1951), in the line of its Hilbert mentor, but its writings testify to a certain philosophical curiosity and a large opening to the Logique intuitionalist.

One owes him the concept of Curryfication and the correspondence of Curry-Howard.

Homage

Two computer programming languages owe him their name: Haskell and Curry.

See too

References

  • 1951. Outlines off has formalist philosophy off mathematics . North Holland.
  • 1958 (with Robert Feys). Combinatory Logic I . North Holland. The majority of the contents of this work were made obsolete by the work of 1972 and the following.
  • 1979 (1963). Foundations off Mathematical Logic . Dover.
  • 1972 (with J.R. Hindley, J.P. Seldin). Combinatory Logic II . North-Holland, 1972. A complete retrospective of the combinatory logic, including a chronological approach.
  • Seldin, J.P., and Hindley, J.R., eds., 1980. To H.B. Curry: Essays one combinatory logic, lambda calculus, and formalism . Academic Near. A biography contains.

Random links:List artists in contemporary art | François Walthéry | Souk-Oufella | Gueyze | The cut Hand | Parti_Socialiste_britannique