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 )


 * Curry-Howard Correspondence (with )
 * Haskell
 * Brook
 * Curry

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




 * 1963: Foundations of Mathematical Logic