第413章命题与反命题
第413章命题与反命题(第1/4页)
第413章命题与反命题
莫比乌斯环开始逆向旋转。
谢铭站在灰白色的空间里，脚下的符号像被风暴卷起，在他周围画出无数个同心圆。阴影谢铭站在圆心，双手插在口袋里，表情平静得像在讨论天气。
“十秒到了。”
谢铭低头看自己的左手——空荡荡的，五指张开。但阴影谢铭的笑让他后颈发凉。
“你证明不了，对不对？”阴影谢铭歪了歪头，“因为你没法证明‘空’是什么。你只能说‘我没握东西’，但这句话本身就是一个命题——而命题需要被验证。你怎么验证？”
谢铭的瞳孔缩了一下。
“你没法从外部观察自己。”阴影谢铭的声音很轻，“所以这个命题对你来说，永远处于‘未验证’状态。而我，可以一直让它悬着。”
谢铭深吸一口气。
“你犯了一个错误。”
“什么？”
“你刚才说——‘谢铭的左手现在握着东西’。”谢铭抬起左手，五指在灰白色的光线下清晰可见，“这是一个具体的命题。它指向的是‘此刻’、‘这里’、‘我的手’。但你的验证方式，依赖的是‘我能否从外部观察自己’——这是认知论的问题，不是逻辑问题。”
阴影谢铭的笑容僵了一下。
“哥德尔不完备定理说，任何足够强大的系统都存在无法在系统内证明的真命题。”谢铭往前走了一步，“但你的命题不是‘真’，而是‘无法证伪’。这是两个概念。”
“所以呢？”
“所以——”谢铭的左手突然握紧，“我可以选择‘不接受这个游戏规则’。”
莫比乌斯环的旋转猛地停止。
灰白色的空间像被按了暂停键，所有符号都凝固在半空中。阴影谢铭的脸色变了，他盯着谢铭握紧的左手，嘴唇动了动，却没说出话来。
“你设定的规则是：‘如果你不能证明它为假，它就成真’。”谢铭的声音很平静，“但你没说‘必须用你的规则来证明’。哥德尔不完备定理的本质是——系统内的命题，可以用系统外的视角来判定。”
他松开左手。
“所以我的左手握着东西吗？不重要。因为你的命题，从一开始就是‘无法被系统判定的无效命题’。”
阴影谢铭沉默了三秒。
然后他笑了。
“有意思。”他拍了拍手，“不愧是那个用数学预测母亲死亡的人。”
谢铭的身体僵住了。
“你知道我为什么选这个命题吗？”阴影谢铭往前走，每一步都在灰白色的地面上留下脚印，“因为你的左手，确实握过东西。”
他抬起手，在空气中划出一道弧线。
空间开始扭曲。
灰白色的光像被撕裂，露出后面的黑色。黑色的裂缝里，有什么东西在蠕动——那是记忆的形状。
（本章未完，请点击下一页继续阅读）