数理逻辑3 -- 形式数论8

本节开始讨论递归函数，终于来到了哥德尔定理的山脚下。

上节讨论了函数在含等式理论中的表达性。由于PA理论S（即用一阶代数语言和S1-S9那些公理组成的一阶理论）也是含等式的理论，因此研究S中可表达的函数很重要，这些个函数对数理逻辑和计算机科学都有着深远影响。

我们先来看一些特殊的函数。
定义3.8.1：

1. 以下函数称为初始函数（Initial Function）：
   I. 零函数（Zero Function）：$Z(x) = 0$，对所有$x$
   II. 后继函数（Successor Function）：$N(x) = x+1$，对所有$x$
   III. 投影函数（Projection Function）：$U^n_{i}(x_1,...,x_n) = x_i$，对所有$x_1,...,x_n$

2. 以下规则是从已有函数中产生新函数的规则：
   IV. 替代（Substitution）：
   

   $$f(x_1, ..., x_n) = g\Big( h_1(x_1,...,x_n),...,h_m(x_1,...,x_n) \Big)$$ ，
   我们说，$f$是$g$和$h$替代而得。

   V. 递归（Recursion）：
   

   $$f(x_1,...,x_n, 0) = g(x_1,..,x_n) \\ f(x_1,...,x_n, y+1) = h(x_1,...,x_n, y, f(x_1,...,x_n, y))$$
   ，其中我们允许$n=0$，这时
   $$f(0)=k, k是一个固定的自然数 \\ f(y+1) = h(y, f(y))$$
   我们说，$f$是由$g$和$h$递归而得。

   VI. 受限$\mu-$操作（Restricted $\mu-$Operator）：若函数$g(x_1,..,x_n,y)$满足，对于任意$x_1,...,x_n$，存在$y$使得$g(x_1,...,x_n, y)=0$，那么我们定义$\mu y(g(x_1,...,x_n, y)=0)$为满足$g(x_1,...,x_n, y)=0$的最小的$y$。这个$\mu y$就称为受限$\mu-$操作。更通用的，对任意的关系$R(x_1,...,x_n, y)$，如果存在$R$为真，那么可定义$\mu y(R(x_1,...,x_n, y))$为满足关系$R$的最小的$y$。有了受限$\mu-$操作，我们定义函数$f(x_1,...,x_n) = \mu y \big( g(x_1,...,x_n, y) \big)$，当$g$能成立（即存在$y$使得$g(x_1,...,x_n,y)=0$）。我们说，函数$f$由 g