2011
DOI: 10.1007/978-3-642-11456-4_11
|View full text |Cite
|
Sign up to set email alerts
|

Computability and Dynamical Systems

Abstract: In this paper we explore results that establish a link between dynamical systems and computability theory (not numerical analysis). In the last few decades, computers have increasingly been used as simulation tools for gaining insight into dynamical behavior. However, due to the presence of errors inherent in such numerical simulations, with few exceptions, computers have not been used for the nobler task of proving mathematical results. Nevertheless, there have been some recent developments in the latter dire… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2017
2017
2022
2022

Publication Types

Select...
3

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(1 citation statement)
references
References 61 publications
0
1
0
Order By: Relevance
“…A final outstanding issue is determining when the occupation vector of the spacey random walk will converge. We suspect that this problem is undecidable as similar results have been shown for general dynamical systems [Buescu et al, 2011]. One approach for this problem is to show that the spacey random walker can simulate a Turing machine at which point determining convergence is equivalent to the halting problem (see the work of Moore [1990] for a similar approach).…”
Section: Zeroth-ordermentioning
confidence: 87%
“…A final outstanding issue is determining when the occupation vector of the spacey random walk will converge. We suspect that this problem is undecidable as similar results have been shown for general dynamical systems [Buescu et al, 2011]. One approach for this problem is to show that the spacey random walker can simulate a Turing machine at which point determining convergence is equivalent to the halting problem (see the work of Moore [1990] for a similar approach).…”
Section: Zeroth-ordermentioning
confidence: 87%