Janus: The Papers of Alan Mathison Turing

King's/PP/AMT contains:
A	Biographical and personal papers
B	Publications, lectures and talks written or owned by AMT
C	Unpublished manuscripts and drafts
D	Correspondence
E	Turing Celebration Day
K	Material given to King's College, Cambridge in 1960
X	Extra material

More information

Please feel free to contact the repository.

The Papers of Alan Mathison Turing

Title	Unpublished manuscripts and drafts
Reference	AMT/C
Covering Dates	1927–1977
Extent and Medium	2 boxes; paper

Content and context

Dr Gandy paginated and annotated some of the papers with a view to posthumous publication in 'Collected Works of A. M. Turing' (Elsevier Science Publishers: Amsterdam, 1992). His annotations at the head of the manuscripts, and in the body of the text, are indicated in the relevant catalogue entries.

Reference: C/24-27 received in 1978 from N.E. Hoskin

C/23 received in 1979 from Prof. I.J. Good (photocopies from originals in his possession)

King's/PP/AMT/C contains:

'The difference psi (x) - x'. The file comprises a copy typescript with autograph manuscript mathematical calculations and corrections in red ink.
7 sheets in envelope; paper.

c. 1937

'Zeta function machine'. The file comprises a blueprint, signed D. C. M. [Donald MacPhail], probably prepared in connection with AMT's article 'A method for the calculation of the zeta function', published 1943 but received 1939 (see bibliography in Royal Society memoir, A/36).
1 item; paper.

17 July 1939

'Some theorems about Church's system'. The file comprises a typescript with autograph manuscript annotations, including a manuscript note by R. O. Gandy on an un-numbered front page, 'numbers inserted by ROG', and a note by Gandy on the last page, 'Some Theorems about Church's system (including fallacious consistency proof)'. The file also includes one further page, on the same subject but not part of this paper.
21 sheets in envelope; paper.

1942

Untitled paper beginning '§5. Consequences of the Peano axioms'. The file comprises a typescript with autograph manuscript annotations, the pages are numbered 37-43. The paper is probably a continuation of 'Some theorems about Church's system'.
7 sheets in envelope; paper.

Untitled paper beginning '9. Finite models of Church's and Zermelo's systems'. The file comprises a typescript with autograph manuscript annotations, the pages are numbered 60 - 73. The paper is probably a continuation of 'Some theorems about Church's system'. The last page has a manuscript 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'.
14 sheets in envelope; paper.

'A practical form of type theory II'. 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.
125 items in envelope; paper.

c. 1948

'A diffusion reaction theory of morphogenesis in plants'. The file comprises a copy typescript with autograph manuscript corrections. The title page reads: 'The mathematical author (A.T.) is the originator of the theory (which will appear shortly in the Proceedings of the Royal Society) and is responsible for the exactitude with which his ideas and the relevant physical and mathematical concepts are represented, while the botanical author (C.W.W.) [Claude Wilson Wardlaw] has tried to give the theory an appropriate botanical setting'. *.
20 sheets in envelope; paper.

Jan. 1952-May 1952

'Morphogen theory of phyllotaxis. Part I. Geometrical and descriptive phyllotaxis.'. The file comprises a typescript, made by N. E. Hoskin and B. Richards, based largely on AMT's typescript in C/25. The paper includes manuscript corrections by N. E. Hoskin after AMT's death. The accompanying manuscript note by R. O. Gandy reads 'Draft of paper intended for Transactions of Royal Society written by N. E. Hoskin and B. Richards from manuscripts of A. M. T. and notes of lectures given in Manchester'.
Creator: Turing, Alan Mathison, Hoskin, N. E. and Richards, B.
42 sheets in envelope; paper.

Dec. 1954–1977

'Part II. Chemical theory of morphogenesis'. The file comprises a typescript continuation of 'Morphogen theory of phyllotaxis', with manuscript corrections.
13 sheets in envelope; paper.

1954–1977

'Part III. A solution of the morphogenetical equations for the case of spherical symmetry'. The file comprises a typescript continuation of 'Morphogen theory of phyllotaxis'.
Creator: Richards, B.
16 sheets in envelope; paper.

1954–1977

'Intelligent machinery'. The file comprises a typescript with autograph manuscript corrections and additions. The pages are numbered 1-37, with 2 un-numbered pages of references and notes. Page 1 has a manuscript note by R. O. Gandy, 'Turing's typed draft'.
40 sheets in envelope; paper.

'The reform of mathematical notation and phraseology'. The file comprises a typescript with autograph manuscript corrections, including manuscript annotations by R. O. Gandy. The pages are numbered 1-8, 13-18, with one un-numbered last page. Page 13 has a note by R.O. Gandy, 'No sign of pages 9-12'.
15 sheets in envelope; paper.

'General tensors in a group'. The file comprises an autograph manuscript paper. The pages have not been numbered.
21 sheets in envelope; paper.

'Minimum cost sequential analysis'. The file comprises a typescript with autograph manuscript annotations, and includes some pages of autograph manuscript notes and calculations.
17 sheets in envelope; paper.

'A note on normal numbers.'. The file comprises a typescript and autograph manuscript (the manuscript version is written on the back of a typescript draft of another paper.
11 sheets in envelope; paper.

'The word problem in compact groups'. The file comprises a typescript with autograph manuscript annotations, including 1 autograph manuscript page entitled, 'The word problem is solvable in simple groups'. Page 1 has an autograph manuscript note, 'Please let me have this back soon'.
4 sheets in envelope; paper.

'On Permutation Groups'. The file comprises a typescript with autograph manuscript annotations. The first page(s) bearing the title is missing, but the last page has a manuscript title by R. O. Gandy. The paper is probably related to work at the Cypher School, Bletchley.
32 sheets in envelope; paper.

'The game of poker'. The file comprises an unfinished autograph manuscript draft (pp. 1-13 only numbered), with extensive notes and calculations, many on the reverse of mathematical exercises by other individuals.
33 sheets in envelope; paper.

'The game of "Psychology"'. The file comprises an autograph manuscript paper. The pages are un-numbered; most have been written on the reverse of mathematical exercises by other individuals.
8 sheets in envelope; paper.

'The elliptic integrals K, E.'. The file comprises an autograph manuscript paper, with a manuscript note on the back by Mrs Turing, 'Problem on Elliptic Functions worked out by A. M. Turing for the amusement of Malcolm MacPhail, Humble Oil and Refining Company, Houston, Texas, U.S.A.'.
1 sheet in envelope; paper.

'Précis of Relativity Theory'. The file comprises an incomplete photocopy of the document held in K/2.
1 item in envelope; paper.

c. 1927

'The rules of GO'. The file comprises an autograph manuscript, written on paper headed 'King's College, Cambridge'. GO is a game for 2 players with counters.
1 sheet in envelope; paper.

1930–1939

Notes and calculations. The file comprises photocopies of autograph manuscript notes and calculations by AMT, 'Two contour-integral proofs', 'Ingham's proof', and 'Another proof'. The pages are numbered 3 and 4. Page 3 has a manuscript note by Good, 'A note by Turing for I. J. Good, c. 1943'. Page 4 is addressed, 'Dr I. J. Good, Hut 11' [at Bletchley Park].
2 sheets in envelope; paper.

1943

24-27

Work on morphogenesis.
4 envelopes; paper.

'On the Gaussian Error Function'. The file comprises a typescript copy of AMT's Fellowship Dissertation, 1935.
1 item in envelope; paper.

1935

'Nature of Spirit'. The file comprises a photocopy of an autograph manuscript essay written during a visit to Clock House, Bromsgrove (home of his friend Christopher Morcom).
6 sheets in envelope; paper.

Apr. 1932

'Treatise on the Enigma'. The file comprises a photocopied typescript of the treatise.
61 sheets in envelope; paper.

c. 1939-c. 1942

Report on AMT's visit to the Naval Computing Machine Laboratory at Dayton, Ohio. The file comprises a photocopy of the typescript report.
9 sheets in envelope; paper.

Dec. 1942

31A

'Enigma series, Volume 6, Duenna. Communications Intelligence Technical Paper TS-10/E-6'. This file contains papers related to AMT's visit to the Naval Computing Machine Laboratory. It comprises:. - photocopies of a report held at the National Archives and Records Administration in the United States (NARA) concerning how the US Navy's proposed 4-rotor bombe might handle an eight-letter crib, including notes of [a question-and-answer session with AMT] (1946). - offprint of an article published in 'Cryptologia' 35:1 (January 2001, pp 1-17) by Lee Gladwin, about the visit and including Turing's report AMT/C/31. - covering letter from Lee Gladwin, 2002.
Creator: Gladwin, Lee.
35 sheets; paper.

1946–2002

'Proposed electronic calculator' [Automatic computing engine]. The file comprises a photocopied typescript report on the detailed design of an electronic computer and an account of its operation, written as an employee of the National Physical Laboratory.
48 sheets in envelope; paper.

1946

'Minimum weight structures'. The file comprises a typescript with autograph manuscript annotations. It also includes a typescript, 'Minimum weight design: Memories of Alan Turing', by Dr R. K. Livesley describing his work with AMT and computing at Manchester University in the early 1950s.
2 items in envelope; paper.

1953