对于地球的⚧📲数学家来说,被某一个定理弄得精神崩溃,最多是发疯。在精神病院呆过的数学家,数量🄴🁵仅比在精神病院呆过的家少。
而对⛧🜲🆆神州的修士来说,道心被🀢⚂🎤破,就有可能带来物理性的死亡。
因此,🜑🁚🆘哥德尔不完备定理,对于神州的修士是非常危险的。
即使对于王崎这种上辈子就知晓这一定理,然后这辈👍子又亲🆋🎁🎅自将之推导出的人,都遇到了危险。
但是,王崎知晓,这应该不会是生命危险。
对了以防万一,他预先就预估🀢⚂🎤出十种可能的状态,做出十二种预案。
其中,“状况乙”就是指他现在的状态。
崩溃确实发生了,很严重,一切手段都无法遏制。但是,🅡到了最后的关头,崩溃就会自动停止,为王崎留出一线生命。
“所有的公理系统都是不完备的”这一观🍎点,只是一般人对哥德尔不完备定律的误读。实际上,人类已知的完☞🀡备系统是存在的。就比如说欧式几何,它就可以被公理化为一个完备的系统🍡。另外,王崎在数年之前抛出的哥德尔完备定理【在神州,它叫做‘王氏完备律’】,也说明了一切一阶逻辑系统的完备性。
崩溃不是无止境的。至少王崎🀢⚂🎤的修法当🎛👳中,还存在“不完备”也不能🅼怀疑、不能颠覆的东西。
王崎感觉🏦到了自己的状况。他的命火只剩一线,生命垂危。但是,他手中的🍒笔还没有停下来。
因为他已经做好的准备、留下后手了。
王崎手上的戒指“数学”,肩膀上的肩甲🍎“离散”依次🃧🚌💀亮起,然后,贾维斯🍒将一篇新的法诀输入到王崎体内。
“因为不完备,我🍍们永远无法证明一个公理系统无矛盾”,这同样是对哥德尔不完备定理的误读。
哥德尔不完备定理否决的,是“在一个系统的内部来证明该系统的一致性”的可能性,这个证明过程说起来复杂。但是其核心♎😛思想是运用了所谓的“自指”。
这个陈述陈述了自己。
这个集合包含了自己。
这也是逻辑学当中许多悖论🄯的来源。地球的“理发师悖论”、神州的“炼丹师悖论”,归根结底都是“一个集合究竟应不应该包括自身”的疑问所引发的。
而这一条不完备定律,是可以绕过的。
不能在系统之内证明系统的完备🁴性,但是可以从系统之🃧🚌💀外🅡证明。
我们不能根据系统🍍本身证明这个系统。但是可以通过另一个系统来证明它。🍒
王崎在五六年前就做过相关的理论研究。
正是,布尔巴基学派的思想!
而对⛧🜲🆆神州的修士来说,道心被🀢⚂🎤破,就有可能带来物理性的死亡。
因此,🜑🁚🆘哥德尔不完备定理,对于神州的修士是非常危险的。
即使对于王崎这种上辈子就知晓这一定理,然后这辈👍子又亲🆋🎁🎅自将之推导出的人,都遇到了危险。
但是,王崎知晓,这应该不会是生命危险。
对了以防万一,他预先就预估🀢⚂🎤出十种可能的状态,做出十二种预案。
其中,“状况乙”就是指他现在的状态。
崩溃确实发生了,很严重,一切手段都无法遏制。但是,🅡到了最后的关头,崩溃就会自动停止,为王崎留出一线生命。
“所有的公理系统都是不完备的”这一观🍎点,只是一般人对哥德尔不完备定律的误读。实际上,人类已知的完☞🀡备系统是存在的。就比如说欧式几何,它就可以被公理化为一个完备的系统🍡。另外,王崎在数年之前抛出的哥德尔完备定理【在神州,它叫做‘王氏完备律’】,也说明了一切一阶逻辑系统的完备性。
崩溃不是无止境的。至少王崎🀢⚂🎤的修法当🎛👳中,还存在“不完备”也不能🅼怀疑、不能颠覆的东西。
王崎感觉🏦到了自己的状况。他的命火只剩一线,生命垂危。但是,他手中的🍒笔还没有停下来。
因为他已经做好的准备、留下后手了。
王崎手上的戒指“数学”,肩膀上的肩甲🍎“离散”依次🃧🚌💀亮起,然后,贾维斯🍒将一篇新的法诀输入到王崎体内。
“因为不完备,我🍍们永远无法证明一个公理系统无矛盾”,这同样是对哥德尔不完备定理的误读。
哥德尔不完备定理否决的,是“在一个系统的内部来证明该系统的一致性”的可能性,这个证明过程说起来复杂。但是其核心♎😛思想是运用了所谓的“自指”。
这个陈述陈述了自己。
这个集合包含了自己。
这也是逻辑学当中许多悖论🄯的来源。地球的“理发师悖论”、神州的“炼丹师悖论”,归根结底都是“一个集合究竟应不应该包括自身”的疑问所引发的。
而这一条不完备定律,是可以绕过的。
不能在系统之内证明系统的完备🁴性,但是可以从系统之🃧🚌💀外🅡证明。
我们不能根据系统🍍本身证明这个系统。但是可以通过另一个系统来证明它。🍒
王崎在五六年前就做过相关的理论研究。
正是,布尔巴基学派的思想!