Turing the Father of Computer Science

XXVIII

that we are really concerned with is whether or not we can achieve tolerable

efficiency of execution [. . .] [13, p.21] [See also [12]]

45

Weaver supported the idea of an indirect route: translate from the source

language into an as yet undiscovered universal language and then translate from

that language into the target language [70, p.2,23]. Likewise, Dijkstra (and

others) supported a two-step translation of the universal programming lan-

guage ALGOL 60. First, translate the ALGOL 60 program into an intermediate

machine-independent object language. Second, process the obtained object pro-

gram by an interpreter (which is written in the machine code of the target

computer) [41, p.68]. Also UNCOL was based on this principle, which was

the design of a universal, intermediate language, independent of specific hard-

ware but similar in character to machine languages, as a bridge over the grow-

ing gap between problem oriented languages (POLs) and machine languages

(MLs). [3, p.2, my emphasis]

46

In other words: not only did the space cadets associate the machine with a

“machine language” and the pseudo code with a “programming language”, they

also began to view the programming language as a machine. Both metaphors

together led to hierarchical decompositions of software and hardware in which

each level was characterized as both a machine and a language (cf. [46]).

47

Already in 1962, Dijkstra wrote: “machine and language are two faces of

the same coin” [47, p.237]. Likewise, van Wijngaarden wrote: “we rather see the

language as a machine” [109, p.18].

48

Nofre et al. furthermore state that “two prominent senses of the notion of

universality emerged” during the 1950s; namely, the idea of “machine-independence”

and “a sense connecting directly with the universality of the notations of science,

and in particular mathematical notation”. Two more prominent senses of uni-

versality can now be mentioned, namely the idea of a universal Turing machine

and a sense connected directly or indirectly with the universality of Weaver’s

interlanguage.

49

I thank Parnas for discussing this matter with me. See also my subsequent

blog post on this topic [44].

50

I thank Gerard Alberts for bringing this quote to my attention.

---

XXIX

References

1. Symposium on Advanced Programming Methods for Digital Computers — Wash-

ington, D.C., June 28,29, 1956, 1956. Available from the ”Saul Gorn Papers”

from the University of Pennsylvania Archives (unprocessed collection): UPT 50

G671 Box 43.

2. University of Pennsylvania Computer Activity Report: July 1, 1959 – Decem-

ber 31, 1960.

Technical report, Office of Computer Research and Education,

1960. Available from the ”Saul Gorn Papers” from the University of Pennsylva-

nia Archives (unprocessed collection): UPT 50 G671 Box 39.

3. UNCOL Committee Report. From the Charles Babbage Institute collections, May

1961. Thanks to David Nofre for giving me a copy of this letter.

4. ACM Council Meeting, 27 August 1965. Available from the ”Saul Gorn Papers”,

the University of Pennsylvania Archives (unprocessed collection).

5. ACM Council Meeting, 29 April 1966. Available from the ”Saul Gorn Papers”,

the University of Pennsylvania Archives (unprocessed collection).

6. ACM Council Meeting, 29 August 1966. Available from the ”Saul Gorn Papers”,

the University of Pennsylvania Archives (unprocessed collection).

7. A. Akera. Anthony Oettinger interview: January 10–11, 2006. In ACM Oral

History interviews, 2006.

8. A. Akera. Calculating a Natural World: Scientists, Engineers, and Computers

During the Rise of U.S. Cold War Research. MIT Press, 2007.

9. F.L. Alt. Electronic Digital Computers: Their Use in Science and Engineering.

Academic Press, 1958.

10. F.L. Alt. Archaeology of computers — reminiscences, 1945–1947. Communica-

tions of the ACM, 15(7):693–694, 1972.

11. A. Appel.

Turing, G¨

odel, and Church at Princeton in the 1930s.

YouTube:

www.youtube.com/watch?v=kO-8RteMwfw. Presentation at the Turing Centen-

nial Celebration at Princeton, 10–12 May 2012.

12. P.R. Bagley. Letter to Mort Bernstein. From the Charles Babbage Institute

collections, June 1960. Thanks to David Nofre for giving me a copy of this letter.

13. P.R. Bagley. Letter to the SHARE UNCOL Committee and other interested

parties, 26 May 1960. From the Charles Babbage Institute collections, May 1960.

Thanks to David Nofre for giving me a copy of this letter.

14. Y. Bar-Hillel. Language and Information: Selected Essays on their Theory and

Application. Addison-Wesley Publishing Company, Inc. and the Jerusalem Aca-

demic Press Ltd, 1964.

15. Y. Bar-Hillel, M. Perles, and E. Shamir.

On formal properties of simple

phrase structure grammars.

Zeitschrift f¨

ur Phonetik, Sprachwissenschaft und

Kommunikationsforschungr Phonetik, Sprachwissenschaft und Kommunikations-

forschung, 14:143–172, 1961.

16. C. Gordon Bell and A. Newell. Computer Structures: Readings and Examples.

McGraw Hill, 1971.

17. R.W. Bemer. The status of automatic programming for scientific problems. In

F.C. Bock, editor, The Fourth Annual Computer Applications Symposium, Octo-

ber 24–25, 1957, pages 107–117. Armour Research Foundation, 1958.

18. E.C. Berkeley. Giant Brains, or Machines That Think. Wiley, New York, 1949.

19. E.C. Berkeley. Memorandum for the Association for Computing Machinery —

Committee on the Social Responsibilities of Computer Scientists. Technical re-

port, October 1958. Available from the “Saul Gorn Papers” from the University

of Pennsylvania Archives (unprocessed collection): UPT 50 G671 Box 3.

---

XXX

20. A.D. Booth and K.H.V. Booth. Automatic Digital Calculators. Butterworths

Scientific Publications, 2nd edition edition, 1956.

21. B.W. Bowden, editor. Faster Than Thought: A Symposium on Digital Computing

Machines. Pitman, 1953.

22. J. Brown and J.W. Carr, III. Automatic programming and its development on

the MIDAC. In Symposium on Automatic Programming for Digital Computers,

pages 84–97, Washington D.C., May 1954. Office of Naval Research, Department

of the Navy.

23. A.W. Burks. Turing’s theory of infinite computing machines (1936–1937) and its

relation to the invention of finite electronic computers (1939–1949). In Theory

and Practical Issues on Cellular Automata. Springer, 2001.

24. A.W. Burks.

The invention of the universal electronic computer—how the

Electronic Computer Revolution began. Future Generation Computer Systems,

18:871–892, 2002.

25. M. Campbell-Kelly and W. Aspray. Computer: A History of the Information

Machine. Basic Books, 1996.

26. J.W. Carr. Inaugural presidential address. Presented at the meeting of the As-

sociation, August 1956.

27. J.W. Carr. Computing Programming and Artificial Intelligence. Ann Arbor,

University of Michigan, Summer 1958. An intensive course for practicing scientists

and engineers: lectures given at the University of Michigan.

28. J.W. Carr.

Programming and coding.

In E.M. Grabbe, S. Ramo, and D.E.

Wooldridge, editors, Handbook of Automation, Computation, and Control: Com-

puters and Data Processing, volume 2, chapter 2. John Wiley and Sons, Inc.,

1959.

29. N. Chomsky. Transformational Analysis. PhD thesis, University of Pennsylvania,

1955.

30. N. Chomsky. Three models for the description of language. I.R.E. Trans. on

Information Theory, IT-2, 1956.

31. N. Chomsky. Syntactic Structures. The Hague/Paris: Mouton, 1957.

32. B. Jack Copeland. Turing: Pioneer of the Information Age. Oxford University

Press, 2012.

33. H.B. Curry. On the composition of programs for automatic computing. Memo-

randum 9806, Silver Spring, Maryland: Naval Ordnance Laboratory, 1949.

34. O.-J. Dahl, E.W. Dijkstra, and C.A.R. Hoare. Structured Programming. Academic

Press, London - New York - San Francisco, 1972.

35. M. Davis. Computability and Unsolvability. McGraw-Hill, 1958.

36. M. Davis. Mathematical logic and the origin of modern computers. In R. Herken,

editor, The Universal Turing Machine - A Half-Century Survey. Oxford Univer-

sity Press, 1988. Originally in: Studies in the History of Mathematics. Mathe-

matical Association of America, 1987, pages 137-165.

37. M. Davis. The Universal Computer: The Road from Leibniz to Turing. Norton,

1st edition, 2000.

38. M.

Davis.

Universality

is

ubiquitous.

YouTube:

www.youtube.com/watch?v=ZVTgtODX0Nc, May 2012.

Presentation at

the Turing Centennial Celebration at Princeton, 10–12 May 2012.

39. E.G. Daylight. Dijkstra’s rallying cry for generalization: the advent of the recur-

sive procedure, late 1950s – early 1960s. The Computer Journal, March 2011.

doi: 10.1093/comjnl/bxr002.

40. E.G. Daylight. Pluralism in Software Engineering: Turing Award Winner Peter

Naur Explains. Lonely Scholar, October 2011. www.lonelyscholar.com.

---

XXXI

41. E.G. Daylight.

The Dawn of Software Engineering: from Turing to Dijkstra.

Lonely Scholar, 2012. www.lonelyscholar.com, ISBN 9789491386022.

42. E.G. Daylight. A Hard Look at George Dyson’s Book ”Turing’s Cathedral: the

Origins of the Digital Universe”. In Turing in Context II, 2012. Lecture available

on video: www.dijkstrascry.com/presentations.

43. E.G.

Daylight.

On

Mahoney’s

Accounts

of

Turing.

Blog

post:

www.dijkstrascry.com/Mahoney, 20 August 2013.

44. E.G. Daylight.

Strachey vs. Dijkstra :: Infinite vs. Finite.

Blog post:

www.dijkstrascry.com/infinite, 29 March 2013.

45. E.G. Daylight. Turing’s 1936 Paper and the First Dutch Computers. CACM blog

post: http://cacm.acm.org/blogs/blog-cacm/167012-turings-1936-paper-and-the-

first-dutch-computers/fulltext, 19 August 2013.

46. E.G. Daylight. De kern van de zaak. In De Geest van de Computer. To appear.

English translation to appear.

47. E.W. Dijkstra. An attempt to unify constituent concepts of serial program exe-

cution. In Proceedings of the Symposium Symbolic Languages in Data Processing,

pages 237–251, New York and London, 1962. Gordon and Breach Science Pub-

lishers.

48. G. Dyson. Turing’s Cathedral: The Origins of the Digital Universe. Penguin

Books, 2012.

49. U. Erlingsson, Y. Younan, and F. Piessens. Low-level software security by exam-

ple. In Handbook of Information and Communication Security, pages 633–658.

Springer, 2010.

50. S. Ginsburg and H. Gordon Rice. Two families of languages related to ALGOL.

pages 350–371, 1961.

51. V.E. Giuliano and A.G. Oettinger. Research on automatic translation at the

Harvard Computation Laboratory. In Information processing: proceedings of the

International Conference on Information Processing. Unesco, Paris, 1959.

52. R. Goodman, editor. Annual Review in Automatic Programming I: Papers read

at the Working Conference on Automatic Programming of Digital Computers held

at Brighton, 1–3 April 1959. Pergamon Press, 1960.

53. S. Gorn. Planning universal semi-automatic coding. In Symposium on Automatic

Programming for Digital Computers, pages 74–83, Washington D.C., May 1954.

Office of Naval Research, Department of the Navy.

54. S. Gorn. Real solutions of numerical equations by high speed machines. Technical

Report 966, Ballistic Research Laboratories, October 1955. Available from the

“Saul Gorn Papers” from the University of Pennsylvania Archives (unprocessed

collection).

55. S. Gorn. Standardized programming methods and universal coding. Journal of

the ACM, July 1957. Received in December 1956.

56. S. Gorn. Common programming language task, final report: Report of the work

in the period 1 May 1958 to 30 June 1959. Technical Report AD59UR1, July 31

1959. Available from the “Saul Gorn Papers” from the University of Pennsylvania

Archives (unprocessed collection): UPT 50 G671 Box 39.

57. S. Gorn and W. Manheimer. The electronic brain and what it can do. Science

Research Associates, Inc., 1956.

58. E.M. Grabbe, S. Ramo, and D.E. Wooldridge, editors. Handbook of Automation,

Computation, and Control: Computers and Data Processing, volume 2.

John

Wiley and Sons, Inc., 1959.

59. A. Hodges. ALAN TURING: The Enigma. Burnett Books, 1983.

---

XXXII

60. A. Hodges. Alan Turing: the logical and physical basis of computing. British

Computer Society, 2007. http://www.bcs.org/ewics.

61. Yu. I. Ianov. On the equivalence and transformation of program schemes. Doklady

Aka. Nauk S.S.S.R., 113:39–42, 1957.

62. D. Kahn. The Codebreakers: The Story of Secret Writing. The Macmillan Com-

pany, 1967.

63. L.V. Kantorovich. On a mathematical symbolism convenient for performing ma-

chine calculations. Doklady Aka. Nauk S.S.S.R., 113:738–741, 1957.

64. S.C. Kleene. Introduction to Metamathematics. Van Nostrand, 1952.

65. D.E. Knuth. Selected Papers on Computer Languages. CSLI, 2003.

66. S. Lavington, editor. Alan Turing and his Contemporaries: Building the world’s

first computers. bcs, 2012.

67. D. Leavitt. The Man Who Knew Too Much: Alan Turing and the Invention of

the Computer. Atlas Books, 2006.

68. D. Leavitt. Alan Turing, l’homme qui inventa l’informatique. Dunod, 2007.

69. J.A.N. Lee. Computer pioneers. IEEE Computer Society Press, 1995.

70. W.N. Locke and A.D. Booth, editors. Machine Translation of Languages. The

Technology Press of The Massachusetts Institute of Technology and John Wiley

& Sons, Inc., New York, 1955.

71. M.S. Mahoney. Histories of Computing. Harvard University Press, 2011.

72. A.A. Markov. Theory of Algorithms. Academy of Sciences of the USSR, 1954.

73. J. Martin-Nielsen. ‘This war for men’s minds’: the birth of a human science in

Cold War America. History of the Human Sciences, 23.(5):131–155, 2010.

74. W.S. McCulloch and W. Pitts. A logical calculus of the ideas immanent in nervous

activity. Bull. math. Biophys., pages 115–133, 1943.

75. L. De Mol. Doing mathematics on the ENIAC. Von Neumann’s and Lehmer’s

different Visions. In E. Wilhelmus and I. Witzke, editors, Mathematical practice

and development throughout History, pages 149–186. Logos Verlag, Berlin.

76. L. De Mol and M. Bullynck. A short history of small machines. In CiE 2012 -

How the World Computes, 2012.

77. L. De Mol, M. Bullynck, and M. Carle. Haskell before Haskell. Curry’s contribu-

tion to a theory of programming. In Programs, Proofs, Processes, Computability

in Europe 2010, volume 6158 of LNCS, pages 108–117, 2010.

78. E.F. Moore. A simplified universal Turing machine. Proc. ACM, September 1952.

79. P. Mounier-Kuhn. Comment l’informatique devint une science. La Recherche,

(465):92–94, June 2012.

80. P. Mounier-Kuhn. Computer Science in French Universities: Early Entrants and

Latecomers. Information & Culture: A Journal of History, 47(4):414–456, Novem-

ber – December 2012.

81. P. Mounier-Kuhn. Logic and Computing in France: A Late Convergence. In

AISB/IACAP World Congress 2012 — History and Philosophy of Programming,

2012.

82. P. Mounier-Kuhn. Algol in France: From Universal Project to Embedded Culture.

IEEE Annals of the History of Computing, To Appear.

83. D. Nofre. Unraveling Algol: US, Europe, and the Creation of a Programming

Language. IEEE Annals of the History of Computing, 32(2):58–68, 2010.

84. D. Nofre. Alan Jay Perlis, 2012. Short bio of Perlis, available on the official ACM

website: amturing.acm.org/award winners.

85. D. Nofre, M. Priestley, and G. Alberts. When Technology Became Language:

The Origins of the Linguistic Conception of Computer Programming, 1950–1960.

---

XXXIII

Technology and Culture, 2013. Re-drafted final submission. To appear with per-

haps some minor modifications.

86. A.G. Oettinger. Programming a digital computer to learn. Philosophical Maga-

zine, 43(347):1243–1263, 1952.

87. A.G. Oettinger. Account identification for Automatic Data Processing. Journal

of the ACM, 4(3):245–253, 1957.

88. A.G. Oettinger.

Automatic Language Translation.

Harvard University Press,

1960.

89. A.G. Oettinger. Automatic syntactic analysis and the pushdown store. In Proc.

of Symposia in App. Math., Amer. Math. Soc. 12, 1961.

90. A.G. Oettinger. Reminiscences of the boss. In Makin’ Numbers: Howard Aiken

and the Computer, pages 203–214. MIT Press, 1999.

91. Office of Naval Research, Department of the Navy. Symposium on Automatic

Programming for Digital Computers, Washington D.C., May 1954.

92. A. Olley. Existence precedes essence — meaning of the stored-program concept.

In IFIP Advances in Information and Communication Technology, pages 169–178.

Springer, 2010.

93. A.J. Perlis. Announcement. Communications of the ACM, 1(1), January 1958.

94. M. Priestley. A Science of Operations: Machines, Logic and the Invention of

Programming. Springer, 2011.

95. P.M. Priestley. Logic and the Development of Programming Languages, 1930-

1975. University College London, May 2008. PhD thesis.

96. M.O. Rabin and D. Scott. Finite automata and their decision problems. IBM

Journal of research and development, 3:115–125, 1959.

97. B. Randell, editor. The Origins of Digital Computers: Selected Papers. Springer-

Verlag, 1973.

98. S.N. Razumovskii. On the question of automatization of programming of prob-

lems of translation from one language to another. Doklady Aka. Nauk S.S.S.R.,

113:760–762, 1957.

99. J.A. Robinson. Logic, computers, Turing, and von Neumann. In K. Furukawa,

D. Michie, and S. Muggleton, editors, Machine Intelligence 13: Machine Intelli-

gence and Inductive Learning. Clarendon Press, 1994.

100. P. Rosenbloom. Elements of Mathematical Logic. Dover, 1950.

101. H. Rutishauser. The use of recursive procedures. In R. Goodman, editor, Annual

Review in Automatic Programming 3. Pergamon Press, New York, 1963.

102. J.G. Sanderson. On simple low redundancy languages. Communications of the

ACM, 8(10), October 1965. Letters to the Editor.

103. A.M. Turing.

On computable numbers, with an application to the Entschei-

dungsproblem.

Proceedings of the London Mathematical Society, 2nd series,

42:230–265, 1936.

104. A.M. Turing.

On computable numbers, with an application to the Entschei-

dungsproblem. A correction. Proceedings of the London Mathematical Society,

2nd series, 43, 1937.

105. A.M. Turing. Computing machinery and intelligence. Mind, 59:433–460, 1950.

106. W.L. van der Poel. A simple electronic digital computer. Appl. sci. Res., 2:367–

399, 1952.

107. W.L. van der Poel. The Logical Principles of Some Simple Computers. PhD

thesis, Universiteit van Amsterdam, February 1956.

108. C.J. van Rijsbergen. Turing and the origins of digital computers. In Aslib Pro-

ceedings, volume 37, pages 281–285. Emerald Backfiles, June/July 1985. Paper

presented at an Aslib Evening Meeting, Aslib, Information House, 27 March 1985.

---

XXXIV

109. A. van Wijngaarden.

Generalized ALGOL.

In R. Goodman, editor, Annual

Review Automatic Programming, volume 3, pages 17–26. Pergamon Press, 1963.

110. M.Y. Vardi. Who begat computing? Communications of the ACM, 56(1):5, 2013.

111. R.L. Wexelblat, editor. History of Programming Languages. Academic Press,

1981.

112. M.V. Wilkes. Can machines think? Spectator, 6424:177–178, 1951.

113. M.V. Wilkes. Memoirs of a Computer Pioneer. MIT Press, 1985.