Undecidability in Rn: Riddled Basins, the KAM Tori, and the Stability of the Solar System

Philosophy of Science

Volumn 70, Issue 2, 2003, Pages 359-382

  Parker, Matthew W ^a,b  

^a University of Chicago ^*  (United States)

^b UNIVERSITY OF CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 1542741559     PISSN: 00318248     EISSN: None     Source Type: Journal    
DOI: 10.1086/375472     Document Type: Review

References (45)

1. Alexander, J. C., James A. Yorke, Zhiping You, and Ittai Kan (1992), "Riddled Basins", International Journal of Bifurcation and Chaos 2: 795-813.
2. Arnol'd, Vladimir I. (1963a), "Proof of a Theorem of A. N. Kolmogorov on the Invariance of Quasi-Periodic Motions Under Small Perturbations of the Hamiltonian", Russian Mathematical Surveys 18: 9-36.
3. _ (1963b), "Small Denominators and Problems of Stability of Motion in Classical and Celestial Mechanics", Russian Mathematical Surveys 18: 85-191.
4. _ (1964), "Instability of Dynamical Systems with Several Degrees of Freedom", Soviet Mathematics 5: 581-585.
5. Batterman, Robert W. (1998), "Why Equilibrium Statistical Mechanics Works: Universality and the Renormalization Group", Philosophy of Science 65: 183-208
6. Blum, Lenore, Mike Shub, and Steve Smale (1989), "On a Theory of Computation and Complexity over the Real Numbers: NP-Completeness, Recursive Functions, and Universal Machines", Bull. Am. Math. Soc. 21: 1-46.
7. Davis, Martin D., and Elaine J. Weyuker (1983), Computability, Complexity, and Languages. San Diego, CA: Academic Press.
8. De la Llave, Rafael (2001), "A Tutorial on KAM Theory", Mathematical Physics Archive (01-29), http://www.ma.utexas.edu/mp_arc/index-01.html.
9. Diacu, Florin, and Philip Holmes (1996), Celestial Encounters: The Origins of Chaos and Stability. Princeton: Princeton University Press.
10. Gödel, Kurt (1931), "Über Formal Unenterscheidbare Städer Principia Mathematica und verwandter Systeme I", Monatshefte für Mathematik und Physik 38: 173-198. Translated in Kurt Gödel (1986), Collected Works I. Oxford: Oxford University Press.
11. Gödel, Kurt (1931), "Über Formal Unenterscheidbare Städer Principia Mathematica und verwandter Systeme I", Monatshefte für Mathematik und Physik 38: 173-198. Translated in Kurt Gödel (1986), Collected Works I. Oxford: Oxford University Press.
12. Goroff, Daniel L. (1993), Introduction to New Methods of Celestial Mechanics by Henri Poincaré. Woodbury, NY: American Institute of Physics.
13. Grzegorczyk, A. (1955a), "Computable Functionals", Fundamenta Mathematicae 42: 169-202.
14. _ (1955b), "On the Definition of Computable Functionals", Fundamenta Mathematicae 42: 233-239.
15. _ (1957), "On the Definitions of Computable Real Continuous Functions", Fundamenta Mathematicae 44: 61-67.
16. Heagy, James F., Thomas L. Carroll, and Louis M. Pecora (1994), "Experimental and Numerical Evidence for Riddled Basins in Coupled Chaotic Systems", Physical Review Letters 73: 3528-3531.
17. Ko, Ker-I (1991), Complexity Theory of Real Functions. Boston: Birkhauser.
18. Malament, David, and Sandy Zabell (1980), "Why Gibbs Phase Averages Work - The Role of Ergodic Theory", Philosophy of Science 47: 339-349.
19. Milnor, John (1985), "On the Concept of Attractor", Communications in Mathematical Physics 99: 177-195.
20. Moore, Cristopher (1990), "Unpredictability and Undecidability in Dynamical Systems", Physical Review Letters 64: 2354-2357.
21. _ (1991), "Generalized Shifts: Unpredictability and Undecidability in Dynamical Systems", Nonlinearity 4: 199-230.
22. Moser, Jürgen (1973), Stable and Random Motions in Dynamical Systems. Princeton: Princeton University Press.
23. _ (1978), "Is the Solar System Stable?", Mathematical Intelligencer 1: 65-71.
24. Myrvold, Wayne C. (1997), "The Decision Problem for Entaglement," in R. S. Cohen et al. (eds.), Potentiality, Entanglement, and Passion-at-a-Distance. Great Britain: Kluwer Academic Publishers, 177-190.
25. Ott, Edward, J. C. Alexander, Ittai Kan, John C. Sommerer, and James A. Yorke (1994), "The Transition to Chaotic Attractors with Riddled Basins", Physica D 76: 384.
26. Parker, Matthew W. (1998), "Did Poincaré Really Discover Chaos?", Stud. Hist. Phil. Mod. Phys. 29, 578-588.
27. Pitowsky, Itamar (1996), "Laplace's Demon Consults an Oracle: The Computational Complexity of Prediction", Stud. Hist. Phil. Mod. Phys. 27: 161-180.
28. Poincaré, Henri (1890), "Sur le Problème des Trois Corps et les Équations de la Dynamique", Acta Mathematica 13: 1-270.
29. _ (1891), "Le Problème des Trois Corps", Revue Générale des Sciences Pures et Appliquées 2 (1): 1-5.
30. _ (1898), "On the Stability of the Solar System", Nature 58: 183.
31. _ (1907) "Le Hasard", La Revue du Mois 3: 257-276. Translated in Henri Poincaré (1952), Science and Method. New York: Dover Publications, Inc.
32. _ (1907) "Le Hasard", La Revue du Mois 3: 257-276. Translated in Henri Poincaré (1952), Science and Method. New York: Dover Publications, Inc.
33. _ ([1892-1899] 1993) New Methods of Celestial Mechanics. Reprint. Woodbury, NY: American Institute of Physics. Originally published as Les Méthodes Nouvelles de la Méchanique Céleste.
34. Pöschel, Jürgen (1982) "Integrability of Hamiltonian Systems on Cantor Sets", Communications on Pure and Applied Mathematics 35: 653-695.
35. Pour-El, Marian Boykan, and Jerome Caldwell (1975), "On a Simple Definition of Computable Function of a Real Variable - With Application to Functions of a Complex Variable", Zeitschr. f. math. Logik und Grundlagen d. Math. 21: 1-19.
36. Pour-El, Marian Boykan, and Ian Richards (1983), "Computability and Noncomputability in Classical Analysis," Trans. Am. Math. Soc. 275: 539-545.
37. Sklar, Lawrence (1973), "Statistical Explanation and Ergodic Theory", Philosophy of Science 40: 194-212.
38. _ (1993), Physics and Chance. Cambridge: Cambridge University Press.
39. Soare, Robert I. (1987), Recursively Enumerable Sets and Degrees. New York: Springer-Verlag.
40. Sommerer, John C., and Edward Ott (1993), "A Physical System with Qualitatively Uncertain Dynamics", Nature 365: 138-140.
41. _ (1996), "Intermingled Basins of Attraction: Uncomputability in a Simple Physical System", Physics Letters A 214: 243-251. Figure reprinted with permission from Elsevier Science, Copyright 1996.
42. Turing, Alan (1936), "On Computable Numbers with an Application to the Entscheidungsproblem", Proc. London Math. Soc 42: 230-265.
43. Vranas, Peter B. M. (1998), "Epsilon-Ergodicity and the Success of Equilibrium Statistical Mechanics", Philosophy of Science 65: 688-708.
44. Weihrauch, Klaus (2000), Computable Analysis. Berlin: Springer-Verlag.
45. Wolfram, Stephen (1985), "Undecidability and Intractability in Theoretical Physics", Physical Review Letters 54: 735-738.