Computability and the morphological complexity of some dynamics on continuous domains

DOI10.1016/j.tcs.2008.01.048zbMath1146.68035OpenAlexW2132240671MaRDI QIDQ930875

Mathieu Hoyrup, Arda Kolçak

Publication date: 24 June 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.01.048

zbMATH Keywords

singularitieschaotic dynamicsdecidabilityshadowingunpredictabilitycomputability over continuous domains

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Approximate trajectories (pseudotrajectories, shadowing, etc.) in smooth dynamics (37C50)

Related Items (4)

Computability and Dynamical Systems ⋮ Computability, noncomputability, and hyperbolic systems ⋮ Non computable Mandelbrot-like sets for a one-parameter complex family ⋮ Non-computable impressions of computable external rays of quadratic polynomials

Cites Work

• Sensitive dependence to initial conditions for one dimensional maps
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Computability on subsets of metric spaces.
• Geometry and generality in Frege's philosophy of arithmetic.
• Shadowing in dynamical systems
• Dynamical systems, measures, and fractals via domain theory
• Continuity and computability of reachable sets
• Filter spaces and continuous functionals
• Effective operations on partial recursive functions
• Dynamical systems: stability and simulability
• Randomness and determinism in the interplay between the continuum and the discrete
• EXTENDED CRITICAL SITUATIONS: THE PHYSICAL SINGULARITY OF LIFE PHENOMENA
• The hereditary partial effective functionals and recursion theory in higher types
• Data Types as Lattices
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• The chemical basis of morphogenesis
• Computability in Analysis and Physics
• Recursive metric spaces
• Classes of Recursively Enumerable Sets and Their Decision Problems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computability and the morphological complexity of some dynamics on continuous domains