And now it had turned out that the general recursive function was exactly equivalent to the computable function .
现在可以证明，一般化的递归函数和可计算函数是等价的，
computable functioncomputable functioncomputable function