从外部证明!
布尔巴基学派,本就是地🕫球的数学界在被哥德尔不完备定理狠狠洗过之后,重新衍生出来的东西。若是按照神州的分类法,同样属于离宗一系。而按照布尔巴基学派理论👤推演出的修法。也正好能够支撑因为不完备律而崩散的法力系统。
贾维斯给出的支援,正在重新导正王崎体🕫内崩散的法力。
与此同时,王崎的论文也接近了尾声。
“结论……由此,我可以证明,对于任意的算学系统,如果其中包含了算🜰术系统的话,那么这个系统不可能同时满足完备性和一致性。对于任意的算🌲术系统,如果其中包含了算术系统的话,那么我们不能在这个系统的内部来证明它的一致性……”
完备性和一致性不可🝥🍍得兼,这个系统要么🕫自😛🂆🌟相矛盾。要么存在着既不能证明也不能证伪的命题!
轰隆!
王崎脑海中😇⚽🖶如有一道雷光炸响。他感觉到神清气爽,从来就没有🞬🗍🚕这么清醒过。
而另一方面,他的法力系统崩散又重聚,几乎等于是经历了一次涅槃。他的修为依🝎旧是结丹初期,但是修法🟗🝓本质却隐有升华。
啪啪啪啪啪……
空气当🗓🛈中传来🂠🐐了一连串脆响,如同裂帛。那是王崎无意识中逸散的法力对周围的搅扰。
他站了起来,然后又坐下,想了想。重新拿起一张纸,写了一个附录,再次声明哥德尔不🗖🛥完备定律的本质。并附上他这几年断断续续做的,有关于“超限归纳法算术公理化”的论文。
就连他本人😇⚽🖶,在写🅆🄏这篇论文的时候,遭遇了修法的大崩溃。若是其他人,又会怎么样?
所以,必须得附加一点“保险措施”才行。
哥德尔不完备定率虽然在数学史当中占据了及其重要的地🜻位,但是证明过程相对来说比较简单,论文整体很短。以王崎的思维哦速🗡🝊度和手速,🁚🆕🏜整篇论文个把小时就写完了。
他推门出来。陈🗓🛋🚶由嘉突然扑了过来,揪住他的衣领,呵斥道:“你究竟在搞什么鬼?”
“写论文……”
“你差点就死了……”陈由嘉原📴🟄本淡漠的表情这一刻变得很明显,愤怒和委屈同时出现在她的眼睛里。她用法力束缚住眼角溢出的泪水,咬牙切齿道:“你差📏一点就死了……你差一点就死了!你这是在写哪门子的论文?”
王崎这才想起,自己光是
“当年,开创缥缈之道的蒲前辈就因为发现了不连续而功力散尽🞬🗍🚕。”王崎拍拍陈由嘉的肩膀:“差不多的道理……”😹🆓
陈由嘉呼吸一窒,旋即就平稳下来:“是吗……”她🉃脑袋埋在王崎肩膀上:“这样啊……”📆😦
如果是其他人说🗓🛋🚶,🅆🄏自己将要颠覆现有的学术体系,那么陈由嘉多半会以为他疯了,或者本质上不学无术。但不知为什么,王崎这么说,她就信🁚🆕🏜了。
很奇怪,王崎过去虽然很辉煌,但是仅限于“天才”的范畴,说他现在就能做出逍遥级数的成🄞果,不太可信。但是,陈由嘉就是信了。
布尔巴基学派,本就是地🕫球的数学界在被哥德尔不完备定理狠狠洗过之后,重新衍生出来的东西。若是按照神州的分类法,同样属于离宗一系。而按照布尔巴基学派理论👤推演出的修法。也正好能够支撑因为不完备律而崩散的法力系统。
贾维斯给出的支援,正在重新导正王崎体🕫内崩散的法力。
与此同时,王崎的论文也接近了尾声。
“结论……由此,我可以证明,对于任意的算学系统,如果其中包含了算🜰术系统的话,那么这个系统不可能同时满足完备性和一致性。对于任意的算🌲术系统,如果其中包含了算术系统的话,那么我们不能在这个系统的内部来证明它的一致性……”
完备性和一致性不可🝥🍍得兼,这个系统要么🕫自😛🂆🌟相矛盾。要么存在着既不能证明也不能证伪的命题!
轰隆!
王崎脑海中😇⚽🖶如有一道雷光炸响。他感觉到神清气爽,从来就没有🞬🗍🚕这么清醒过。
而另一方面,他的法力系统崩散又重聚,几乎等于是经历了一次涅槃。他的修为依🝎旧是结丹初期,但是修法🟗🝓本质却隐有升华。
啪啪啪啪啪……
空气当🗓🛈中传来🂠🐐了一连串脆响,如同裂帛。那是王崎无意识中逸散的法力对周围的搅扰。
他站了起来,然后又坐下,想了想。重新拿起一张纸,写了一个附录,再次声明哥德尔不🗖🛥完备定律的本质。并附上他这几年断断续续做的,有关于“超限归纳法算术公理化”的论文。
就连他本人😇⚽🖶,在写🅆🄏这篇论文的时候,遭遇了修法的大崩溃。若是其他人,又会怎么样?
所以,必须得附加一点“保险措施”才行。
哥德尔不完备定率虽然在数学史当中占据了及其重要的地🜻位,但是证明过程相对来说比较简单,论文整体很短。以王崎的思维哦速🗡🝊度和手速,🁚🆕🏜整篇论文个把小时就写完了。
他推门出来。陈🗓🛋🚶由嘉突然扑了过来,揪住他的衣领,呵斥道:“你究竟在搞什么鬼?”
“写论文……”
“你差点就死了……”陈由嘉原📴🟄本淡漠的表情这一刻变得很明显,愤怒和委屈同时出现在她的眼睛里。她用法力束缚住眼角溢出的泪水,咬牙切齿道:“你差📏一点就死了……你差一点就死了!你这是在写哪门子的论文?”
王崎这才想起,自己光是
“当年,开创缥缈之道的蒲前辈就因为发现了不连续而功力散尽🞬🗍🚕。”王崎拍拍陈由嘉的肩膀:“差不多的道理……”😹🆓
陈由嘉呼吸一窒,旋即就平稳下来:“是吗……”她🉃脑袋埋在王崎肩膀上:“这样啊……”📆😦
如果是其他人说🗓🛋🚶,🅆🄏自己将要颠覆现有的学术体系,那么陈由嘉多半会以为他疯了,或者本质上不学无术。但不知为什么,王崎这么说,她就信🁚🆕🏜了。
很奇怪,王崎过去虽然很辉煌,但是仅限于“天才”的范畴,说他现在就能做出逍遥级数的成🄞果,不太可信。但是,陈由嘉就是信了。