Abstract | ||
---|---|---|
Moore introduced a class of real-valued "recursive" functions by analogy with Kleene's formulation of the standard recursive functions. While his concise def- inition 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 func- tions, and hence to Shannon's model of analog computation, fails. |
Year | Venue | Keywords |
---|---|---|
2007 | Clinical Orthopaedics and Related Research | computational complexity,differential algebra |
Field | DocType | Volume |
μ-recursive function,Discrete mathematics,Primitive recursive function,Mutual recursion,Double recursion,μ operator,Mathematics,Recursion,Computable function,Computable analysis | Journal | abs/0704.0 |
Citations | PageRank | References |
1 | 0.35 | 6 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Akitoshi Kawamura | 1 | 102 | 15.84 |