Computer Science – Computational Complexity
Scientific paper
2007-04-03
Revised and published in ACM Trans. Comput. Logic 10, Article 22, 2009, under the title "Differential Recursion".
Computer Science
Computational Complexity
14 pages, 3 figures
Scientific paper
10.1145/1507244.1507252
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.
No associations
LandOfFree
Differential Recursion and Differentially Algebraic Functions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Differential Recursion and Differentially Algebraic Functions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Differential Recursion and Differentially Algebraic Functions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-255530