Mathematician:Haskell Brooks Curry

Mathematician

American mathematician and logician, best known for his work in combinatory logic and for Curry's Paradox.

Nationality

American

History

• 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)

• Curry-Howard Correspondence (with William Alvin Howard)
• Haskell
• Brook
• Curry

Results named for Haskell Brooks Curry can be found here.

Definitions of concepts named for Haskell Brooks Curry can be found here.

Publications

• 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

Sources

• John J. O'Connor and Edmund F. Robertson: "Haskell Brooks Curry": MacTutor History of Mathematics archive