Browse the Turing Digital Archive

Contents of AMT/C/5 (up to C)

Untitled TS with AMS annotations. n.d. Probably continuation of ‘Some theorems about Church’s system’. Pages numbered 60-73, beginning ‘9. Finite models of Church’s and Zermelo’s systems’. Last page has MS note by R.O. Gandy, ‘Continuation of a paper about virtual types in Church’s system? Consistency and completeness for the system with axioms of finitude in place of inf. are sketched’.

Paper, 14 sh. in envelope.

Keywords: Church, Alonzo; Church’s system; ‘Some theorems about Church’s system’

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