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

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

康先生和哥德尔数配置——哥德尔读后之二十三最先出现在Python成神之路。