天才一秒记住【热天中文网】地址:https://www.rtzw.net
她把一块碎片从假值堆积区里轻轻取出来,碎片在她掌纹里轻轻震着,断口极整齐,不是被撞断的,不是被扯断的,不是被压断的,是“被切掉的”
——在它推导链的某一步,一个极关键极微小极小极小的引理被系统直接跳空了。
那个引理不是假,不是错,不是悖论,是系统里“没有它的推导链”
。
不是推导链断了,是系统从一开始就没有给这类引理留推导空间。
小念忽然抬头看向定理峰的峰脚,那里有一条极细极细极淡极淡的推导链几乎已经被削平了,但底端还残留着一丁点断丝。
那个引理被处理过——如果被逆律抹除,归月在机械宇宙死寂区、植物宇宙静默壳里照过的那些断口全部是“强行撕裂”
的碎屑,是被直接拔走的;但在这里,断口边缘光滑得像从未存在过一样,不是没有,是“系统里没有”
。
系统极深处一定嵌着一条连系统自己都默认的另一套底层公理——它把所有“不能被完全证明”
的东西自动归为“假”
。
林薇的碗已经放在秦若掌纹旁边了。
秦若掌纹里问层正沿着那片极光滑的断口往里探,这些没被抹掉的是被“不允许存在”
的——它们的问题是“不能证明为真”
,所以它们被判假。
她把那片注脚区被推翻过的自证记录从问层里调出来,极快地与仍在定理峰顶微震的江辰交换了一次共识:这片公理膜底层嵌着极标准的希尔伯特计划逻辑——完备且一致。
林薇把碗轻轻转了一下,碗口对着那片假值废墟。
秦若看着那片极光滑的断口,忽然想起她还在丹房给孙管事当杂役的时候,有一次废料堆里混进一批没有标签的丹渣。
李墨师叔路过扫了一眼,说这不是废料,是还没找到对应丹方的游离药元,留着,以后可能有用。
切得再光的断口,也不是假——只是还没找到它的证明。
她只要把那条“不能证明为真就自动为假”
的逻辑切开,这片假值废墟里所有东西都能重新被公理膜接回去。
她用掌纹里序层的运算流沿着断口写了极细极细极微极微的一段新公理——“存在不能被证明为真但可被指定为真的命题”
。
不是选择公理,是“指定公理”
。
指定公理不是让系统随机选一个,而是允许系统在推导链的某一步,当遇到“无法继续证明”
的命题时,主动停下来,把命题标记为“未定”
,但不假。
未定的命题仍然可以继续往上叠成定理峰,但它的底层会一直保留这个“未定”
标签。
以后如果有新的引理接入,这个未定可以被重新打开,重新证明,重新叠。
如果一直没有新的引理,它就一直是“未定”
本章未完,请点击下一章继续阅读!若浏览器显示没有新章节了,请尝试点击右上角↗️或右下角↘️的菜单,退出阅读模式即可,谢谢!