Janus: The Papers of Alan Mathison Turing

King's/PP/AMT/C contains:
1	'The difference psi (x) - x'
2	'Zeta function machine'
3	'Some theorems about Church's system'
4	Untitled paper beginning '§5. Consequences of the Peano axioms'
5	Untitled paper beginning '9. Finite models of Church's and Zermelo's systems'
6	'A practical form of type theory II'
7	'A diffusion reaction theory of morphogenesis in plants'
8	'Morphogen theory of phyllotaxis. Part I. Geometrical and descriptive phyllotaxis.'
9	'Part II. Chemical theory of morphogenesis'
10	'Part III. A solution of the morphogenetical equations for the case of spherical symmetry'
11	'Intelligent machinery'
See later -->

More information

Please feel free to contact the repository.

The Papers of Alan Mathison Turing

Title	'A practical form of type theory II'
Reference	AMT/C/6
Covering Dates	c. 1948
Extent and Medium	125 items in envelope; paper

Content and context

The file comprises a typescript with autograph manuscript annotations. This paper was intended as a continuation of B/3, the contents being summarised on page 1 by AMT, 'In this paper theorems A and B enunciated in Part 1 are proved'. Page 1 also bears a manuscript note by R. O. Gandy, 'Pages nod by ROG as they lay (manuscript pages given letter, e.g., 50A, 50B, etc)'. The file includes many autograph manuscript additional papers, numbered 1-81, followed by a sequence of manuscript pages as follows: 1, 'note to p.7', 2-16, 18, 19, 22.

No further on-line information.