Dynamical system where proving chaos is equivalent to proving Fermat's conjecture

DOI10.1007/BF00675030zbMath0872.58027OpenAlexW2007082330WikidataQ123193644 ScholiaQ123193644MaRDI QIDQ1325710

A. F. Furtado do Amaral, Francisco Antonio Doria, Newton C. A. Da Costa

Publication date: 26 May 1994

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00675030

zbMATH Keywords

Smale horseshoeFermat's Conjecturelow-dimensional Hamiltonian system

Mathematics Subject Classification ID

Dynamical aspects of finite-dimensional Hamiltonian and Lagrangian systems (37J99) Higher degree equations; Fermat's equation (11D41)

Related Items

Fermat's last theorem and chaoticity ⋮ Undecidable Hopf bifurcation with undecidable fixed point ⋮ Undecidability, incompleteness and Arnol'd problems ⋮ The incompleteness of theories of games ⋮ The complexity of proving chaoticity and the Church–Turing thesis ⋮ A Survey on Analog Models of Computation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Suppes predicate for general relativity and set-theoretically generic spacetimes
• Computation theory of cellular automata
• Horseshoes in perturbations of Hamiltonian systems with two degrees of freedom
• Undecidability and incompleteness in classical mechanics
• Nonrecursive functions in real algebraic geometry
• The Undecidability of the Existence of Zeros of Real Elementary Functions
• Some undecidable problems involving elementary functions of a real variable
• Abbreviating proofs by adding new axioms