Computability and the morphological complexity of some dynamics on continuous domains

Mathieu Hoyrup, Arda Kolçak, Giuseppe Longo
2008 Theoretical Computer Science  
The partially ordered set of compact intervals provides a convenient embedding space for the analysis of some Dynamical Systems. Crucial dynamical properties are transferred to it, while allowing an investigation of stability and chaoticity, in terms of computability, in particular in the presence of singularities. We will survey some results which display the connections between the geometric complexity of the dynamics and computability issues, as well as new relations between dynamic predictability and effective decidability.
doi:10.1016/j.tcs.2008.01.048 fatcat:pbesijwghngjzioblranl242ty