不能🞠在系统之内证明系统的完备性,但是可🁇🃭🚽以从系统之外证明。🎤📃😊
我们🞠不能🈂根据系统本身证明这个系统。但是可以通过另一个系🍢统来证明它。
王崎在五六年前就做过相关的理论研究。
正是,布尔巴基学派的思想!
从外部证明!
布尔巴基学派,本就是地球的数学界在被哥德尔不完备🖇🐣定理狠狠洗过之后,重新衍生出来的东西。若是按照神州的分类法,同样属于离宗一系。而按照布尔巴基学派理论推演出的修法。也正好能够支撑🔝因为不完备律而崩散的法力系统。
贾维斯给出的支援,正在重新导正王崎🈰体🂷内崩散的法力。🝌
与此同时,王崎的论文也接近了尾声。
“🐘⛯结论……由此,我可以证明,对于任意的算学系统,如果其中包含了算术系统的话,那么这个系统不可能同时满足完备性和一致性。对于任意的算术系统,如果其中包含了算术系统的话,那么我们不能在这个系统的内部来证明它的一致性……”
完备性和一致性不可得兼,这个系统要么自相矛盾。要么存在着既不能证明也🎨📥不能证伪的命题!
轰隆!
王崎脑海中如有一道雷光炸响。他感觉到神清♴气爽,从来就没有这么清醒过。
而另一方面,他的法力系统崩散又重聚,🂷几乎等于是经历了一次涅槃。他的修为依旧是结丹初期,🙏但是修法本质却隐👗🉃有升华。
啪啪啪啪啪……
空气当中传来了一连串脆响,如同裂帛。那是王崎无意识中逸散的🙰🎃🎚法力对周围的搅扰。🟡🞭
他站了起来,然后又坐下,想了想。重🈰新拿起一张纸,写了一🍢个附录,再次声🎨📥明哥德尔不完备定律的本质。并附上他这几年断断续续做的,有关于“超限归纳法算术公理化”的论文。
就连他本人,在写这篇论文的时候,🇶🝄🈣遭遇了修法的大崩溃🝌。☜若是其他人,又会怎么样?
所以,必须得附加一点“保险措施”才行。
哥德尔不完备定率虽然在数学史当中占据了及♴其重要的地位,但🎤📃😊是证明过程相对来说比较简单,论文整体很短。以王崎的思维哦速度和手速,整篇论文个把小时就写完了。
我们🞠不能🈂根据系统本身证明这个系统。但是可以通过另一个系🍢统来证明它。
王崎在五六年前就做过相关的理论研究。
正是,布尔巴基学派的思想!
从外部证明!
布尔巴基学派,本就是地球的数学界在被哥德尔不完备🖇🐣定理狠狠洗过之后,重新衍生出来的东西。若是按照神州的分类法,同样属于离宗一系。而按照布尔巴基学派理论推演出的修法。也正好能够支撑🔝因为不完备律而崩散的法力系统。
贾维斯给出的支援,正在重新导正王崎🈰体🂷内崩散的法力。🝌
与此同时,王崎的论文也接近了尾声。
“🐘⛯结论……由此,我可以证明,对于任意的算学系统,如果其中包含了算术系统的话,那么这个系统不可能同时满足完备性和一致性。对于任意的算术系统,如果其中包含了算术系统的话,那么我们不能在这个系统的内部来证明它的一致性……”
完备性和一致性不可得兼,这个系统要么自相矛盾。要么存在着既不能证明也🎨📥不能证伪的命题!
轰隆!
王崎脑海中如有一道雷光炸响。他感觉到神清♴气爽,从来就没有这么清醒过。
而另一方面,他的法力系统崩散又重聚,🂷几乎等于是经历了一次涅槃。他的修为依旧是结丹初期,🙏但是修法本质却隐👗🉃有升华。
啪啪啪啪啪……
空气当中传来了一连串脆响,如同裂帛。那是王崎无意识中逸散的🙰🎃🎚法力对周围的搅扰。🟡🞭
他站了起来,然后又坐下,想了想。重🈰新拿起一张纸,写了一🍢个附录,再次声🎨📥明哥德尔不完备定律的本质。并附上他这几年断断续续做的,有关于“超限归纳法算术公理化”的论文。
就连他本人,在写这篇论文的时候,🇶🝄🈣遭遇了修法的大崩溃🝌。☜若是其他人,又会怎么样?
所以,必须得附加一点“保险措施”才行。
哥德尔不完备定率虽然在数学史当中占据了及♴其重要的地位,但🎤📃😊是证明过程相对来说比较简单,论文整体很短。以王崎的思维哦速度和手速,整篇论文个把小时就写完了。