Three counterexamples to dispel the myth of the universal computer

Parallel Processing Letters

Volumn 16, Issue 3, 2006, Pages 381-403

  Akl, Selim G ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

Geometric transformation; Parallel computation; Real time computation; Simulation; Superlinear speedup; Turing machine; Uncertainty; Universal computer

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL GEOMETRY; COMPUTER SIMULATION; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; REAL TIME SYSTEMS; TURING MACHINES;

GEOMETRIC TRANSFORMATION; SUPERLINEAR SPEEDUP; UNCERTAINTY; UNIVERSAL COMPUTER;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33749328144     PISSN: 01296264     EISSN: None     Source Type: Journal    
DOI: 10.1142/S012962640600271X     Document Type: Article

References (91)

1. L. A. Adleman, Molecular computation of solutions to combinatorial problems, Science, Vol. 266, 1994, pp. 1021-1024.
2. S.G. Akl, Parallel Computation: Models And Methods, Prentice Hall, Upper Saddle River, New Jersey, 1997.
3. S.G. Akl, Discrete steepest descent in real time, Parallel and Distributed Computing Practices, Vol. 4, No. 3, 2001, pp. 301-317.
4. S.G. Akl, Secure file transfer: A computational analog to the furniture moving paradigm, Parallel and Distributed Computing Practices, Vol. 5, No. 2, 2002, pp. 193-203.
5. S.G. Akl, Parallel real-time computation: Sometimes quality means quantity, Computing and Informatics, Vol. 21, No. 5, 2002, pp. 455-487.
6. S.G. Akl, Parallel real-time computation of nonlinear feedback functions, Parallel Processing Letters, Vol. 13, No. 1, 2003, pp. 65-75.
7. S.G. Akl, Computing in the presence of uncertainty: Disturbing the peace, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, June 2003, Vol. I, pp. 442-448.
8. S.G. Akl, Superlinear performance in real-time parallel computation, The Journal of Supercomputing, Vol. 29, No. 1, 2004, pp. 89-111.
9. S.G. Akl, Inherently parallel geometric computations, Parallel Processing Letters, Vol. 16, No. 1, March 2006.
10. S.G. Akl, Coping with uncertainty and stress: A parallel computation approach, International Journal of High Performance Computing and Networking, Vol. 4, No. 2, February 2006.
11. S.G. Akl, Evolving computational systems, in: Parallel Computing: Models. Algorithms, and Applications, S. Rajasekaran and J.H. Reif, Eds., Taylor and Francis, CRC Press, Boca Raton, Florida, 2006.
12. S.G. Akl and S.D. Bruda, Parallel real-time optimization: Beyond speedup, Parallel Processing Letters, Vol. 9, No. 4, 1999, pp. 499-509.
13. S.G. Akl and S.D. Bruda, Parallel real-time numerical computation: Beyond speedup III, International Journal of Computers and their Applications, Special Issue on High Performance Computing Systems, Vol. 7, No. 1, 2000, pp. 31-38.
14. S.G. Akl and S.D. Bruda, Improving a solution's quality through parallel processing, The Journal of Supercomputing, Vol. 19, No. 2, 2001, pp. 219-231.
15. S.G. Akl, B.J. Cordy, and W. Yao, An analysis of the effect of parallelism in the control of dynamical systems, International Journal of Parallel, Emergent and Distributed Systems, Vol. 20, No. 2, June 2005, pp. 147-168.
16. S.G. Akl and L. Fava Lindon, Paradigms admitting superunitary behaviour in parallel computation, Proceedings of the Joint Conference on Vector and Parallel Processing (CONPAR 94, VAPP VI), Linz, Austria, September 1994, pp. 301-312.
17. S.G. Akl and W. Yao, Parallel computation and measurement uncertainty in nonlinear dynamical systems, Journal of Mathematical Modelling and Algorithms, Special Issue on Parallel and Scientific Computations with Applications, Vol. 4, 2005, pp. 5- 15.
18. S.G. Akl and W. Yao, A parallel approach eliminates measurement perturbations in RLC circuits, Journal of Supercomputing, Vol. 35, No. 2, February 2006, pp. 155-164.
19. I. Antoniou, C.S. Calude, and M.J. Dinneen, Eds., Unconventional Models of Computation, Springer-Verlag, London, 2001.
20. B. Barutçu, S. Şeka, E. Ayaz, and E. Türkcan, Real-time reactor noise diagnostics for the Borsele (PWR) nuclear power plant, Progress in Nuclear Energy, Vol. 43, Nos. 1 - 4, 2003, pp. 137-143.
21. L. Blum, F. Cucker, M. Shub, and S. Smale, Complexity and Real Computation, Springer-Verlag, New York, 1998.
22. M. Burgin and A. Klinger, Eds., Theoretical Computer Science, Special Issue on: Super-recursive algorithms and hypercomputation, Vol. 317, Issues 1-3, June 2004.
23. J. Brown, The Quest for the Quantum Computer, Simon & Schuster, New York, 2000.
24. S.D. Bruda and S.G. Akl, Pursuit and evasion on a ring: An infinite hierarchy for parallel real-time systems, Theory of Computing Systems, Vol. 34, No. 6, 2001, pp. 565-576.
25. S.D. Bruda and S.G. Akl, A case study in real-time parallel computation: Correcting algorithms, Journal of Parallel and Distributed Computing, Vol. 61, No. 5, 2001, pp. 688-708.
26. C.S. Calude, J. Casti, and M.J. Dinneen, Eds. Unconventional Models of Computation, Springer-Verlag, Singapore, 1998.
27. C.S. Calude, M.J. Dinneen, and F. Peper, Eds., Unconventional Models of Computation, Springer-Verlag, Berlin, 2002.
28. C.S. Calude and G. Pǎun, Bio-steps beyond Turing, BioSystems, Vol. 77, 2004, pp. 175-194.
29. C.S. Calude and B. Pavlov, Coins, quantum, measurements, and Turing's barrier, Quantum Information Processing, Vol. 1, Nos. 1-2, 2002, pp. 107-127.
30. A. Church, An unsolvable problem of elementary number theory, American Journal of Mathematics, Vol. 58, 1936, pp. 345-363.
31. B.J. Copeland, The Church-Turing thesis, http://plato.stanford.edu/entries/church-turing/
32. B.J. Copeland, Super Turing-machines, Complexity, Vol. 4, 1998, pp. 30-32.
33. B.J. Copeland, Hypercomputation, Minds and Machines, Vol. 12, No. 4, 2002, pp. 461-502.
34. B.J. Copeland, Accelerating Turing machines, Mind and Machines, Vol. 12, No. 2, 2002, pp. 281-301.
35. B.J. Copeland and D. Proudfoot, Alan Turing's forgotten ideas in computer science, Scientific American, Vol. 280, No. 4, 1999, pp. 77-81.
36. B.J. Copeland and D. Proudfoot, Introduction to hypercomputation: Computing the uncomputable, http://www.calculemus.org/x/Copeland-etc/copeland1.html
37. B.J. Copeland and R. Sylvan, Beyond the universal Turing machine, Australasian Journal of Philosophy, Vol. 77, No. 1, 1999, pp. 46-66.
38. B.J. Cordy, private communication.
39. M. Daley and L. Kari, DNA computing: Models and implementations, Comments on Theoretical Biology, Vol. 7, No. 3, 2002, pp. 177-198.
40. M. Davis, The myth of hypercomputation, in [80].
41. D. Deutsch, Quantum theory, the Church-Turing principle of the Universal Quantum Computer, Proceedings of the Royal Society of London, 1985, pp. 97-117.
42. D. Deutsch, The Fabric of Reality, Penguin, New York, 1997.
43. S. Eilenberg, Automata, Languages and Machines, Vol. A, Academic Press, New York, 1974.
44. C. Eliasmith, The myth of the Turing machine: The failings of functionalism and related theses, Journal of Experimental and Theoretical Artificial Intelligence, Vol. 14, 2002, pp. 1-8.
45. G. Etesi and I. Németi, Non-Turing computations via Malament-Hogarth space-times, International Journal of Theoretical Physics, Vol. 41, No. 2, February 2002, pp. 341-370.
46. D. Goldin and P. Wegner, The Church-Turing thesis: Breaking the myth, Lecture Notes in Computer Science, Vol. 3526, Springer-Verlag, Berlin, 2005, pp. 152-168.
47. C.E. Hewitt, P. Bishop, and R. Steiger, A universal modular actor formalism for artificial intelligence, Proceedings of the Third International Joint Conference on Artificial Intelligence, Stanford, California, August 1973, pp. 235-245.
48. D. Hillis, The Pattern on the Stone, Basic Books, New York, 1998.
49. Hypercomputation, http://encyclopedia.laborlawtalk.com/Hypercomputation
50. Hypercomputation, http://en.wikipedia.org/wiki/Hypercomputation
51. G. Johnson, A Shortcut Through Time: The Path to the Quantum Computer, Random House, New York, 2003.
52. R.M. Karp and R. Lipton, Turing machines that take advice, L'Enseignement Mathématique, Vol. 28, 1982, pp. 191-209.
53. T.D. Kieu, Quantum hypercomputation, Minds and Machines, Vol. 12, No. 4, November 2002, pp. 541-561.
54. T.D. Kieu, Computing the noncomputable, Contemporary Physics, Vol. 44, No. 1, January-February 2003, pp. 51-71.
55. T.D. Kieu, Hypercomputation with quantum adiabatic processes, Theoretical Computer Science, Vol. 317, Nos. 1-3, June 2004, pp. 93-104.
56. S.C. Kleene, Mathematical Logic, Wiley, New York, 1967.
57. H.R. Lewis and C.H. Papadimitriou, Elements of the Theory of Computation, Prentice Hall, Englewood Cliffs, New Jersey, 1981.
58. K. Li, Y. Pan, and S.-Q. Zheng, Eds., Parallel Computing Using Optical Interconnections, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1998.
59. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, New York, 1992.
60. W. Marciszewski, Text commented: B. Jack Copeland's "The Church-Turing Thesis", http://www.calculemus.org/forum/4/CT-thesis.html
61. H. Meijer and D. Rappaport Simultaneous Edge Flips for Convex Subdivisions, 16th Canadian Conference on Computational Geometry, Montreal, August 2004, pp. 57-59.
62. R. Milner, Elements of interaction, Communications of the ACM, Vol. 31, No. 1, January 1993, pp. 78-89.
63. M. Nielsen and I. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, Cambridge, England, 2000.
64. M. Nagy and S.G. Akl, On the importance of parallelism for quantum computation and the concept of a universal computer, Proceedings of the Fourth International Conference on Unconventional Computation, Sevilla, Spain, October 2005, pp. 176-190.
65. Nagy, M. and Akl, S.G., Quantum measurements and universal computation, International Journal of Unconventional Computing, Vol. 2, No. 1, 2006, pp. 73-88.
66. T. Ord and T.D. Kieu, The diagonal method and hypercomputation, The British Journal for the Philosophy of Science, Vol. 56, No. 1, March 2005, pp. 147-156.
67. G. Okša, M. Bečka, and M. Vajteršic, Parallel computation with structured matrices in linear modeling of multidimensional signals, Parallel and Distributed Computing Practices, Vol. 5, No. 3, 2004, pp. 289-299.
68. S. Pavel and S.G. Akl, Area-time trade-offs in arrays with optical pipelined buses, Applied Optics, Vol. 35, 1996, pp. 1827-1835.
69. R. Penrose, The Emperor's New Mind, Oxford University Press, Oxford, England, 1989.
70. J. Raskin, Computers are not Turing machines, http://humane.sourceforge.net/unpublished/turing_machines.html
71. J.E. Savage, Models of Computation, Addison-Wesley, Reading, Massachusetts, 1998.
72. O. Shagrir, Effective computation by humans and machines, Minds and Machines, Vol. 12, 2002, pp. 221-240.
73. H.T. Siegelmann, Computation beyond the Turing limit, Science, Vol. 208, No. 5210, 1995, pp. 545-548.
74. H.T. Siegelmann. Neural Networks and Analog Computation: Beyond the Turing limit, Birkhäuser, Boston, 1999.
75. C. Siehs and B. Mayer, Dynamical hierarchies of structure and control in chemical reaction networks, Nanotechnology, Vol. 10, 1999, pp. 464-471.
76. M. Stannett. X-machines and the halting problem: Building a super-Turing machine, Formal Aspects of Computing, Vol. 2, No. 4, 1990, pp. 331-341.
77. I. Stewart, Deciding the undecidable, Nature, Vol. 352, August 1991, pp. 664-665.
78. I. Stewart, The dynamics of impossible devices, Nonlinear Science Today, Vol. 1, 1991, pp. 8-9.
79. Super-Turing computation, http://en.wikipedia.org/wiki/Super-Turing_computation
80. C. Teuscher, Ed., Alan Turing: Life and Legacy of a Great Thinker. Springer-Verlag, New York, 2004.
81. C. Teuscher and M. Sipper, Hypercomputation: Hype or computation?, Communications of the ACM, Vol. 45, No. 8, 2002, pp., 23-24.
82. A.M. Turing, On computable numbers with an application to the entscheidungsproblem, Proceedings of the London mathematical Society, Ser. 2, Vol. 42, 1936, pp. 230-265;
83. A.M. Turing, On computable numbers with an application to the entscheidungsproblem, Proceedings of the London mathematical Society, Ser. 2, Vol. 43, 1937, pp. 544-546.
84. A.M. Turing, Systems of logic based on ordinals, Proceedings of the London Mathematical Society, Ser. 2, Vol. 45, 1939, pp. 161-228.
85. A.M. Turing, Intelligent machinery, Report, National Physics Laboratory, 1948. Reprinted in: B. Meltzer and D. Michie, Eds., Machine Intelligence 5, Edinburgh University Press, Edinburgh, Scotland, 1969, pp. 3-23.
86. P. Wegner, Why interaction is more powerful than algorithms, Communications of the ACM, Vol. 40, No. 5, May 1997, pp. 80-91.
87. P. Wegner and D. Goldin, Interaction, computability, and Church's thesis, Brown University, 1999. http://www.cs.brown.edu/people/pw/papers/bcj1.pdf
88. P. Wegner and D. Goldin, Computation beyond Turing Machines, Communications of the ACM, Vol. 46, No. 4, May 1997, pp. 100-102.
89. C.P Williams and S.H. Clearwater, Explorations in Quantum Computing, Springer-Verlag, Heidelberg, 1998.
90. C.P Williams and S.H. Clearwater, Ultimate Zero and One: Computing at the Quantum Frontier, Springer-Verlag, Heidelberg, 2000.
91. D. Wood, Theory of Computation, Harper & Row, New York, 1987.