手机浏览器扫描二维码访问
艾若澈自己就是纯粹算学的大家,所以她很清楚完成那个复仇一般的思路需要怎样的条件。
不知道王崎自己有没有这个意识……实际上,王崎自己过去的工作,就包含了那个“相对一致性”证明的一部分。他已经证明了“直觉与归纳一致有直觉一致”的命题。
剩下的一部分,他们甚至可以逆着王崎曾经的思路提出。
只不过,这一步多少需要对“直觉主义”本身有一定的理解。
由于云中君柯兰荫的关系,形式主义算学代表的歌庭派,与直觉主义代表的少黎派,关系一直很紧张,歌庭派内部几乎不存在连宗算家,更别说直觉主义的连宗。
但何外尔偏偏是个例外。
他真的相信直觉主义算学,哪怕他比谁都敬爱自己的老师,也是如此。他从来没有悔改过这一点,也不介意直觉主义的发端,是歌庭派的仇敌,算君庞家莱。
对于何外尔来说,这就是“真理”。
而歌庭派成员,却可以在日常讨论之中,透过何外尔,了解到他们需要了解的。
这比看书还要便利一些。
而若是这一步完成,那么万法门说不得又要遭殃。
歌庭派的怀疑者与反对者,在这一证之后,就必须面对一个问题——若是他们打算怀疑集合论的可靠性,那就必须怀疑四则运算的可靠性。
对于少黎派的直觉主义者来说,则更恐怖。这意味着集合论的先天不足,同样可以在直觉主义算术上得到体现。
没错,不只是歌庭派,不只是连宗,连离宗也无法摆脱不周之算。
如果还有算家坚称直觉主义的算学是可靠的,那么根据相对一致性,他们也必须得承认,集合论在已知范围内是可靠的。
这对于离宗算家来说,就好像捏着鼻子吞大粪一样难受。
“我不是要求生,而是要拉着你一起死”。
艾若澈偶尔甚至怀疑,何外尔之所以接下歌庭斋的钥匙,是不是自己老师在为这一天做准备。
当然,这个怀疑着实毫无根据。大师兄与老师感情深厚,而交托歌庭斋的决定,也是在不周之算问世之前就做好的。算主早就决定,在完成元算之算后就退位。
可这种巧合……确实让人心情压抑。
最终,艾若澈却是决定,最好还是一点点的透露其中的内幕。
何外尔去却兴冲冲的翻开《原算》,说道:“想不明白,就暂时放到一边——师妹,我们来讨论一下基派的算学。”
基派……
提到这个名字,艾若澈就忍不住响起“王崎”。
这也是她踟蹰的另一原因。
——若是这个相对一致性搞成了……算君还坐得住吗?
算君向来注重实际的问题,对纯粹算理,不说不关心,但鲜有论战。按照算君以往的做派,他未必会在意一个相对一致性吧……
但是,龙皇批言正闹得沸沸扬扬。
万一这相对一致性,成为了算君静极思动的理由呢?
若是算君看集合论像狗屎,那么这次,歌庭斋就是在往算君脸上糊屎了。
……………………………………………………………………………………
歌庭派预备给算君脸上糊狗屎的事情,当然是在暗中筹备的。
他们追求对连宗修士达成最大杀伤,所以,在有眉目之前,轻易不会放出消息。
巨树领主 网游航海之王 灵异直播,女主她不想吓人 先婚后爱:娇妻拒婚101次 万苍天穹 我的修真小米三 西游:六岁熊孩子,开局怒怼观世音 建立帝国从骑士次子开始 月薪十万,女总裁她果然不只是让我当司机 谭笑风声里,灼灼桃之夭 什么?奥特曼是终身制的? 敛财心 道化九界 我,地球唯一超能力者 盛世花都 运河之韵 穿进语文书,从刺猹开始 巫妖生存指南 舌尖天下 大明:开局剧透崇祯,重振河山
一条鱼?一只狐狸?一个阿飘?外加一位魔族!徒儿啊!你是一个人都不给为师收啊?!!扶山子额头青筋突跳,扭头看向自己的开山大弟子,只见他的大弟子躺在躺椅上,蒲扇轻轻摇动,好不快哉,悠然道师父,这话徒儿不爱听,不爱听啊!怎么没给你收人,那不就是随即手中蒲扇往远方一指,扶山子顺势看去,只觉吾命休矣,那可是人族修士...
「年代双洁穿越虐渣打脸异能空间忠犬甜宠搞钱」在末世不幸丧生的徐娇娇一睁眼竟发现自己穿回了华夏国五百年前的七十年代,还是开局就遇上渣男一家前来退婚的狗血画面。经历过末世逃亡的徐娇娇冷冷一笑,很好,她最喜欢以拳服人了。刚考上县里的临时工就看不起我了是吧,没关系,想退婚可以,先挨本小姐一顿揍再说。你以为这就...
周波,你个死肥猪,还在睡,赶紧给老娘滚下来!一个身穿大红嫁衣的绝美女子站在床前大声呵斥。迷迷糊糊的周波看到这个女子心中一跳开玩笑,老夫今天结婚?这么漂亮的女人是我未婚妻?我咋一点印象都没有?...
关于嫡女惨死后,重回赐婚前,不嫁了疯批嫡女重生后,虐渣男斗庶妹嫁死对头,狗咬她她都要咬回去!上一世,相府嫡女颜云姝身负恶名,倾尽外祖家财力和权势,助大皇子许景烨得太子位得皇位。可登基当日,他却抄了她外祖满门,将她打入死牢,迎娶了她的庶妹颜书瑶。数月后,他亲自带着她的庶妹颜书瑶来到死牢,一壶毒酒将她活活灌死。死后她才发现,这个世界是一本书。她是书中恶毒女配,庶妹颜书瑶是穿书女主,手握预知未来的金手指肆意夺取她的气运,踩她上位。一朝重生,竟回到了圣上赐婚前,坚决不嫁了。但上一世那个处处和她作对的死对头,原本的皇位继承者,却成了她的这一世的准夫君。人人都道二皇子许景槐冷酷残暴不近女色,只有他自己知道,他心里只有她。...
关于校园青春之混的那些年我叫陈庆,因为校园霸凌,走上了这条不归路,而踏进这泥潭后,却越陷越深,直到淹没,永远的消失给大家讲讲我曾混过的那些年吧,或许当时很快乐,或许当时没有那么多的烦恼,或许也因为那几年改变了一生,又或许正是那些年毁了我的一生!(特此声明本故事纯属虚构无不良引导切勿代入现实请勿模仿)注作者写本书目的只是告诫大家,不要踏足这泥泞之地,出来混,没有什么好下场,也不会有那么多的叱咤风云,常在河边走哪有不湿鞋,当你遇到背叛出卖欺骗家人分离时,那种痛苦无法想象,你以为你得到尊严了,但你却早已失去了尊严。相信各位读者都会感同身受,远离这片是非之地。珍惜眼前,活在当下,简单平淡也是幸福,感谢大家。...
关于称霸诸天从娶女弟子开始大弟子天狐女帝师傅,人家怕冷,求暖被窝二弟子九幽魔帝师傅,你若不嫁给我,我就砍你了哦三弟子绝情女帝师傅,缺对象吗?咱俩处处。萧三斤乖徒儿们别闹,我忙着独断万古呢...