skip to main content
article
Free Access

Turing Award lecture: it's time to reconsider time

Published:01 November 1994Publication History
First page image

References

  1. 1 Blum, M. A machine-independent theory of the complexity of recursive functions. J. ACM 14, 4 (Apr. 1967). 322-336. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2 Cook, S.A. The Complexity of theoremiproving procedures. In proceedbgs of the Third Annual ACM Symposium on Theory of Computing Shaker Heights, Ohio, 1971, pp. 151-158. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 Garey, M.R. and Johnson, D.S. Computers and Intractability, A Guide to the theory of NP-COmpletness. Freeman, San Francisco, 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Karp, R,M. Redncibifity among combinatiriaI problems. In R.E. Miller and J.W. Thatcher, eds,, Complexiy of computer Computations Plenum, N.Y. 1972, pp. 85-103Google ScholarGoogle Scholar
  5. 5 Hartmanis, J. and Stearns R,E. Computational complexity of recursive sequences. In Proceedigs of the Fifth Annual IEEE Symposium on Switching Circuit Theory and Logical Design, Princeton, N.J., 1964, pp. 82-90.Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 Hartmanis, J. and Stearns, R.E. On the computitional complexity of algorithms: Trans. Amer. Math. Soc. 117, (May 1965). 285-305.Google ScholarGoogle ScholarCross RefCross Ref
  7. 7 Hennie; EC. and Sitearns. R.E. Two-tape simulation ofmultitape turing machines J. of ACM, 13, 10 (Oct. 1966). pp. 533- 546. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 Stearns, R.E., Three-person cooperative games without side payments. In M. Dresher, L.S. Shapely, and A.W. Tucker, eds., Advances in Game Theory, Annals of mathematics Studies #52, Princeton University Press 1964, pp. 307-406.Google ScholarGoogle Scholar
  9. 9 Stearns, R.E. and HArtmanis, J. On the state assignment problem for sequential machines II., IRE TRANs. Electr. Comput., EC-10 (Dec. 1961), 593-603.Google ScholarGoogle ScholarCross RefCross Ref
  10. 10 Streans, R.E., Hartmanis, J., and Lewis II, P.M. Hierarchies of memory limited computatiuons. In Proceedings of the Sixth Annual IEEE Symposium onm Switching Circuit Theory and Logical Design, Ann Arbor, Mich. 1965, pp. 179-190.Google ScholarGoogle Scholar
  11. 11 Stearns, R.E. abd Hunt III, H.B. Power indices and easier hard problems. Math. Syst. theory 23 (1990), 209-225.Google ScholarGoogle Scholar
  12. 12 Stockmeyer, L.J. and Meyer, A.R. Word problems requiring exponentialk time. In Proceedings of Fifth Annual ACM Symposium on the Theoiry of Computing, Austin, Tex., 1973, pp. 1-9. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 13 von Neuman, J. and Morgenstern. O. theory of Games and Economic Behavior, Princeton, N.J., 1944.Google ScholarGoogle Scholar
  14. 14 Yamada, H. Real-time computation and recursive functions not real-time compatable, IRE Trans. Electr. Comput., EC-11, (1962), 753-760.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Turing Award lecture: it's time to reconsider time

    Recommendations

    Reviews

    Norman Stanley Scott

    Computational complexity is of fundamental importance in both theoretical and practical computer science. The term was coined by Juris Hartmanis and Stearns in the early 1960s. In his 1994 Turing Award lecture, Stearns reminisces about the development of computational complexity. He begins by recalling his involvement in computational complexity while employed as a mathematician at General Electric's research laboratory in Schenectady, New York, in the early 1960s. It is interesting to note that he and Hartmanis worked out their theory of computational complexity before he had ever used a computer. The subsequent development of the discipline required some new mathematics and the development of new mathematical models. In four pages, however, Stearns manages to convey the essence of this new discipline by describing in prose, and with the aid of a simple mathematical notation, the concepts of complexity and hardness. He concludes by describing his recent work on the time-based concept of the “power index” and how this leads to a new picture of the world of P, NP, PSPACE, and EXPTIME. The paper is short and concise. It will be easily digestible by the general reader. It seems to lack a clear purpose and direction, however. It is disappointing when compared with the ACM lectures of other Turing Award winners from the complexity field, including Rabin, Cook, and Karp.

    Access critical reviews of Computing literature here

    Become a reviewer for Computing Reviews.

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Published in

      cover image Communications of the ACM
      Communications of the ACM  Volume 37, Issue 11
      Nov. 1994
      87 pages
      ISSN:0001-0782
      EISSN:1557-7317
      DOI:10.1145/188280
      Issue’s Table of Contents

      Copyright © 1994 ACM

      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 1 November 1994

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • article

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader