Classical physics and the Church--Turing Thesis

Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the standard computational model? Recent evidence suggests that this might be the case in the quantum world. But the question is of great interest even in the realm of classical physics. In this article, we observe that there is fundamental tension between the Extended Church--Turing Thesis and the existence of numerous seemingly intractable computational problems arising from classical physics. Efforts to resolve this incompatibility could both advance our knowledge of the theory of computation, as well as serve the needs of scientific computing.

[1]  Lenore Blum,et al.  Complexity and Real Computation , 1997, Springer New York.

[2]  R. Penrose,et al.  Shadows of the Mind , 1994 .

[3]  Joseph L. Gerver The existence of pseudocollisions in the plane , 1991 .

[4]  A. Church An Unsolvable Problem of Elementary Number Theory , 1936 .

[5]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[6]  Donald G. Saari,et al.  A global existence theorem for the four-body problem of Newtonian mechanics , 1976 .

[7]  A. Turing On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[8]  P. Painlevé,et al.  Leçons sur la théorie analytique des équations différentielles, professées à Stockholm (septembre, octobre, novembre 1895) sur l'invitation de S. M. le roi de Suède et de Norwège , 1897 .

[9]  Warren D. Smith,et al.  Church's Thesis Meets Quantum Mechanics , 1999 .

[10]  Kenneth Steiglitz,et al.  TWO NON-STANDARD PARADIGMS FOR COMPUTATION: ANALOG MACHINES AND CELLULAR AUTOMATA , 1988 .

[11]  Zhihong Xia,et al.  The existence of noncollision singularities in newtonian systems , 1992 .

[12]  R. Feynman Simulating physics with computers , 1999 .

[13]  Thibault Damour,et al.  THE PROBLEM OF MOTION IN NEWTONIAN AND EINSTEINIAN GRAVITY , 1986 .

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

[15]  B. Dickinson,et al.  The complexity of analog computation , 1986 .

[16]  H. Stowell The emperor's new mind R. Penrose, Oxford University Press, New York (1989) 466 pp. $24.95 , 1990, Neuroscience.