1 12在目前的数学系统中是不能证的,它是一个经验总结的公理,其他一切定理由它推导而得。
前世1931年哥德尔证明:一个包含公理化的算术的系统中无法证明自己的无矛盾性,也就是说任何相容的形式体系无法证明自身相容性。
换句更简单的话来说:代数体系无法证明1 12,即自己不能证明自己。
因为,这里面不仅仅包括数学思想,更包括了逻辑学以及哲学。
不论前世还是今生,它都是数学界的终极问题,至今无人可证。
哪怕是“皮亚诺公理”也不行!
如果以后的超级科技是关于数学类的话,或许还有点希望,但现在的他毫无办法。
所以,艾克悲剧了。
你大爷的,有必要这样吗?宝宝还是小学生,你们居然给我出这么难的题。
你怎么不问我1 1等于几啊,这样我就会了。
艾克一边吐槽,一边望望四方。四方的观众们纷纷以期待的目光看着他。
艾克转头,又望望旁边。旁边爱丽丝姐姐正一脸微笑着答题,神情似乎非常轻松。
什么情况?!
难道我的爱丽丝姐姐也是隐藏在人间的一尊超级大神?连证明“1 12”这种终极问题,都难不倒她?
艾克诧异了。
他的小身体开始摇摆起来,微微地靠向他的爱丽丝姐姐,然后摇摆的弧度越来越大,越来越大
四方的学子们纷纷瞪大了眼睛。
他居然想作弊?在数百观众面前作弊?
几名学姐用手紧紧捂着自己的嘴巴,她们快忍不住了。
真的,她们要笑了。
就在这时。
“咳咳!”
一位考官微微咳嗽了一声,随后严肃道:“不许左顾右盼!”
听到这话,艾克像只乌龟一样缩了缩头,赶紧端正坐好
这一下,学姐们再也忍不住了。但听“扑哧”数声,寂静的考场响起了笑声。随后,又一下捂住,死死地压抑着
艾克嘟了嘟嘴,低头再次看试卷。
试卷干净整洁,上面的字都没有半点模糊。这些字艾克每一个都认识,然而郁闷的是,这些字连起来他就搞不懂了。
悲剧啊,怎么办?怎么办?
突然!
艾克灵光一闪,有办法了!