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

本文详细探讨了哥德尔的原始递归概念,包括原始递归函数的定义、性质和重要性。通过对哥德尔原著英译本2.3节的拆解汉译,阐述了递归的基础——有头有尾的递归函数,以及如何从基本函数生成原始递归函数。同时,文章介绍了与递归相关的定理,如定理I、II和III,展示了递归在元数学中的核心作用。
摘要由CSDN通过智能技术生成

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

**

虎年的春节接近尾声,从惠州双月湾返回广州,已经时过一月了。近日又碰上一个震撼世界的俄乌开战,这篇博文也就一拖再拖。此外,还伴有诸多生存琐事缠绕。但书还得读,尤其是你已经开看,并且准备认真看的那些书。
读一本书,宛如和那读书的主人签下合同似的,不继续读下去,颇有点失去信用的感觉。好在是自己与自己定约,不牵涉第二方第三方,所以这爽约的事,也就能够自我谅解。为俄乌战事弄了七篇随笔,三月也眼看过了一半,回到哥德尔这里换换口味吧。
哥德尔的那个原著文本,一直是准备认真对付的,自然还得花功夫读下去。一边是对着文本的读,一边是对着屏幕的敲,于是就有了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 ⃗))

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

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值