Recursion Theory on the Reals and Continuous-Time Computation

Cristopher Moore

Working Papers from Santa Fe Institute

Abstract: We define a case of recursive functions on the reals analogous to the classical recursive functions on the natural numbers, corresponding to a conceptual analog computer that operates in continuous time. This class turns out to be surprisingly large, and includes many functions which are uncomputable in the traditional sense.

We stratify this class of functions into a hierarchy, according to the number of uses of the zero-finding operator mu. At the lowest level are continuous functions that are differentially algebraic, and computable by Shannon's General Purpose Analog Computer. At higher levels are increasingly discontinuous and complex functions. We relate this mu-hierarchy to the Arithmetical and Analytical Hierarchies of classical recursion theory.

Date: 1995-09
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wop:safiwp:95-09-079

Access Statistics for this paper

More papers in Working Papers from Santa Fe Institute Contact information at EDIRC.
Bibliographic data for series maintained by Thomas Krichel ().