Models of Massive Parallelism pp 1-15 | Cite as

# Turing Computability and Complexity

## Abstract

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.

## Keywords

Cellular Automaton Turing Machine Input Symbol Sequential Computation Input Tape## Preview

Unable to display preview. Download preview PDF.

## References

- [B-D-G]J.L Balcázar, J. Díaz, J. Gabarró: Structural complexity. Springer-Verlag, Berlin, vols.
**I**(1988, 2nd. ed. 1995),**II**(1990)MATHGoogle Scholar - [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
- [G-J]M. Garey and D.S. Johnson: Computers and intractability: a guide to the theory of NP-completeness. W.H. Freeman, San Francisco, CA, 1979MATHGoogle Scholar
- [H]D. Harel: Algorithmics (The spirit of computing). Addison-Wesley, Reading MA, 1992.MATHGoogle Scholar
- [L]F.T. Leighton: Introduction to parallel algorithms and architectures: arrays, trees, hypercubes. Morgan Kaufmann, San Mateo CA, 1992MATHGoogle Scholar
- [K]R.M. Karp: Reducibility among combinatorial problems. In: Complexity of computer computations. Plenum Press, New York 1972, pp. 86–103Google Scholar
- [P]C. Papadimitriou: Computational complexity. Addison-Wesley, Reading MA, 1994MATHGoogle 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
- [S]W. Savitch: Relationships between nondeterministic and deterministic tape complexities. J. Comput. Syst. Sci.
**4**(1970), 177–192MathSciNetMATHCrossRefGoogle Scholar - [Sm]J. Smith: The design and analysis of parallel algorithms. Oxford University Press, Oxford, 1993MATHGoogle Scholar
- [S-S]R. Solovay and V. Strassen: A fast Monte-Carlo test for primality. SIAM J. of Computing
**6**(1977) 84–85.MathSciNetMATHCrossRefGoogle Scholar - [T]A.M. Turing: On computable numbers, with an application to the Entschei- dungsproblem. Proc. London Math. Soc.
**42**(1936) 230–265.CrossRefGoogle Scholar