哥德尔递归汉译和原始递归——哥德尔原著英译拆解汉译之七

**哥德尔递归汉译和原始递归——哥德尔原著英译拆解汉译之七

**

虎年的春节接近尾声，从惠州双月湾返回广州，已经时过一月了。近日又碰上一个震撼世界的俄乌开战，这篇博文也就一拖再拖。此外，还伴有诸多生存琐事缠绕。但书还得读，尤其是你已经开看，并且准备认真看的那些书。
读一本书，宛如和那读书的主人签下合同似的，不继续读下去，颇有点失去信用的感觉。好在是自己与自己定约，不牵涉第二方第三方，所以这爽约的事，也就能够自我谅解。为俄乌战事弄了七篇随笔，三月也眼看过了一半，回到哥德尔这里换换口味吧。
哥德尔的那个原著文本，一直是准备认真对付的，自然还得花功夫读下去。一边是对着文本的读，一边是对着屏幕的敲，于是就有了2.2节哥德尔数之后的又一节文字汉译，也就是以下的汉译文字。哥德尔原著文本英译本的2.3节：原始递归。
哥德尔关于递归的描述在原著英译的2.3节，其篇幅远超2.2节的哥德尔数。原始递归的论述用了整整3个页码，从第6页到第9页，其实也就2000多汉字。
以下标为一的第一部分，即是拆解汉译哥德尔原著英译文本。

标题一.哥德尔原著英译本拆解汉译2.3节原始递归

标题2.3 原始递归

此刻，我们将引入一个插述式思考，预先指出的是，这个思考和形式系统P没有任何直接联系，我们先给出以下定义：称一个数论函数Φ(x1，x2…xn)被数论函数Ψ(x1，x2…xn-1)和μ(x1，x2…xn+1)说成是原始递归定义的，如果对于所有的x2，x3…xn，k而言，以下公式成立：

Φ(0，x2，x3…xn) = Ψ(x2，x3…xn)
Φ(k+1，x2，x3…xn) = μ(k，Φ（k，x2，x3…xn) （2）

称数论公式Φ是原始递归的，如果存在一个有限数论公式序列Φ=Φ1，Φ2，…Φn，该序列在Φ中终结，使得序列中的每一个函数Φk：或者，它是被在前的两个公式通过原始递归而定义；或者，它是通过插入在前公式中的任意一个推导而得到的结果；或者，它作为一种基本情形，是一个常元，或者是那个后继函数succ(x)=x+1。属于一个原始递归函数Φ中的Φi，它最短序列的长度，被起名为是该函数Φ的度degree。
一个在自然数之中的关系R(x1，x2…xn)称作原始递归的，如果存在一个原始递归函数Φ(x1，x2…xn)使得对于所有的x1，x2…xn都有：

R(x1，x2…xn)⟺[Φ(x1，x2…xn)=0]

则以下定理成立。
I.通过将原始递归函数（关系）插入到另一个原始递归函数（关系）变元位置，从而获得的每一个函数本身都是原始递归的；通过上述模式（2），从原始递归函数得到的每一个函数也是原始递归的。
II．如果R和S是原始递归关系，那么，R,RS,（因此RS）也是原始递归关系。
III．如果函数φ((x)) ⃗，φy ⃗，是原始递归的，那么，φ(x)= φ(y)也是原始递归的。[英译者注：我们诉诸于某个向量关系x ⃗去指称有限长度的变元组]。
IV．如果函数φ((x)) ⃗，和关系R(yz ⃗)，是原始递归的，那么，关系S,T也是原始递归的。这里的S和T如以下公式所示：

S(((x)) ⃗，((z)) ⃗) ⟺(y φ((x)) ⃗. R(yz ⃗))

T(((x)) ⃗，((z)) ⃗) ⟺(y φ((x)) ⃗. R(yz ⃗))

同样，函数Φ也是原始递归的，这里的Φ，如以下公式所示࿱