Curry
# Haskell Brooks Curry

### Born: 12 Sept 1900
in Millis, Massachusetts, USA

Died: 1 Sept 1982
in State College, Pennsylvania , USA

Show birthplace location

**Curry** was educated at Harvard and received a doctorate from Göttingen in 1929. He taught at Harvard, Princeton, then for 35 years at Pennsylvania State University. During World War II Curry researched in applied physics at Johns Hopkins University. In 1966 he accepted the chair of mathematics at Amsterdam.
Curry's main work was in mathematical logic with particular interest in the theory of formal systems and processes. He formulated a logical calculus using inferential rules. His works include Combinatory Logic (1958) (with Robert Feys) and Foundations of Mathematical Logic (1963).

**References (5 books/articles)**

JOC/EFR December 1996