Home » Browse the archive » AMT/C: Unpublished manuscripts and drafts » AMT/C/3

AMT/C/3

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

Back to AMT/C | Browse the archive | Back to the top

Copyright & terms of use | Contacts

Home

Turing Digital Archives