TS, 'Some theorems about Church's system'*, with AMS annotations. n.d. Includes MS note by R.O. Gandy on un-numbered front page, 'numbers inserted by ROG', and note by Gandy on last page, 'Some Theorems about Church's system (including fallacious consistency proof)'. Also includes one further page on same subject but not part of this paper. n.d.

Paper, 21 sh. in envelope.

* AMT worked with Alonzo Church at Princeton, 1936-8, and published 2 articles on the subject in 1942

Provenance: Assembled after AMT's death by Dr. Robin Gandy, to whom these manuscripts were left by AMT in his will (see A/5).

Copyright: Copyright © The Provost and Scholars of King's College Cambridge

Please read the terms of use if you wish to download the PDF file below