Catalogue description 'Some theorems about Church's system'

This record is held by Cambridge University: King's College Archive Centre

Details of AMT/C/3
Reference: AMT/C/3
Title: 'Some theorems about Church's system'
Description:

The file comprises a typescript with autograph manuscript annotations, including a manuscript note by R. O. Gandy on an un-numbered front page, 'numbers inserted by ROG', and a note by Gandy on the last page, 'Some Theorems about Church's system (including fallacious consistency proof)'. The file also includes one further page, on the same subject but not part of this paper. See online copies at the Turing Digital Archive
Date: 1942 (Date has been estimated - AMT worked with Alonzo Church at Princeton, 1936-8, and published 2 articles on the subject in 1942.)
Held by: Cambridge University: King's College Archive Centre, not available at The National Archives
Language: English
Physical description: 21 sheets in envelope paper

Have you found an error with this catalogue description?

Help with your research