The Essential Turing

Title:                      The Essential Turing

Author:                   B. Jack Copeland

Copeland, B. J.(2004),ed. The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life, Plus The Secrets of Enigma. New York: Oxford University Press.

LOC:       2004275594

QA7 .T772 2004

Date Posted:      April 28, 2013

The following review is extracted from one by Amnon H. Eden.[1]

Time Magazine’s “The Century’s Greatest Minds” rated Turing up there with Einstein. In The Essential Turing, Professor B. Jack Copeland, the Director of the Turing Archive for the History of Computing and a renowned Turing scholar, delivers a sophisticated, compelling, and philosophically competent account for the role that Alan Mathison Turing has been playing in the information revolution.

There is little debate on Turing’s contribution to the foundations of computer science. In 1936, the twenty-four years old Turing wrote “On Computable Numbers”, an article which at once laid the elements of computing and shaped the central and the most influential paradigm of the 20th century. Turing’s theorem[2] outlines the precise limits of mechanical and electronic computers. Although since 1936 generations of programming languages, transistors, printed circuits, and microprocessors came and went, and the computing power of digital computing machines has improved in at least four orders of magnitude, Turing’s abstract computing machine[3] has proven to be computationally equivalent to almost any conceivable digital computing machine, including the generations of electronic, biological, and quantum computers to come, the precise limits of which have carefully been laid out in Turing’s paper.

Indeed, since Turing wrote “On Computable Numbers”[4], software has become a central player in modern life: it governs the majority of communications and mass media, controls the sale and purchase of stocks in stock exchanges, counts votes in national elections, guides “smart bombs” and operates machine guns, decides which vaccination our children receive, shortlists job applications, treats depression, operates artificial limbs, guides the navigation of automated and semi-automated vehicles, controls to some degree almost every single home appliance, and constitutes the subject matter of a growing proportion of scientific experiments. The prosperity of the 21st century industrialized (and industrializing) world has come to largely depend on cheap and efficient computing power. The most important constant emerging from these changes has been Turing’s contributions. Notwithstanding the contributions made by Gödel, Church, Post, and Kleene, much of the theory of computing can be taken to be little more than footnotes to Turing’s work.

The Essential Turing beautifully unravels Turing’s role in this revolution well beyond theoretical computer science. Copeland treatment of each one of Turing’s papers shows that Turing has also established the central paradigms in artificial intelligence, artificial life, and the philosophy of mind. Turing’s notion of abstract automata has also had profound implications on every branch of science, including psychology, physics, and genetics. Processes in any branch of science are first and foremost analyzed in terms of a Turing automaton. In particular, Turing’s automata were used to model the operation of quantum gates, DNA sequences, and even the process of intelligent thinking. Indeed, Turing automata have come be part of the lingua franca of the scientific investigation of every physical, chemical, biological, and psychological process that came under scrutiny.

But Turing’s contributions have gone even further. Turing’s profound insights into the philosophy of mind, metaphysics, and science offer compelling answers to questions that have remained open: What are the possible consequences of running a computer program? Is there a limit to the extent to which the behavior of computing machines can be predicted? Can machines be said to think? Can computers behave intelligently? For example, in 1950, having devised that which came to be known as Turing’s Test (Ch. 11, ”Computing Machinery and Intelligence”), Turing predicted that the day in which digital computing machines will pass for humans is near. Although Turing’s time frame has proved somewhat inaccurate[5], it has become evident that Turing is right to a large and ever increasing degree. Turing even foresaw the “software crisis” twenty years before it was declared, suggesting already in 1950 that surprises are inherent to computer programming. These and additional snapshots from Turing’s crystal ball are beautifully unravelled in The Essential Turing.

Copeland’s edition is a first-class guide to Turing’s canon. The anthology includes a complete, annotated version of every important manuscript that Turing wrote. Turing’s manuscripts and Copeland’s commentary thereof are organized into four sections, each of which is dedicated to Turing’s contributions to a separate discipline: the foundations of computing, the construction of the Enigma computer during WWII, artificial intelligence, and artificial life. The anthology also includes a transcript of a BBC program from 1952 during which Turing spoke on the problems of thinking machines (Ch. 14, ”Can Automatic Calculating Machines Be Said to Think?”).

Although Turing wrote (and spoke) mostly plain and always very coherent English, the technical depth of his discussion may put the non- expert at a disadvantage. Difficulties in reading Turing may explain some of the common misinterpretations of Turing’s work, which are subjected to Copeland’s ruthless examination. In particular, Copeland wages a war on Church-Turing Fallacies. According to one, in “On computable numbers” Turing has set limits to human intelligence. A similar fallacy in physics takes Turing’s work to suggest limits to the capabilities of any physical process processes of computation (the Max-imality Thesis[6]). Copeland closely examines each misconception and carefully refutes it. Copeland’s effortless and skilful writing clarifies the precise nature of the difficult problems Turing tackled without trivializing them. He engages in translating Turing’s conjectures into the language of contemporary science, thereby simplifying the technical parts of Turing’s work and allowing the reader to appreciate Turing’s work in full.

Copeland’s insightful, illuminating, and very intelligent commentary also bracket Turing’s work in historical context. As much of Turing’s work is over 50 years old, the accompanying commentary helps the non-expert reader to bridge the time gap created by the evolution of the English language. For example, the naïve reader may mistake the “computers” mentioned in “On Computable Numbers” to stand for digital computing machines. This is an easy mistake to make, given that Turing has taken active part (and even a leading role, for example in the case of Enigma, discussed in the second part) in developing some of the very first digital computers. Contributing to this confusion are theorems which prove that Turing’s notion of abstract automaton precisely defines the limits of computations performed by any digital computing machine. But as Copeland points out, the first digital computing machines came to existence only over a decade after Turing wrote “On Computable Numbers”. Rather, the term “computer” in this paper is taken to mean a person performing a task of computing which does not require imagination or creativity. As it turned out, Turing’s analysis has set the limits to the technology which has evolved during the seven decades which followed in ways which nobody has envisaged. Evidently, Turing’s prophetic power can come to full view only when such terminological nuances are established. Copeland’s attention to detail is geared to root out any misconceptions arising from misreading Turing’s words.

No bibliography on the foundations of computing is complete without The Essential Turing. This attractive package offers an essential text for any scholar of the history, philosophy, or the future of computing, and an excellent textbook for every academic programs concerned with philosophy of mind, artificial intelligence, or artificial life. Copeland’s commentary effortless writing turns reading the works of the father of the digital age into a pleasure, making The Essential Turing an accessible bestseller in popular science.

[1] Amnon H. Eden, Department of Computer Science, University of Essex, United Kingdom and Center For Inquiry, State University of Buffalo, Amherst, NY, USA

[2] In computability theory, the Church–Turing thesis (also known as the Turing–Church thesis, the Church–Turing conjecture, Church’s thesis, Church’s conjecture, and Turing’s thesis) is a combined hypothesis (“thesis”) about the nature of functions whose values are effectively calculable; or, in more modern terms, functions whose values are algorithmically computable. In simple terms, the Church–Turing thesis states that a function is algorithmically computable if and only if it is computable by a Turing machine. The Church–Turing thesis is a statement that characterizes the nature of computation and cannot be formally proven. Even though the three processes mentioned above proved to be equivalent, the fundamental premise behind the thesis— the notion of what it means for a function to be effectively calculable — is “a somewhat vague intuitive one”. Thus, the “thesis” remains a hypothesis.

[3] Turing gave a succinct definition of the experiment in his 1948 essay, “Intelligent Machinery”. Referring to his 1936 publication, Turing wrote that the Turing machine, here called a Logical Computing Machine, consisted of: “…an unlimited memory capacity obtained in the form of an infinite tape marked out into squares, on each of which a symbol could be printed. At any moment there is one symbol in the machine; it is called the scanned symbol. The machine can alter the scanned symbol and its behavior is in part determined by that symbol, but the symbols on the tape elsewhere do not affect the behavior of the machine. However, the tape can be moved back and forth through the machine, this being one of the elementary operations of the machine. Any symbol on the tape may therefore eventually have an innings. Alan Turing, 1948, “Intelligent Machinery.” (Reprinted in Evans, C. R. (1968) and A.D.J. Robertson, eds. Cybernetics: Key Papers. Baltimore, MD: University Park ), p. 61

[5] See Moor, J. (2000), “Turings Prophecy Disconfirmed”, American Philosophical Association Newsletters, 99, 2 (Newsletter on Philosophy and Computers), Spring 2000.

[6] The maximality thesis asserts that anything computable by any means whatsoever is computable by Turing machine: the universal Turing machine is maximal among computing machines. It is another term for the Church-Turing Theorem.

This entry was posted in Computers and tagged . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s