统都不算什么啊!”
对于逍遥修士来说,二十三问虽然不是什么大标杆。但是,更够解决一个,依旧是非常了不起的事
。
苏君宇摇摇
:“我现在也只是初步敲定了流程,具体的东西还是得慢慢做……”
“有流程就了不起了!你没看到歌庭派的那些家伙吗?近百年未有寸进啊!”白泽君毫不在意:“说起来,你的结论是什么?”
苏君宇举起自己的
稿纸:“就是这个。若集合论公理具有一致
,则连续统假说为真。实际上,在集合论的范畴你,你根本就没办法证伪集合论。”
“‘若是现存之集合论公理相容一致,则连续统为真。’……”
在白泽君读出这句话之后,周围的气氛微妙的冷了一下。
白泽君有些尴尬:“这个……孩子啊,你有没有想过集合论公理的一致
如何证明?若是这个系统乃是不可相容、不一致的呢?”
“啊?”苏君宇眨眨眼:“不一致……”
在不完备的打击之下,集合论现在就像个筛子一样,似乎不堪一击。
苏君宇眨眨眼睛:“对哦,似乎有
证明集合论不完备……没道理它一定是一致
的……”
项琪左看看右看看,然后迟疑的出声道:“那个……从刚才开始我就没听懂了……这个,苏君宇这家伙,现在是做了,无用功?”
“也不是无用功。几年前,我们就证明了许多系统的一致
,现在依旧可以。不全之律,只不过是说‘完备
和一致
不能同时存在’。”冯落衣从众
背后越了出来,站到众
面前,道:“这个方向,我觉得可以做一做。”(未完待续。)
ps: 月初求月票!月票!月票!手机用户请访问
地址发布邮箱:Ltxsba@gmail.com 发送任意邮件即可!