about
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).
This is a collection of images scanned from Curry's notes and manuscripts between 1920 and 1931. A total of 8630 images were scanned, of which 1740 were unusable due to technical reasons and do not appear here, and a further 730 appear but are corrupted because of conversion problems (documents containing them are marked as being corrupted). It is planned eventually to scan the complete set of papers up to his death in 1982.
The principal means of access is via date (click "dates" in the access bar above, then the year). Titles and descriptions will be added manually (but there are only two so far). You can full-text search the descriptions (try searching for "the").
There are 3 ways to find information in this collection: