Turing Computability and Complexity
Ancient documents, like the Rhind Papyrus, dating as far back as 3600 B.C. attest to the fact that men have been performing computations for thousands of years, and for very practical reasons such as farming, land measurements (Egyptian geometry), or simply wishful thinking about the powers of human prediction (astrology). Years later, after Europe surmounted the laggish period of the Middle Ages, a reblooming in the arts during the Renaissance slowly led the way to the dawn of the scientific method, specifically, in the physical- mathematical sciences, with Galileo and the crowning work of Newton on celestial mechanics. In particular, from a modern perspective, their monumental work provides us with algorithms to establish facts about heavenly or earthly objects related to their position and/or their motion. Further research on electricity and magnetism by J.C. Maxwell, and on thermodynamics and heat theory by L. Boltzmann and other 19th century physicists may be regarded in a similar way.
KeywordsCellular Automaton Turing Machine Input Symbol Sequential Computation Input Tape
Unable to display preview. Download preview PDF.
- [B-C]D.P. Bovet, P. Crescenzi: Introduction to the theory of complexity. Prentice– Hall, Hertfordshire, 1994Google Scholar
- [C]S.A. Cook: The complexity of theorem proving procedures. In: Proc. 3rd Annual Symp. on the Theory of Computing STOC, Assoc. Comput. Mach. New York, 1971, pp. 151–158Google Scholar
- [K]R.M. Karp: Reducibility among combinatorial problems. In: Complexity of computer computations. Plenum Press, New York 1972, pp. 86–103Google Scholar
- [R]M. Rabin: Probabilistic algorithms. In: Algorithms in complexity, New directions and results. J. Traub (ed.), Academic Press, New York, 1976, pp. 151–158Google Scholar
- A.M. Turing A correction, ibid 43 (1936) 544–546Google Scholar