Computation beyond turing machines

Communications of the ACM

Volumn 46, Issue 4, 2003, Pages 100-102

  Wegner, Peter ^a   Goldin, Dina ^b  

^a Brown Univerity   (United States)

^b UNIVERSITY OF CONNECTICUT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL STRENGTH; COMPUTER MODEL; GROUP THEORY; TURNING MACHINES;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTATIONAL METHODS; COMPUTER SCIENCE; COMPUTER SIMULATION; FUNCTIONS; PROBLEM SOLVING; THEOREM PROVING;

TURING MACHINES;

EID: 0347442145     PISSN: 00010782     EISSN: None     Source Type: Journal    
DOI: 10.1145/641205.641235     Document Type: Review

References (11)

1. Association for Computing Machinery. Curriculum '68: Recommendations for academic programs in computer science. In ACM Curricula. Recommendations for Computer Science. ACM, NY, 1968.
2. Brooks, R.A. Intelligence Without Reason. MIT AI Lab Technical Report No. 1293, 1991.
3. Gödel, K. On formally undecidable propositions of principia mathematica and related systems. Monatshefte fur Mathematik und Physik 38 1931 (in German); English translation in M. Davis, Ed., The Undecidable. Raven Press 1965.
4. Gödel, K. On formally undecidable propositions of principia mathematica and related systems. Monatshefte fur Mathematik und Physik 38 1931 (in German); English translation in M. Davis, Ed., The Undecidable. Raven Press 1965.
5. Goldin, D. Smolka, S., and Wegner, P. Turing machines, transition systems, and interaction. In Proceeding of the 8th International Workshop on Expressiveness in Concurrency, Aarlborg, Denmark, August 2001.
6. Milner, R. Elements of interaction (Turing Award lecture). Commun. ACM 36, 1 (Jan. 1993).
7. Siegelmann, H. Neural Networks and Analog Computation: Beyond the Turing Limit. Birkhauser, 1999.
8. Turing, A. On computable numbers with an application to the Entscheidungsproblem. In Proceedings of the London Math Society 2, 42, 1936.
9. Turing, A. Intelligent machinery. In D.C. Ince, Ed., Mechanical Intelligence, North-Holland, 1992.
10. van Leeuwen, J. and Wiedermann, J. The Turing machine paradigm in contemporary computing. In B. Enquist and W. Schmidt, Eds., Mathematics Unlimited - 2001 and Beyond. LNCS, Springer-Verlag, 2000.
11. Wegner, P. Why interaction is more powerful than algorithms. Commun. ACM 40, 5 (May 1997).