Haskell Curry (nonfiction): Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
[[File:Haskell_Brooks_Curry.jpg|thumb|Haskell Brooks Curry.]]'''Haskell Brooks Curry''' ( | [[File:Haskell_Brooks_Curry.jpg|thumb|Haskell Brooks Curry.]]'''Haskell Brooks Curry''' (September 12, 1900 – September 1, 1982) was an American [[Mathematician (nonfiction)|mathematician]] and logician. | ||
Curry is best known for his work in [[Combinatory logic (nonfiction)|combinatory logic]]; while the initial concept of combinatory logic was based on a single paper by [[Moses Schönfinkel (nonfiction)|Moses Schönfinkel]], much of the development was done by Curry. | Curry is best known for his work in [[Combinatory logic (nonfiction)|combinatory logic]]; while the initial concept of [[Combinatory logic (nonfiction)|combinatory logic]] was based on a single paper by [[Moses Schönfinkel (nonfiction)|Moses Schönfinkel]], much of the development was done by Curry. | ||
Curry is also known for Curry's paradox and the Curry–Howard correspondence. | 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. | 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 (nonfiction)|mathematics]] and computer science. | ||
== In the News == | == In the News == | ||
| Line 17: | Line 17: | ||
* [[Gnomon algorithm]] | * [[Gnomon algorithm]] | ||
* [[Gnomon Chronicles]] | * [[Gnomon Chronicles]] | ||
* [[Mathematician]] | |||
* [[Mathematics]] | * [[Mathematics]] | ||
| Line 24: | Line 25: | ||
* [[Combinatory logic (nonfiction)]] | * [[Combinatory logic (nonfiction)]] | ||
* [[Mathematician (nonfiction)]] | * [[Mathematician (nonfiction)]] | ||
* [[Moses Schönfinkel (nonfiction)]] - | * [[Bertrand Russell (nonfiction)]] - Influence | ||
* [[Moses Schönfinkel (nonfiction)]] - Influence | |||
* [[Alfred North Whitehead (nonfiction)]] - Influence | |||
External links: | External links: | ||
Latest revision as of 20:29, 26 February 2018
Haskell Brooks Curry (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
- Paul Bernays (nonfiction) - Doctoral advisor
- Combinatory logic (nonfiction)
- Mathematician (nonfiction)
- Bertrand Russell (nonfiction) - Influence
- Moses Schönfinkel (nonfiction) - Influence
- Alfred North Whitehead (nonfiction) - Influence
External links:
- Haskell Curry @ Wikipedia