Differential Recursion and Differentially Algebraic Functions
| dc.creator | Kawamura, Akitoshi | |
| dc.date | 2007-04-03 | |
| dc.date.accessioned | 2026-07-07T13:05:20Z | |
| dc.date.available | 2026-07-07T13:05:20Z | |
| dc.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. | |
| dc.description | 14 pages, 3 figures | |
| dc.identifier | https://arxiv.org/abs/0704.0301 | |
| dc.identifier | http://arxiv.org/abs/0704.0301 | |
| dc.identifier | Revised and published in ACM Trans. Comput. Logic 10, Article 22, 2009, under the title "Differential Recursion". | |
| dc.identifier | doi:10.1145/1507244.1507252 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/227455 | |
| dc.subject | Computational Complexity | |
| dc.subject | F.1.1 | |
| dc.title | Differential Recursion and Differentially Algebraic Functions | |
| dc.type | text |