The Turing Guide

490 | NOTES TO PAGES 67–74

a systematic, so to speak computational treatment of the logical formulae is possible which would

somehow correspond to the theory of equations in algebra’.

CHAPTER 8 TURING AND THE ORIGINS Of DIGITAl COmPUTERS (RANDEll)

1. This chapter is an expanded version of the first part of my invited lecture at CONCUR-2012; reprinted
   in B. Randell, ‘A Turing enigma’, Proc. CONCUR-2012, Newcastle upon Tyne, Lecture Notes in
   Computer Science 7454, Springer (2012).


2. P. Ludgate, ‘Automatic calculating engines’, in E. Horsburgh (ed.), Napier Tercentenary Celebration:
   Handbook of the Exhibition, Royal Society of Edinburgh (1914),  124–7; also published as Modern
   Instruments and Methods of Calculation: a Handbook of the Napier Tercentenary Celebration
   Exhibition, G. Bell and Sons (1914).


3. P. Ludgate, ‘On a proposed analytical machine’, Scientific Proceedings of the Royal Dublin Society, 12(9)
   (1909), 77–91; reprinted in Randell (1973).


4. C. Babbage, ‘On the mathematical powers of the calculating engine’, unpublished manuscript (1837);
   first published in Randell (1973).


5. B. Randell, ‘Ludgate’s analytical machine of 1909’, Computer Journal, 14(3) (1971), 317–26.


6. B. V. Bowden (ed.), Faster Than Thought, Pitman (1953).


7. P. Morrison and E. Morrison, Charles Babbage and his Calculating Engines, Dover Publications
   (1961).


8. Alan M. Turing (S. Turing 1959).


9. D. Kahn, The Codebreakers, Macmillan (1967).


10. L. Halsbury, ‘Ten years of computer development’, Computer Journal, 1 (1959), 153–9.


11. B. Randell, ‘On Alan Turing and the origins of digital computers’, in B. Meltzer and D. Michie (eds),
    Machine Intelligence 7, Edinburgh University Press (1972), 3–20.


12. Turing (1945).


13. J. von Neumann, ‘First draft of a report on the EDVAC’, contract no. w-670-ord-4926, Technical
    Report, Moore School of Electrical Engineering, University of Pennsylvania (30 June 1945); extracts
    reprinted in Randell (1973).


14. Randell (1972) (Note 11).


15. M. H. A. Newman, ‘Alan Mathison Turing, 1912–1954’, Biographical Memoirs of Fellows of the Royal
    Society, 1 (November 1955), 253–263.


16. I. Good, ‘Some future social repercussions of computers’ International Journal of Environmental
    Studies, 1(1) (1970), 67–79.


17. Turing (1936).


18. Randell (1972) (Note 11).


19. Randell (1972) (Note 11).


20. Randell (1972) (Note 11).


21. Randell (1972) (Note 11).


22. D. Horwood, ‘A technical description of Colossus I’, Technical Report P/0921/8103/16, Government
    Code and Cypher School (August 1973), NA HW25/24.


23. See D. Swade, ‘Pre-electronic computing’, in C. B. Jones and J. L. Lloyd (eds), Dependable and Historic
    Computing, Springer (2011), 58–83.


24. A. A. Lovelace, ‘Sketch of the analytical engine invented by Charles Babbage, by L. F. Menabrea,
    Officer of the Military Engineers, with notes upon the memoir by the Translator’, Taylor’s Scientific
    Memoirs 3, Article 29 (1843), 666–731; reprinted in Randell (1973).


25. Von Neumann (Note 13).


26. J. Eckert, ‘Disclosure of a magnetic calculating machine’, Technical Report, unpublished typescript
    (1945); reprinted in J. P. Eckert. ‘The ENIAC’, in A History of Computing in the Twentieth Century,
    Academic Press (1980), 525–39.


27. B. Carpenter and R. Doran, ‘The other Turing machine’, Computer Journal, 20(3) (1977), 269–79.


28. Turing (1945).