哲学方法论系列文库：递归函数.pdfVIP

哲学方法论系列文库—— 递递归归函函数数 哲学是人类文化结晶， 方法论在哲学中占有重要地位。 本文提供 “递归函 ” 的现代视点解读，以供大家了解。 递递归归函函数数 函 的概念是一个很一般的概念。 在定义函 时，不一定要具体给出通过自变量求函 值的方法。 因此，可将函 分成两类，一类是所谓能行可计算函 ，另一类是非能行可计算的函 。 这前一种函 无论在理论上或在实际上都是非常重要 的，因此人们便试图给它们以精确的 学刻画。 递归函 便是许多这种刻画中的一种。 我们以下考虑的函 都是从自然 到自然 的函 。 我们先定义几个初等函 (1)零函 Z(x)=0 ； (2)后继 函 S(x)=x+ 1； (3)广义函 ； 显然，上面这些函 都 是能行可计算的。 再介绍几个将函 变换为函 的算子。 (1)复合算子 设f是n元函 ，g1…gn是m元函 ，复合 算子将f，g1…gn变换成为如下的m元函 h ： h(x 1… xm)=f1g1(x 1，…xm)，…gn(x 1，…xm)) (2)递归算子 设f是n元函 (≥0)，g是n+2元函 ，递归算子将f，g变 换成满足下列条件的n+ 1元函 h ： h(x 1，…，xn ， 0)=f(x 1，…xn) h(x 1，…xn ，y+ 1)=g(x 1，…xn ，y， h(x 1，…xn)) (3)μ－算子，设f是n+ 1元函 ，如果存在 y，使f(x 1，…xn ，y)=0 ，我们以μyf(x 1…xny)表示这样 的y 中的最小者，如果使f(x 1，…xny)=0 的y不存在，我 们说μyf(x 1，…xny)无定义。 μ－算子将n+ 1元函 f变换成下面的几元函 h h(x 1， …xn)=μyf(x 1…xny) 注意，μ算子可以将一个全函 变 换成一个部分函 (即在自然 的某个子集上有定义的 函 ) 。 可以看出，上述所有算子都是将能行可计算函 变换 为能行可计算函 。 所谓递归函 类便是包含零函 、广义么函 ，并在 复合算子、递归算子，μ－算子下封闲的最小函 类。 容易相信，任何递归函 都是能行可计算的。 反过来，是否存在直观上能行可计算的，但不是递归 的函 呢?人们直到现在还没有发现这样的函 。 相反，人们证明了，现已遇到的直观上能行可计算的 函 都是递归函 。 进一步，人们还证明了，递归函 类与其他的一些刻 画能行可计算函 的方法产生的函 类是完全一致 的，这些事实促使车尔赤(Church)提出了他的着名的论 点： 递归函 类与直观能行可计算函 类是重合的。 这个论点已被大多 递归论学者所接受。