Undecidability, incompleteness and Arnol'd problems
From MaRDI portal
Publication:1896752
DOI10.1007/BF01053030zbMath0840.03031MaRDI QIDQ1896752
Francisco Antonio Doria, Newton C. A. Da Costa
Publication date: 11 September 1995
Published in: Studia Logica (Search for Journal in Brave)
03D35: Undecidability and degrees of sets of sentences
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
37C75: Stability theory for smooth dynamical systems
Cites Work
- Unnamed Item
- Unnamed Item
- Undecidability and incompleteness in classical mechanics
- The Hopf bifurcation and its applications. With contributions by P. Chernoff, G. Childs, S. Chow, J. R. Dorroh, J. Guckenheimer, L. Howard, N. Kopell, O. Lanford, J. Mallet-Paret, G. Oster, O. Ruiz, S. Schecter, D. Schmidt, and S. Smale
- Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
- Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications
- Some undecidable problems involving elementary functions of a real variable
- On Canonical Forms and Simplification