The Simple Dynamics of Super Turing Theories

This paper reasons about the need to seek for particular kinds of models of computation that imply stronger computability than the classical models. A possible such model, constituting a chaotic dynamical system, is presented. This system, which we term as the analog shift map, when viewed as a computational model has super-Turing power and is equivalent to neural networks and the class of analog machines. This map may be appropriate to describe idealized physical phenomena. A straightforward method of measuring the area of a surface is by counting the number of atoms there. One may be able to develop smart algorithms to group atoms together in sets, and thus speed up the counting time. A totally different approach is by assuming continuous rather than quantized/discretized universe and calculating the relevant integral. Such a continuous algorithm should ideally be implemented on an analog machine, but it can also be approximated by a digital computer that allows for finite precision only. Although the actual hardware is discrete, the core assumption of continuity allows the development of inherently different algorithms to evaluate areas. It is possible that in the theory of computation, we are still at the stage of developing algorithms to count faster. Maybe just by assuming an analog media (although not really having it), we would be able to do much better for some tasks. A more fundamental reason to look for analog computation models stems from recent advances in the field of physics and the aim to simulate idealized physical phenomena on computers. Already in the 18th century, PoincarC realized that the orbits of simple dynamical systems may be extremely unpredictable, and mathematicians have been dealing with this phenomenon since. However, since 1975 “chaos” has been realized by physicists to occur in many systems of scientific interest [7]. Turing machines are indeed able to simulate a large class of systems, but seem not to capture the whole

[1]  Eduardo Sontag,et al.  Computational power of neural networks , 1995 .

[2]  P. Holmes,et al.  Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields , 1983, Applied Mathematical Sciences.

[3]  Hava T. Siegelmann,et al.  Some structural complexity aspects of neural computation , 1993, [1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference.

[4]  Hava T. Siegelmann,et al.  On the Computational Power of Neural Nets , 1995, J. Comput. Syst. Sci..

[5]  H. Stowell The emperor's new mind: By Roger Penrose, Oxford: Oxford University Press, 1989, $24.95, 466 pp. ISBN 0-19-851973-7 , 1991 .

[6]  J. Yorke,et al.  Chaos, Strange Attractors, and Fractal Basin Boundaries in Nonlinear Dynamics , 1987, Science.

[7]  P. Holmes,et al.  Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields , 1983, Applied Mathematical Sciences.

[8]  Franklin A. Graybill,et al.  Introduction to The theory , 1974 .

[9]  José L. Balcázar,et al.  Structural Complexity I , 1995, Texts in Theoretical Computer Science An EATCS Series.

[10]  R. Palmer,et al.  Introduction to the theory of neural computation , 1994, The advanced book program.

[11]  Cristopher Moore,et al.  Generalized shifts: unpredictability and undecidability in dynamical systems , 1991 .

[12]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[13]  J. Keating,et al.  Optical realization of the baker's transformation , 1994 .

[14]  Anders Krogh,et al.  Introduction to the theory of neural computation , 1994, The advanced book program.

[15]  Hava T. Siegelmann On The Computational Power of Probabilistic and Faulty Neural Networks , 1994, ICALP.

[16]  Michael Barr,et al.  The Emperor's New Mind , 1989 .

[17]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[18]  H T Siegelmann,et al.  Dating and Context of Three Middle Stone Age Sites with Bone Points in the Upper Semliki Valley, Zaire , 2007 .

[19]  Gregory L. Baker,et al.  Chaotic Dynamics: An Introduction , 1990 .

[20]  V. I. Arnolʹd,et al.  Ergodic problems of classical mechanics , 1968 .

[21]  Moore,et al.  Unpredictability and undecidability in dynamical systems. , 1990, Physical review letters.

[22]  Michel Cosnard,et al.  Computability with Low-Dimensional Dynamical Systems , 1994, Theor. Comput. Sci..

[23]  Hava T. Siegelmann,et al.  Analog computation via neural networks , 1993, [1993] The 2nd Israel Symposium on Theory and Computing Systems.

[24]  E. Ott Chaos in Dynamical Systems: Contents , 1993 .

[25]  James A. Yorke,et al.  Dynamics: Numerical Explorations , 1994 .

[26]  Hava T. Siegelmann On NIL: the Software Constructor of Neural Networks , 1996, Parallel Process. Lett..

[27]  S. Smale,et al.  On a theory of computation and complexity over the real numbers; np-completeness , 1989 .

[28]  Eduardo Sontag,et al.  Turing computability with neural nets , 1991 .