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

DOI10.1086/375472zbMath1222.03010MaRDI QIDQ3093489

Matthew W. Parker

Publication date: 17 October 2011

Published in: Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1086/375472

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

37J40: Perturbations of finite-dimensional Hamiltonian systems, normal forms, small divisors, KAM theory, Arnol'd diffusion

03B25: Decidability of theories and sets of sentences

70F15: Celestial mechanics

Related Items

Notions of Probabilistic Computability on Represented Spaces, Three concepts of decidability for general subsets of uncountable spaces, Computing the uncomputable; or, the discrete charm of second-order simulacra, Multi-Resolution Cellular Automata for Real Computation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Laplace's demon consults an oracle: the computational complexity of prediction
• On the concept of attractor
• The transition to chaotic attractors with riddled basins
• Intermingled basins of attraction: uncomputability in a simple physical system
• Stable and Random Motions in Dynamical Systems
• Computable functionals
• On the definition of computable functionals
• On the definitions of computable real continuous functions
• Integrability of hamiltonian systems on cantor sets
• Computability and Noncomputability in Classical Analysis
• On a simple definition of computable function of a real variable‐with applications to functions of a complex variable
• RIDDLED BASINS
• Unpredictability and undecidability in dynamical systems
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• Generalized shifts: unpredictability and undecidability in dynamical systems
• PROOF OF A THEOREM OF A. N. KOLMOGOROV ON THE INVARIANCE OF QUASI-PERIODIC MOTIONS UNDER SMALL PERTURBATIONS OF THE HAMILTONIAN
• SMALL DENOMINATORS AND PROBLEMS OF STABILITY OF MOTION IN CLASSICAL AND CELESTIAL MECHANICS
• On Computable Numbers, with an Application to the Entscheidungsproblem