第一不完全性定理证明标号分类 拆解汉译 知识背景——哥德尔原著英译拆解汉译之一
哥德尔原著中的第一不完全性定理证明的全过程,已经艰难地旅行了一趟。不是浮光掠影,却依然处在似懂非懂之中。静坐沉思,常自叹功力甚浅,未能力透纸背,了悟哥德尔符号玄机也。
刚刚学到两个对待知识态度的英文单词。一个是know-it-all,中文翻译为无所不知,另一个是learn-it-all,中文翻译为无所不学。我们这个社会好像有不少know-it-all即无所不知的人和团体,所有人,所有团体都得听它的,因为它无所不知。好在还有一个正好与这个无所不知对应的无所不学,它恰恰是无所不知的反面。我们总有学不完的知识,我们应该用一种谦恭包容的态度对待人类的知识,用虔诚的学习态度来对待这人世间的一切存在。
无所不知图
上帝无所不知
无所不学
一个智慧的存在,谦恭的学习态度应该为第一要义。你准备去学习某种东西,除非不可抗拒的因素在给你困扰,不然,浅度漂学解惑不了,就不可不懂装懂,自以为无所不知。倒应该是提升强度,如同旅行中的普通游升华为深度游那样。在粗读哥德尔原著一轮之际,好像来了点这样的感觉,感觉非增加点深度游览,才有可能窥见哥德尔文字之奥妙,或者练出点功力,能够察知哥德尔符号之瑕疵。
于是,那计算机指令中经常用到的循环迭代,就起了一点启示作用。也许,这循环迭代产生的熟,继而生发出的灵性,能够映衬出孔老夫子的那句千古名言:温故而知新的。
由此,哥德尔原著英译本的迭代阅读就这样开始了,因为有第一轮的打底,可以先对哥德尔第一不完全性定理的证明流程,做一个概要性的描述了。
一、哥德尔第一定理证明流程分类
好几本哥德尔参考读物,都是从哥德尔定理的大背景角度来概括哥德尔证明的。我的第一着眼点没有大背景,仅在哥德尔原著本身。先对哥德尔证明第一不完全性定理给出的16个标号,给出分类的描述。然后看有不有可能,捣鼓出哥德尔证明的一个路线图。
(一)18个标号与4个分类
哥德尔证明第一不完全性定理中的16个标号,再加上标号(6)之下的(6.1),标号(8)之下的(8.1),总共18个标号。按其符号性质分类,大致可以分为以下几类:
第一类:六个定义
1.标号(1)自然数类K定义
K={n∈N |﹁ proveable(Rn(n)} (1)
2.标号(2)原始递归定义
这是与哥德尔形式系统P无直接联系的递归定义
一个数论函数Φ($x_1,x_2,…,x_n)被说成是根据数论函数Ψ(x1,x2,xn-1,)和μ(x1,x,…,xn+1)而递归定义的,如果对于所有的x1,x2,…,xn,k,*以下等式成立:
*Φ(0, x 1 , x 2 , … , , x n x_1,x_2,\dots,,x_n x1,x2,…,,xn)= Ψ( x 1 , x 2 , … , x n x_1,x_2,\dots,x_n x1,x2,…,xn),
Φ(k+1, x 1 , x 2 , … , x n x_1,x_2,\dots,x_n x1,x2,…,xn)= μ (k,Φ(k, x 1 , x 2 , … , x n x_1,x_2,\dots,x_n x