第390章零号公理
第390章零号公理(第2/4页)
消除。
但实验失败了。
笔记第17页，用红笔写着一行大字：“公理系统不完备。系统内存在一个无法证明的命题。”
谢铭的手指停在那行字上。
哥德尔不完备定理。
任何自洽的公理系统，必然存在一个无法在系统内证明的命题。逻辑研究院试图用公理系统描述整个宇宙，但他们忽略了一个问题——如果宇宙本身就是一个自洽的系统，那么宇宙内必然存在一个无法被证明的真理。
这个真理，就是逻辑裂缝的源头。
谢铭翻到最后一页。
笔记的署名栏里，写着：“林霜·观测员”。
他的瞳孔猛地收缩。
笔迹。他认得出这个笔迹。档案里的每一个字，都是林霜亲手写的——那些倾斜的字母、用力过度的钩、末尾习惯性的上挑。他见过太多次了，在那些她写给他的纸条上，在那些她留在厨房餐桌上的购物清单上。
林霜当时在现场。
她不是后来才卷进来的。她从最开始就在。
谢铭的手指颤抖着翻过最后一页，看到笔记的末尾画着一个符号：一个圆圈，内嵌一个三角形。
他的大脑“嗡”地一声。
这个符号。
在自指领域里，阴影谢铭的胸口上，就刻着这个符号。
***
谢铭靠在椅背上，盯着天花板看了十秒。
档案室里的空气越来越闷，灰尘的气味混着纸张腐烂的甜腻，让他有些头晕。他闭上眼，把刚才看到的信息在脑子里重新整理了一遍。
2150年的实验制造了第一条逻辑裂缝。
林霜是实验的观测员。
实验失败的原因，是公理系统内存在一个无法证明的命题。
而这个命题，可能就是林霜的“定义”——她定义“谢铭会记得我”，因为她知道，在公理系统内，这个命题无法被证明，也无法被证伪。
谢铭睁开眼。
他重新翻开档案，找到第7页。那里有一行被划掉的字，墨迹很重，像是写的人非常用力，然后又在愤怒中把它划掉：“如果公理系统不完备，那么系统内必然存在一个无法证明的命题。”
（本章未完，请点击下一页继续阅读）第390章零号公理(第2/2页)
划掉这行字的人，在下面补了一句：“所以，这个命题就是公理本身。”
谢铭的手猛地握紧。
公理。
林霜的命题，不是定理——它是公理。它不需要被证明，因为它就是证明本身。
他正要继续往下看，手指触到档案的封底，感觉下面还有东西。他翻开封底，发现里面夹着一张照片。
照片已经泛黄，边缘有些卷曲。上面是一群穿白大褂的人站在裂缝前——那道裂缝他认得，是求真塔地下实验室里的第一条裂缝，现在已经被加固封印。
谢铭
（本章未完，请点击下一页继续阅读）