数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二

数字符号哥德尔数配置及变元、公式和谓词散议——哥德尔读后之二十二

这篇博文折腾了我近一个月，广州从8月以来几乎天天都在摄氏35度的酷热之中，满以为在秋凉之前可以完成，可你要从阅读哥德尔原著中找到些感觉，真还不是一件容易事。近几日老友传来一篇微信文章谈王浩，哥德尔生前好友，其中有两件轶事和我现在的心境有交汇，颇让人感触，现转录如下。
一件事情是讲金岳霖，该文说：
在联大，金岳霖开逻辑学入门课，课上基本是师徒两对练，金经常讲着讲着就问王浩：“哎，你小子说说咋回事啊？”王宪钧讲数理逻辑，沈有鼎讲维特根斯坦《逻辑哲学论》。有一次金岳霖想看哥德尔不完全性定理的论文，沈有鼎当众告诉他：你数学不行，看不懂的。金挺识时务，说不看就不看呗。

另一件轶事是讲何兆武和王浩的，该文说：
王浩，汉妮（王浩续妻）和何兆武同去德国海德堡时，何告诉王浩，山里有条当年黑格尔散步的哲学家小道，何和汉妮休息，王浩自己走了一趟，何问王感觉如何，王说：from nothing to nothing（从无到无）（参见‘’哲思学意‘’公众号文《谁是中国有史以来唯一对哲学做过深刻贡献的学者》）。

这哥德尔原著译本难懂，不看不知，看后方知此言不虚，难怪连中国逻辑的泰斗金岳霖先生都不敢看。不过，我却已经上了这条贼船多日，难道就弃船它就？在这折腾经月的日子，经常就有这“看还是不看？”的询问在心。不过，有关王浩的那个故事给了我一点底气，反正是从无到无，你舍弃也是无，你坚持也是无，何不就死皮赖脸地纠缠下去。博文就在这样的疑惑之中，断断续续地写下来。原本以为可以弄完哥德尔数配置的，但一万多字了，好像变元的配置，公式的配置，还有证明的配置还仍然有一段距离。那就先把这个散议当做一篇，哥德尔数的配置留待下篇吧。
王浩照片

一、数字符号序列的哥德尔数

上一篇讨论哥德尔数，我们仅仅给出了常元所对应的7个奇数，对于变元，则给出了其哥德尔数配置方法。那就是按照变元属于什么类型，给出形式为pn的自然数来一一对应，其中的p为大于13的素数，上标的幂指数n则是指称变元类型的数字。
常元和变元，这是建构哥德尔系统P的基本部件。这样两类基本部件，宛如塑造生命体的蛋白质与碳水化合物，让形式系统这个有产出机制的符号客体，生成变换出这个大容器客体下的无数客体层级。这个基本部件的产出机制，我们一步一步地来整理它的生成结果。因为常元客体，它只是实施产出机制的功能符号，似乎不属于客体的有形部分，而只是客体间的关系、性质、数量比较等等。所以，它虽有产出，但产出的仅仅只有0与f结合而生成的客体个体。
以下大概是哥德尔P系统最为基本的产出，一个最底层下限的符号序列，这个符号序列表达为f0，即给零做后继运算。自然，这样的产出可以无限延伸，生成为ff0，fff0，…，等等。依据哥德尔的配数法，因为f为配数3，0为配数1，因此，这些符号序列可以分别配置哥德尔数如下：

f0的哥德尔数由3，1构成；
ff0的哥德尔数由3，3，1构成；
fff0的哥德尔数为3，3，3，1构成；
ffff0的哥德尔数为3，3，3，3，1构成；
…；
等等。
这些生成的常元符号序列，看起来都是在0的前面做着同样的加f操作，但随着f的不断增加，序列所指称的客体也随之而变。所有这些符号操作生成的客体，哥德尔称之为数字符号number-sign，它们依然具有常元的性质。因为，这些新生成的符号，总是指谓某个特定的个体，它们不是变元，也不是某个普遍的对象客体。
那么，是不是这些分别的数字3和1，就是以上序列整体的哥德尔数呢？当然不是。它们只是单个常元符号的哥德尔数，由这些单个符号构成的符号序列f0等，其哥德尔数是需要计算的，需要经过符合哥德尔配数规则的计算，我们才可以得到一个唯一的客体个体。而这个与哥德尔数互为对应的唯一性，正是哥德尔设计哥德尔数的一个出发点。
我们来计算一下，对于常元0从一个f到四个f操作而形成的符号序列，到底应该是个什么样的客体个体。要做出这种计算，得琢磨琢磨哥德尔的心思。哥德尔把7个常元设定为7个奇数，没有说明常元符号序列，实际上就是数字符号序列该如何配上哥德尔数。这篇简洁却深奥的论文，哥德尔数的设置奥妙藏蕴其中，从随后的变元配数中，我们大概可以窥见其基本数字符号序列的配数方法。
好在还有哥德尔的辅助读物给我们以提示，于是，我们约定，将这个数字符号序列对应到唯一的一个数，也就是一个按大小顺序排列的两个素数的乘积，其中每一个素数的右上方各加一个上标，这个上标就是对应于相应常元符号的哥德尔数指数。（参见内格尔《哥德尔证明》第61页）
由此，一个f0的符号序列，它以数字3与1配给了序列的两个项，最小的素数为2，接之为3，我们就可以得到这个数字序列的哥德尔数。
序列 f 0
配数 3 1
计算：2 3* 31 = 24
所以，f0的哥德尔数为24。

再看ff0，
序列 f f 0
配数 3 3 1
计算：23* 33 * 51 = 1080
所以，ff0的哥德尔数为1080。