海棠书屋 > 修真小说 > 走进修仙 > 章节目录 第一百六十一章 呵斥,未来
怀疑、不能颠覆的东西。

    王崎感觉到了自己的状况。他的命火只剩一线,生命垂危。但是,他手中的笔还没有停下来。

    因为他已经做好的准备、留下后手了。

    王崎手上的戒指“数学”,肩膀上的肩甲“离散”依次亮起,然后,贾维斯将一篇新的法诀输入到王崎体内。

    ——“因为不完备。我们永远无法证明一个公理系统无矛盾”,这同样是对哥德尔不完备定理的误读。

    哥德尔不完备定理否决的,是“在一个系统的内部来证明该系统的一致性”的可能性。这个证明过程说起来复杂,但是其核心思想是运用了所谓的“自指”。

    ——这个陈述陈述了自己。

    ——这个集合包含了自己。

    这也是逻辑学当中许多悖论的来源。地球的“理发师悖论”、神州的“炼丹师悖论”。归根结底都是“一个集合究竟应不应该包括自身”的疑问所引发的。

    而这一条不完备定律,是可以绕过的。

    不能在系统之内证明系统的完备性,但是可以从系统之外证明。

    我们不能根据系统本身证明这个系统,但是可以通过另一个系统来证明它。

    王崎在


本章未完,请点击下一页继续阅读 >>