Electronic Resource
Springer
Foundations of physics
4 (1991), S. 363-373
ISSN:
1572-9524
Keywords:
Halting problem
;
computability
;
classical mechanics
;
R. Penrose
Source:
Springer Online Journal Archives 1860-2000
Topics:
Physics
Notes:
Abstract We expose and discussPenrose's thesis: “Nature produces harnessable noncomputable processes, but none at the classical level.” We then suggest a partial counterexample to it, based on aGedanken experiment about an undecidable family of integrable Hamiltonian systems that could lead to a sort of idealized solution to the Halting problem for Turing machines.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00665895
Permalink
|
Location |
Call Number |
Limitation |
Availability |