Haskell Curry (nonfiction): Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
(Created page with "thumb|Haskell Brooks Curry.'''Haskell Brooks Curry''' (/ˈhæskəl ˈkɜːri/; September 12, 1900 – September 1, 1982) was an American math...")
 
No edit summary
Line 17: Line 17:


* [[Mathematician (nonfiction)]]
* [[Mathematician (nonfiction)]]
* [[Paul Bernays (nonfiction)]] - Doctoral advisor


External links:
External links:

Revision as of 09:02, 20 November 2017

Haskell Brooks Curry.

Haskell Brooks Curry (/ˈhæskəl ˈkɜːri/; September 12, 1900 – September 1, 1982) was an American mathematician and logician.

Curry is best known for his work in combinatory logic; while the initial concept of combinatory logic was based on a single paper by Moses Schönfinkel, much of the development was done by Curry.

Curry is also known for Curry's paradox and the Curry–Howard correspondence.

There are three programming languages named after him -- Haskell, Brook and Curry -- as well as the concept of currying, a technique used for transforming functions in mathematics and computer science.

In the News

Fiction cross-reference

Nonfiction cross-reference

External links: