Mathematician:Haskell Brooks Curry
(Redirected from Mathematician:Haskell B. Curry)Jump to navigation Jump to search
American mathematician and logician, best known for his work in combinatory logic and for Curry's Paradox.
- Born: September 12, 1900 in Millis, Massachusetts, US
- Died: September 1, 1982 in State College, Pennsylvania, US
Theorems and Definitions
- Curry's Paradox (also known as Löb's Paradox after Martin Hugo Löb)
Results named for Haskell Brooks Curry can be found here.
Definitions of concepts named for Haskell Brooks Curry can be found here.
- 1931: The universal quantifier in combinatory logic
- 1932: Some additions to the theory of combinators
- 1933: Apparent variables from the standpoint of combinatory logic
- 1934: Some properties of equality and implication in combinatory logic
- 1941: The Paradox of Kleene and Rosser (Trans. Amer. Math. Soc. Vol. 50, no. 3: pp. 454 – 516)
- Jun 1942: The Combinatory Foundations of Mathematical Logic (J. Symb. Logic Vol. 7, no. 2: pp. 49 – 64) www.jstor.org/stable/2266302
- Sep 1942: The Inconsistency of Certain Formal Logics (J. Symb. Logic Vol. 7, no. 3: pp. 115 – 117) www.jstor.org/stable/2269292
- 1963: Foundations of Mathematical Logic