User:Lesser Cartographies/sandbox/Bibliography of Alan Turing

The bibliography of Alan Turing lists the scientific work authored in whole or in part by computer scientist Alan Turing. The selection of material is not necessarily obvious, as Turing's work ranges from material published in scholarly journals to, in the words of Turing biographer Andrew Hodges, "internal reports, unfinished work completed by others, typescripts of talks, and papers which were never intended for publication" due to their classified nature.[1] The earliest bibliography appears no later than 1955 in Max Newman's biographical notice[2] for the Royal Society following Turing's death the previous year. The four-volume Collected Works of A. M. Turing divides Turing's output into "Mechanical Intelligence,"[3] "Morphogenesis,"[4] "Pure Mathematics,"[5] and "Mathematical Logic."[6] The more recent Alan Turing: His Work and Impact[7] did not include a bibliography, referring readers instead to the online bibliography maintained by Nelson Beebe.[8] Turing's papers are housed at King's College, Cambridge and made available online via the Turing Digital Archive.[9] Published bibliographies have tended to go out of date quickly as more of Turing's classified work is released.

Bibliography

edit

Following the convention used in the Collected Works and the online bibliography of Andrew Hodges, the material is divided into Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Unless otherwise noted, all material is reproduced in the Collected Works.

Abbreviations

edit
CW The Collected Works of A. M. Turing[3][5][4][6]
TDA The Turing Digital Archive[9]
Essential The Essential Turing[10]
Impact Alan Turing: His Work and Impact[7]
NPL National Physical Laboratory


Mechanical Intelligence

edit
  • Proposed Electronic Calculator, 1945, p. 48. TDA:C/32|AMT/C/32. Technical report written under the auspices of the Executive Committee of the National Physical Laboratory. Describes the architecture of the Automatic Computing Engine (ACE). Additional facsimile. First published as Computer Science Division Report No. 57 by NPL in April, 1972 with a forward by Donald Davies. Discussed at length in Copeland.[11] Reproduced with annotations in Carpenter.[12]
  • The Automatic Computing Engine, December 1946. No copy in TDA or CW. Lectures given my Turing and J. H. Wilkinson at the Ministry of Supply. Reproduced in Machine Intelligence 15.[13] Seven lectures given "[o]n a series of Thursday afternoons Dec. 1946 and January 1947."[9]: AMT/B/2
  • Lecture to the London Mathematical Society, 20 February 1947. TDA:AMT/B/1. Held at Burlington House, London in the rooms of the Royal Astronomical Society, and is the earliest known public reference to the new discipline of computer intelligence.[10]: 375  Reproduced in Essential[10]: 362–394  and Impact.[7]: 479–486 
  • Intelligent Machinery, 1948. TDA:AMT/C/11. NPL report. First published in Cybernetics: Key Papers[14] and reprinted in Machine Intelligence 5,[15] Impact[7]: 499–550  and Essential.[10]: 465–475 
  • Checking a Large Routine, 1949. TDA:AMT/B/8. Conference paper presented that the inaugural EDSAC conference on June 24, 1949 and first printed in the conference proceedings.[16]: 67–69  Corrected version from F. L. Morris and C. B. Jones[17] later reprinted in Impact.[7]: 455–464 

References

edit
  1. ^ Hodges, Andrew. "The Alan Turing Bibliography". Retrieved November 2014. {{cite web}}: Check date values in: |accessdate= (help)
  2. ^ Newman, M.H.A. date=November 1, 1955 (1955). "Alan Mathison Turing. 1912–1954". Biographical Memoirs of the Fellows of the Royal Society. 1: 253–263. doi:10.1098/rsbm.1955.0019. S2CID 711366. {{cite journal}}: Missing pipe in: |first= (help)CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link) Reprinted in Impact, pages 5–12.
  3. ^ a b Turing, A. M. (1992). Ince, Darrel (ed.). Mechanical Intelligence. The Collected Works of A. M. Turing. Amsterdam: North-Holland. p. 227. ISBN 0-444-88058-5.
  4. ^ a b Turing, A. M. (1992). Saunders, P. T. (ed.). Morphogenesis. The Collected Works of A. M. Turing. Amsterdam: North-Holland. p. 131. ISBN 0-444-88486-6.
  5. ^ a b Turing, A. M. (1992). Britton, J. L. (ed.). Pure Mathematics. The Collected Works of A. M. Turing. Amsterdam: North-Holland. p. 287. ISBN 0-444-88059-3.
  6. ^ a b Turing, A. M. (2001). Gandy, R. O.; Yates, C. E. M. (eds.). Mathematical Logic. The Collected Works of A. M. Turing. Amsterdam: North-Holland. p. 293. ISBN 0-444-50423-0.
  7. ^ a b c d e Cooper, S. Barry; Van Leeuwen, Jan, eds. (18 March 2013). Alan Turing: His Work and Impact. Elsevier. ISBN 978-0-12-386980-7.
  8. ^ Beebe, Nelson H. F. (October 20, 2014), A Bibliography of Publications of Alan Mathison Turing (PDF) (Version 1.120 ed.), BibNet Project, retrieved November 2014 {{citation}}: Check date values in: |accessdate= (help)
  9. ^ a b c "The Turing Digital Archive". King's College, Cambridge. Retrieved November 2014. {{cite web}}: Check date values in: |accessdate= (help)
  10. ^ a b c d Copeland, B. J. (2004). The Essential Turing. OxfordUP. ISBN 0-19-825080-0.
  11. ^ Copeland, B. Jack, ed. (2005). Alan Turing's Automatic Computing Engine. OxfordUP. ISBN 0-19-856593-3.
  12. ^ Carpenter, B. E.; Doran, R. W.; Turing, A. M.; Woodger, Michael (1986). A. M. Turing's ACE report of 1946 and other papers. Charles Babbage Institute reprint series for the history of computing. Vol. 10. MIT Press. p. 140. ISBN 9780262031141.
  13. ^ Furukawa, Koichi; Muggleton, Stephen; Michie, Donald, eds. (1999). Machine Intelligence. Vol. 15. OxfordUP. p. 526. ISBN 9780198538677. OCLC 833547483.
  14. ^ Evans, Christopher Riche; Robertson, A. D. J., eds. (1968). Cybernetics. Key papers. University Park Press. OCLC 451662.
  15. ^ Michie, Donald; Meltzer, Bernard, eds. (1969). Machine Intelligence. Vol. 5. EdinburghUP. pp. 3–23.
  16. ^ Report of a conference on high speed automatic calculating-machines: 22–25 June 1949, University Mathematical Laboratory, Cambridge. University Mathematical Laboratory, Ministry of Supply. 1950. p. 141. OCLC 4032337.
  17. ^ Morris, F. L.; Jones, C. B. (April 1984). "An Early Program Proof by Alan Turing" (PDF). Annals of the History of Computing. 6 (2): 139–143. doi:10.1109/MAHC.1984.10017. S2CID 11906342.