01
02
03
03a
04
04a
05
05a
06
06a
07
08
09
10
11
12
13
14
15
16
17
17a
18
19
20
21
21a
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
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).
Copyright: Copyright © P.N. Furbank
01 |
02 |
03 |
03a |
04 |
04a |
05 |
05a |
06 |
06a |
07 |
08 |
09 |
10 |
11 |
12 |
13 |
14 |
15 |
16 |
17 |
17a |
18 |
19 |
20 |
21 |
21a |
Copyright © University of Southampton and King's College Cambridge 2002,2003 — Terms of Use