# Mathematician:Haskell Brooks Curry

(Redirected from Mathematician:Haskell B. Curry)

Jump to navigation
Jump to search
## 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)

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*