Haskell Brooks Curry

---

Born: 12 Sept 1900 in Millis, Massachusetts, USA
Died: 1 Sept 1982 in State College, Pennsylvania , USA

Haskell Curry was educated at Harvard and received a doctorate from Göttingen in 1930 for a thesis, supervised by Hilbert, entitled Grundlagen der kombinatorischen Logik.

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