Skip to main content Accessibility help
×
Home
  • Print publication year: 2016
  • Online publication date: March 2016

1 - Algorithms, Equations, and Logic

from Part One - Inside Our Computable World, and the Mathematics of Universality

Summary

From the beginning of recorded history, people have worked with numbers using algorithms. Algorithms are processes that can be carried out by following a set of instructions in a completely mechanical manner without any need for creative thought. Until the 1930s no need was felt for a precise mathematical definition or characterization of what it means for something to be algorithmic. The need then did arise, in those years, in connection with attempts to prove that for some problems no algorithmic solution is possible. In 1935 Alan Turing considered this matter in isolation at Cambridge University. Meanwhile, in Princeton, the combined efforts of Kurt G ödel and Alonzo Church with his students Stephen Kleene and J. Barkley Rosser were brought to bear on the same topic. E.L. Post had also been thinking about these things, like Turing also in isolation, since the 1920s. Although the various formulations that were developed seemed superficially to be quite different from one another, they all turned out to be equivalent. This consensus about algorithmic processes has come to be called the Church–Turing Thesis.

Turing's conception differed from all the others in that it was formulated in terms of an abstract machine. What was striking about his characterization is his analysis that showed why even very limited fundamental operations would suffice for all algorithms if supplemented by unlimited data storage capability. Moreover, he demonstrated that a single such machine, Turing's so-called ‘Universal Machine’, could be made to carry out any algorithmic process whatever. These insights have played a key role in the development of modern all-purpose computers. But, as will become clear later, the notion of universality spills over into mathematical domains far removed from computation.

Turing began his investigation with a problem from mathematical logic, a problem, whose importance was emphasized by David Hilbert, that can be described as follows:

Find an algorithm that will determine whether a specified conclusion follows from given premises using the formal rules of logical reasoning.

By 1935 there were good reasons to believe that no such algorithm exists, and this is what Turing set out to prove. Turing succeeded by first finding an unsolvable problem in terms of his machines, specifically the problem of determining for a given such machine whether it would ever output the digit 0.

Related content

Powered by UNSILO
Davis, Martin, Computability and Unsolvability.McGraw Hill, New York (1958). Reprinted with an additional appendix: Dover, New York (1982).
Davis, Martin, Hilbert's Tenth Problem is Unsolvable, American Mathematical Monthly, 80, 233–269, (1970); reprinted as an appendix in the Dover reprint of Davis (1958).
Davis, Martin, Yuri, Matiyasevich, and Julia, Robinson, Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution, Proceedings of Symposia in Pure Mathematics, 28, 323–378, (1976). Reprinted in Feferman (1996), pp. 269–324.
Feferman, Solomon, editor, Collected Works of Julia Robinson.American Mathematical Society, Providence, RI (1996).
Matiyasevich, Yuri V., Desyataya Problema Gilberta.Moscow, Fizmatlit (1993). English translation: Hilbert's Tenth Problem. MIT Press, Cambridge, MA (1993). French translation: Le dixième problème de Hilbert. Masson (1995).
Matiyasevich, Yuri V., My Collaboration with Julia Robinson, Mathematical Intelligencer, 14, 38–35 (1992). Corrections, 15, 75, (1993). Reprinted in Mathematical Conversations: Selections from the Mathematical Intelligencer, Robin Wilson and Jeremy Gray, editors, Springer, New York (2001). Also reprinted in Reid (1996). French translation in Gazette des Mathématiciens, 59, 27–44, (1994). The French translation was reprinted in the French version of Matiyasevich (1993).
Matiyasevich, Yuri V., Hilbert's Tenth Problem: Diophantine equations in the twentieth century. In Mathematical Events of the Twentieth Century, A. A., Bolibruch, Yu. S., Osipov and Ya. G., Sinai, editors, Springer-Verlag, Berlin; PHASIS, Moscow, pp. 185–213, (2006).
Petzold, Charles, The Annotated Turing: A Guided Tour through Alan Turing's Historic Paper on Computability and the Turing Machine.Wiley (2008).
Reid, Constance, Julia: A Life in Mathematics. Mathematical Association of America (1996).
Turing, Alan, On computable numbers with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, ser. 2, 42, 230–267, (1936). Correction: ibid, 43, 544–546, (1937). Reprinted in Collected Works: Mathematical Logic, R.O. Gandy and C.E.M. Yates, editors, North-Holland, Amsterdam (2001), pp. 18–56. Also reprinted in The Undecidable, Martin Davis, editor, Raven Press (1965), Dover (2004), pp. 116–154. The Essential Turing, Jack Copeland, editor, Oxford (2004), pp. 58–90, 94–96. See also Petzold (2008).
Turing, Alan, Solvable and unsolvable problems, Science News, 31m 7–23, (1954). Reprinted in Collected Works of A.M. Turing: Mechanical Intelligence, D.C. Ince, editor, North Holland, pp. 187–203, (1992). Also reprinted in The Essential Turing, Jack Copeland, editor, Oxford, pp. 582–595, (2004).
Yandell, Benjamin H., The Honors Class: Hilbert's Problems and Their Solvers.A.K. Peters, Natick, MA (2002).