微分递归与微分代数函数

Moore 通过类比 Kleene 对标准递归函数的表述，引入了一类实值“递归”函数。尽管其简洁的定义启发了关于模拟计算的新研究方向，但其中包含一些技术上的不准确之处。我们聚焦于他的“原始递归”函数，明确了问题所在，并讨论了消除微分递归算子对部分函数行为歧义的可能尝试。结果表明，无论如何，其与微分代数函数，进而与 Shannon 的模拟计算模型的所谓关联，都是不成立的。