Undecidability over Continuous Time
From MaRDI portal
Publication:3424115
DOI10.1093/jigpal/jzl004zbMath1122.03042MaRDI QIDQ3424115
Costa, José Félix, Jerzy Mycka
Publication date: 15 February 2007
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/7f4e991d0d04ba390f617b6a020ffc85b05b9812
03D35: Undecidability and degrees of sets of sentences
03D20: Recursive functions and relations, subrecursive hierarchies
Related Items
Computability on reals, infinite limits and differential equations, A foundation for real recursive function theory, The P\(\neq\) NP conjecture in the context of real and complex analysis, Analog computation beyond the Turing limit