康先生和哥德尔数配置——哥德尔读后之二十三

康先生和哥德尔数配置——哥德尔读后之二十三

这一篇博客，该用来直击哥德尔数的配置了。哥德尔的系统P，词项是一个系统P中，符号构成的基底；由词项再构成公式；而由公式继而构成证明。行文之际，有幸看到陈波老友的中国逻辑学70年回顾（微信公众号“哲学社”2021年10月14日）一文，涵盖够周密的了，但感觉有关中国逻辑学界对于现代逻辑，特别是对于哥德尔的研究，有点概略不全，漏掉了康宏逵先生。康先生的其它译著姑且忽略不论，仅他对哥德尔所下的功夫，中国逻辑学70年中没有记录，实在是有点不公。
近一两年关注哥德尔，能参考的书籍很多，但对哥德尔理解之深，理解之早，对哥德尔的朋友王浩理解之深，交往之密，在中国逻辑学界，恐怕除了康先生，国内再无第二人。如同王浩所言，他们同是王宪钧的学生。也如同康先生所言，王浩是最爱护他最关心他的长者（参见康宏逵译，王浩著《哥德尔》前言第5页，及尾部第448页）。
康先生的哥德尔研究也确实了得，他1991年写成，于1993年出版的《可能世界的逻辑》一书，代序九十多页，就是专门讨论哥德尔的。我对哥德尔的理解，最先就是从这本书开始的。刚看时，一头雾水，不知所云。近来读哥德尔原著英译本，回头再来看康先生作为代序的《模态 自指和哥德尔定理》一文，好像找到点文字感觉。
康宏逵先生（1935-2014）

（来自《知乎》杜珊珊文前截图）

一、康先生配置法与哥德尔配置法的一致

（一）康先生如何解读哥德尔数配置？

哥德尔数的配置法则，虽在哥德尔原著中有论述，康先生给出的哥德尔数说明和配置公式，似乎比哥德尔原著更好理解一些。我所设想的词项、公式和证明的安排，其实就是重读康先生文本的结果。摘录康先生谈哥德尔数的片断论述，立刻就可以感觉到这样三个哥德尔数配置的客体。
康先生在代序中写道，哥德尔当年分两步来给出一元谓词Pr，这个Pr表示哥德尔系统P中的可证性谓词。获得可证性谓词Pr的第一步，那就是哥德尔编码，或者说给符号客体来配置哥德尔数。
这个第一步如何来做呢？康先生写道：
第一步：语法编码，简称编码 这一步在普通算术的一小片中进行，目的是先把可证性命题变换成普通算术命题。编码始于给PA（皮亚诺算术简称PA）中的语法对象各配一哥德尔数，旨在以数代物。配数法总有点任意，但必须一对一。怎么配都是要产生天文数字的，不如只设想按某种固定方法给每个符号配好数了。对i=0，1，……，n，如果符号si的数是ki，则符号序列s0s1……sn的数通常定为：

p0k0 * p1k1 * p2k2 *…… * pnkn，(*为算术相乘号)

这里的pi是按大小排列的第i个素数。相仿，如果符号序列ei的数是li，则符号序列的序列e0e1e2……en的数也可以定为:

p0l0 * p1l1 * p2l2 *…… * pnln，(*为算术相乘号)

这样，每个语法对象，特别是词项、公式和证明，就都对应于唯一的数了（参见康宏逵《可能世界的逻辑》上海译文出版社1993年版第5-6页）。
书籍截图

康先生的这段论述，其实就是对于哥德尔配数一种更为清晰的理解方式。未读哥德尔原文，这样的理解恐怕很难获得。有了康先生以上那几段配数论述，我们来看哥德尔本人对于哥德尔数配置的行文。
哥德尔在其论文第二章中，给出了常元符号的哥德尔数配置之后，接之就写道：

进一步，类型n的变元被