Undecidability, incompleteness and Arnol'd problems
type: Item
instance of: scholarly article
title: Undecidability, incompleteness and Arnol'd problems
zbMATH Open document ID: 0840.03031
DOI: 10.1007/BF01053030
author: Francisco Antonio Doria
author: N. C. A. da Costa
published in: Studia Logica
publication date: 1995-09-11T00:00:00Z
review text: A brief survey of recent publications by the authors on the decidability of questions in dynamical systems. Consists mainly of statements of results.
Mathematics Subject Classification ID: 03D35
Mathematics Subject Classification ID: 37C75
Mathematics Subject Classification ID: 03-02
zbMATH DE Number: 795264
zbMATH Keywords: undecidability
zbMATH Keywords: survey
zbMATH Keywords: dynamical systems
reviewed by: Leon Harkleroad
MaRDI profile type: Publication
cites work: Q4393485
cites work: On Canonical Forms and Simplification
cites work: Undecidability and incompleteness in classical mechanics
cites work: Q4282601
cites work: Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications
cites work: Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
cites work: Q1233671
cites work: Some undecidable problems involving elementary functions of a real variable
description: scientific article; zbMATH DE number 795264