Alan Turing's papers
Much of Turing's work was not published in the formal sense of appearance
in a scientific journal of the day. So it is not straightforward to give a listing of everything he wrote. There are internal reports, unfinished work completed by others, typescripts of talks, and papers which were never intended for publication, being top secret at the time of their composition and for long afterwards.
These Bibliography pages are intended to give a reasonably complete listing of material written in the form of scientific papers, but they do not include letters written to personal colleagues and various other exceptional items.
Almost everything Turing wrote is now accessible on-line in some form, much of it in the Turing Digital Archive, which makes available scanned versions of the physical papers held in the archive at King's College, Cambridge University. See these notes on Turing archives and photographs.
These Bibliography pages give a traditional listing of papers and printed material, but also direct links to on-line versions.
Papers collected in books:
The Collected Works of A. M. Turing
The first three volumes of the annotated Collected Works of A. M. Turing appeared in 1992. These are:
The fourth volume appeared in 2001. Originally the editor was to be Robin Gandy, but after his death in 1995 the work was brought to completion by his colleague C. E. M. (Mike) Yates. This is
- Mechanical Intelligence, ed. Darrel Ince, ISBN 0-444-88058-5
- Morphogenesis, ed. P. T. Saunders, ISBN 0-444-88486-6
- Pure Mathematics, ed. J. L. Britton, ISBN 0-444-88059-3
- Mathematical Logic, eds.
R. O. Gandy and C. E. M. Yates, ISBN 0-444-50423-0.
All are published by North-Holland (Amsterdam; London). The overall editor
of the series is P. N. Furbank, Alan Turing's literary executor.
It is a pity that the Collected Works are so inaccessible. At over $100 each,
libraries cannot afford them. The failure of printed publication to make Turing's oeuvre accessible is an indication of the serious role that the Internet now plays in scholarship.|
If you are feeling rich, however, you can order the Collected Works of A. M. Turing from Amazon.com: Mechanical Intelligence, Morphogenesis, Pure Mathematics,
The Essential Turing
This is not the 'first purchasable book by Turing,' as Oxford University Press claims in its blurb, but it certainly comes a lot cheaper than the Collected Works. This is a selection of Turing's papers by the philosopher B. Jack Copeland (2004), with prefaces and annotations.
Copeland's editorial comments are controversial. See my detailed review of this edition in a special edition of the Notices of the American Mathematical Society.
In 1965, the distinguished logican Martin Davis first published this collection of the classic papers on mathematical logic. Turing's principal papers appear amidst those of Gödel, Church, Post and others. The book appeared in a new Dover edition in 2004.
A full listing of Turing's papers
The listing is too long for a single web-page, so it has been split between four. The four pages correspond to the four volumes of the Collected Works. As the editors point out, this division is to some extent arbitrary, and you may have to look at more than one page to find a topic. But it is more helpful than listing all the papers by chronological order.
Other primary works
The following items are not works of Alan Turing himself, but are surveys which in different ways include material from sources very close to him.
- Alan Mathison Turing, M. H. A. Newman, in Biographical Memoirs of the Royal Society, 1955.
This is reproduced in Part III of the Mathematical Logic volume of the Collected Works
Scan of the printed article in the Turing Digital Archive.
- A handwritten letter from Robin Gandy to M. H. A. Newman, June 1954. Gandy summarised Turing's unfinished work as it stood at the time of his death, including a description of Turing's ideas about quantum mechanics. The text of this letter appears in Part III of the Mathematical Logic volume of the Collected Works, preceded by a preface by me, available on this website.
Scan of Robin Gandy's letter in the Turing Digital Archive
- Alan M. Turing, Sara Turing, Heffers, Cambridge (1959). There is also a Japanese translation.
- The Universal Turing Machine, a Half-Century Survey, ed. R. Herken, Kammerer & Unversagt, Hamburg, and Oxford University Press (1988). Part One of the volume contains important analytical articles on Turing's own work by leading logicians of his era:
Martin Davis's book The Universal Computer (Norton, 2000) is an important development of the material in his article.
- Stephen C. Kleene, Turing's Analysis of Computability, and Major Applications of It
- Robin Gandy, The Confluence of Ideas in 1936
- Solomon Feferman, Turing in the Land of O(Z)
- Martin Davis, Mathematical Logic and the Origin of Modern Computing.
- Codebreakers, F. H. Hinsley and Alan Stripp (eds.), Oxford University Press (1993), paperback edition with corrections (1994). This contains important articles on Turing's cryptanalytic contributions by his colleagues in the codebreaking work, in particular I. J. Good and Joan Murray.
The Alan Turing Bibliography: