Undecidability, incompleteness and Arnol'd problems

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)

zbMATH Keywords

surveyundecidabilitydynamical systems

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Stability theory for smooth dynamical systems (37C75)

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

This page was built for publication: Undecidability, incompleteness and Arnol'd problems