About this collection

Haskell Curry was educated at Harvard and received a doctorate from Göttingen in 1929 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).

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

How to find information in the Works of Haskell Curry collection

There are 3 ways to find information in this collection:

• search for particular words that appear in the text by clicking the Search button
• browse documents by Date by clicking the Dates button
• browse documents by Title by clicking the Titles button