图灵完备和实现偏递归函数是等价的，关于偏递归函数的定义可以参照以下系列视频，我觉得这几个视频介绍偏递归函数解释得比较简单明了。 因为图灵完备和实现偏递归函数是等价的 ，因为我们可以通过用一门语言实现偏递归函数来证明这门语言是图灵完备完备的。这种领域有一个有趣的定理是，任意偏递归…