Undecidability in Rn: Riddled Basins, the KAM Tori, and the Stability of the Solar System
From MaRDI portal
Publication:3093489
DOI10.1086/375472zbMath1222.03010OpenAlexW2015114054MaRDI QIDQ3093489
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
Constructive and recursive analysis (03F60) Perturbations of finite-dimensional Hamiltonian systems, normal forms, small divisors, KAM theory, Arnol'd diffusion (37J40) Decidability of theories and sets of sentences (03B25) Celestial mechanics (70F15)
Related Items
Notions of Probabilistic Computability on Represented Spaces ⋮ Multi-Resolution Cellular Automata for Real Computation ⋮ Computing the uncomputable; or, the discrete charm of second-order simulacra ⋮ Three concepts of decidability for general subsets of uncountable spaces
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
