Differential Recursion and Differentially Algebraic Functions

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Moore introduced a class of real-valued "recursive" functions by analogy with Kleene's formulation of the standard recursive functions. While his concise definition inspired a new line of research on analog computation, it contains some technical inaccuracies. Focusing on his "primitive recursive" functions, we pin down what is problematic and discuss possible attempts to remove the ambiguity regarding the behavior of the differential recursion operator on partial functions. It turns out that in any case the purported relation to differentially algebraic functions, and hence to Shannon's model of analog computation, fails.
14 pages, 3 figures

Keywords

Computational Complexity, F.1.1

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/227455

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0704.0301
 http://arxiv.org/abs/0704.0301
 Revised and published in ACM Trans. Comput. Logic 10, Article 22, 2009, under the title "Differential Recursion".
 doi:10.1145/1507244.1507252

Collections

arXiv