Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
From MaRDI portal
Publication:1325710
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
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