手机浏览器扫描二维码访问
艾若澈自己就是纯粹算学的大家,所以她很清楚完成那个复仇一般的思路需要怎样的条件。
不知道王崎自己有没有这个意识……实际上,王崎自己过去的工作,就包含了那个“相对一致性”证明的一部分。他已经证明了“直觉与归纳一致有直觉一致”的命题。
剩下的一部分,他们甚至可以逆着王崎曾经的思路提出。
只不过,这一步多少需要对“直觉主义”本身有一定的理解。
由于云中君柯兰荫的关系,形式主义算学代表的歌庭派,与直觉主义代表的少黎派,关系一直很紧张,歌庭派内部几乎不存在连宗算家,更别说直觉主义的连宗。
但何外尔偏偏是个例外。
他真的相信直觉主义算学,哪怕他比谁都敬爱自己的老师,也是如此。他从来没有悔改过这一点,也不介意直觉主义的发端,是歌庭派的仇敌,算君庞家莱。
对于何外尔来说,这就是“真理”。
而歌庭派成员,却可以在日常讨论之中,透过何外尔,了解到他们需要了解的。
这比看书还要便利一些。
而若是这一步完成,那么万法门说不得又要遭殃。
歌庭派的怀疑者与反对者,在这一证之后,就必须面对一个问题——若是他们打算怀疑集合论的可靠性,那就必须怀疑四则运算的可靠性。
对于少黎派的直觉主义者来说,则更恐怖。这意味着集合论的先天不足,同样可以在直觉主义算术上得到体现。
没错,不只是歌庭派,不只是连宗,连离宗也无法摆脱不周之算。
如果还有算家坚称直觉主义的算学是可靠的,那么根据相对一致性,他们也必须得承认,集合论在已知范围内是可靠的。
这对于离宗算家来说,就好像捏着鼻子吞大粪一样难受。
“我不是要求生,而是要拉着你一起死”。
艾若澈偶尔甚至怀疑,何外尔之所以接下歌庭斋的钥匙,是不是自己老师在为这一天做准备。
当然,这个怀疑着实毫无根据。大师兄与老师感情深厚,而交托歌庭斋的决定,也是在不周之算问世之前就做好的。算主早就决定,在完成元算之算后就退位。
可这种巧合……确实让人心情压抑。
最终,艾若澈却是决定,最好还是一点点的透露其中的内幕。
何外尔去却兴冲冲的翻开《原算》,说道:“想不明白,就暂时放到一边——师妹,我们来讨论一下基派的算学。”
基派……
提到这个名字,艾若澈就忍不住响起“王崎”。
这也是她踟蹰的另一原因。
——若是这个相对一致性搞成了……算君还坐得住吗?
算君向来注重实际的问题,对纯粹算理,不说不关心,但鲜有论战。按照算君以往的做派,他未必会在意一个相对一致性吧……
但是,龙皇批言正闹得沸沸扬扬。
万一这相对一致性,成为了算君静极思动的理由呢?
若是算君看集合论像狗屎,那么这次,歌庭斋就是在往算君脸上糊屎了。
……………………………………………………………………………………
歌庭派预备给算君脸上糊狗屎的事情,当然是在暗中筹备的。
他们追求对连宗修士达成最大杀伤,所以,在有眉目之前,轻易不会放出消息。
未来之树 我在游戏世界搞基建 我是来种地的 清穿后我绑定了强国系统 流浪仙人 穿越之我不想做驸马 赘婿当道全文免费 阅读小说最新 跃马西凉 顾辰神武霸帝 我真的只想做角色球员 虐仙记 冷血老公太温柔 重生乐神 枫灵大陆 为师实在是太弱了 毕业就结婚吧 换嫁后发现质子夫君他爱我 黑夜之眼 神雕战神 反派:黑化女主们,跪求我当坏人
一场人质救援行动中,因为救援失败而一蹶不振的龙牙队员张正选择退役归隐,此后国家神秘的龙牙小组真正意义上失去了最尖锐的兵器。几年后的张正再次出现势必要将这世界搅动得天翻地覆。...
中原武林大地北有天芳谱七朵名花,南有美人图十二美人!武林之中,侠女成风,我一出世,无一落空。皇帝本多情,情深意更浓,武林有南北,皇帝就是我。...
新书我家夫人又败家了已发求收藏,古代美食文,么么哒前世,盛夏怨恨家人的无情抛弃,为贺家人那群白眼狼付出所有,最后却落了个草席一裹,抛尸荒山的下场!重生回到悲剧尚未开始,盛夏发誓今生不会再将真心错付!哪怕吃树皮啃草根,她也要留在家人身边,同甘共苦!改写命运!一家人同心协力,走上致富的康庄大道!携手冷面男神...
从我身上下去。男人的声音透着几分无奈和隐忍。我不。少女摇头,双手死死抱住身下的男人。听话,你这样我没法睡。以前我都是趴你身上睡的。那不一样你现在是人。京城杀伐果断,残暴冷血的神秘大当家意外被只小奶猫所救,从此化身猫奴,跌了一众下属的下巴。然而当有一天睡醒发现怀里的小奶猫变成了俏生生的软萌小丫...
龙血部队兵王狂龙因违反规定,被迫回到中海。本想低调做人,却偶遇美女总裁让自己睡了她,哪知道被卷入一场莫名的争斗,成为了她的贴身保镖。叶轻狂从此龙入花海,身边美女如云,但也麻烦不断读者群527212401...
神界第一高手,有‘贱神’之称的云飞扬被镇压万载,破土重生,痛定思痛,梦想收尽天下各色美女!泡妞,我是认真的。云飞扬道。姑娘,你愿意嫁给我?清纯可爱邻家女刁蛮任性大小姐成熟妩媚女导师冷若冰山大师姐腹黑毒辣女魔头,这些,统统是我云飞扬的女人!妖孽群529642893...