由初始函数，经有限次代入和原始（一般）递归规则所得到的函数叫作原始（一般）递归函数。
德国数学家Ackermann给出一个函数
是一般递归而非原始递归函数。
直观地说，每定义一个递归函数f ，就相应给出了一个计算f 的值的算法，依次可求得
……
（或按非自然数序列排列）
| （3）递归函数定义 由初始函数，经有限次代入和原始（一般）递归规则所得到的函数叫作原始（一般）递归函数。 德国数学家Ackermann给出一个函数 是一般递归而非原始递归函数。 直观地说，每定义一个递归函数f ，就相应给出了一个计算f 的值的算法，依次可求得 …… （或按非自然数序列排列） |