Haskell Curry

Haskell Brooks Curry
Haskell Brooks Curry
Born	September 12, 1900; Millis, Massachusetts, US
Died	September 1, 1982 (aged 81); State College, Pennsylvania, US
Nationality	American
Alma mater	Harvard University; University of Göttingen;
Known for	Combinatory logic; Curry–Howard correspondence; Curry's paradox; Formalism in the philosophy of mathematics
	Scientific career
Fields	Mathematics; Logic
Institutions	Pennsylvania State University; University of Amsterdam
Doctoral advisor	David Hilbert

Haskell Brooks Curry (/ˈhæskəl/; September 12, 1900 – September 1, 1982) was an American mathematician and logician. Curry is best known for his work in combinatory logic, whose initial concept is based on a paper by Moses Schönfinkel, for which Curry did much of the development. Curry is also known for Curry's paradox and the Curry–Howard correspondence. Named for him are three programming languages: Haskell, Brook, and Curry, and the concept of currying, a method to transform functions, used in mathematics and computer science.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.