手机浏览器扫描二维码访问
艾若澈自己就是纯粹算学的大家,所以她很清楚完成那个复仇一般的思路需要怎样的条件。
不知道王崎自己有没有这个意识……实际上,王崎自己过去的工作,就包含了那个“相对一致性”证明的一部分。他已经证明了“直觉与归纳一致有直觉一致”的命题。
剩下的一部分,他们甚至可以逆着王崎曾经的思路提出。
只不过,这一步多少需要对“直觉主义”本身有一定的理解。
由于云中君柯兰荫的关系,形式主义算学代表的歌庭派,与直觉主义代表的少黎派,关系一直很紧张,歌庭派内部几乎不存在连宗算家,更别说直觉主义的连宗。
但何外尔偏偏是个例外。
他真的相信直觉主义算学,哪怕他比谁都敬爱自己的老师,也是如此。他从来没有悔改过这一点,也不介意直觉主义的发端,是歌庭派的仇敌,算君庞家莱。
对于何外尔来说,这就是“真理”。
而歌庭派成员,却可以在日常讨论之中,透过何外尔,了解到他们需要了解的。
这比看书还要便利一些。
而若是这一步完成,那么万法门说不得又要遭殃。
歌庭派的怀疑者与反对者,在这一证之后,就必须面对一个问题——若是他们打算怀疑集合论的可靠性,那就必须怀疑四则运算的可靠性。
对于少黎派的直觉主义者来说,则更恐怖。这意味着集合论的先天不足,同样可以在直觉主义算术上得到体现。
没错,不只是歌庭派,不只是连宗,连离宗也无法摆脱不周之算。
如果还有算家坚称直觉主义的算学是可靠的,那么根据相对一致性,他们也必须得承认,集合论在已知范围内是可靠的。
这对于离宗算家来说,就好像捏着鼻子吞大粪一样难受。
“我不是要求生,而是要拉着你一起死”。
艾若澈偶尔甚至怀疑,何外尔之所以接下歌庭斋的钥匙,是不是自己老师在为这一天做准备。
当然,这个怀疑着实毫无根据。大师兄与老师感情深厚,而交托歌庭斋的决定,也是在不周之算问世之前就做好的。算主早就决定,在完成元算之算后就退位。
可这种巧合……确实让人心情压抑。
最终,艾若澈却是决定,最好还是一点点的透露其中的内幕。
何外尔去却兴冲冲的翻开《原算》,说道:“想不明白,就暂时放到一边——师妹,我们来讨论一下基派的算学。”
基派……
提到这个名字,艾若澈就忍不住响起“王崎”。
这也是她踟蹰的另一原因。
——若是这个相对一致性搞成了……算君还坐得住吗?
算君向来注重实际的问题,对纯粹算理,不说不关心,但鲜有论战。按照算君以往的做派,他未必会在意一个相对一致性吧……
但是,龙皇批言正闹得沸沸扬扬。
万一这相对一致性,成为了算君静极思动的理由呢?
若是算君看集合论像狗屎,那么这次,歌庭斋就是在往算君脸上糊屎了。
……………………………………………………………………………………
歌庭派预备给算君脸上糊狗屎的事情,当然是在暗中筹备的。
他们追求对连宗修士达成最大杀伤,所以,在有眉目之前,轻易不会放出消息。
月薪十万,女总裁她果然不只是让我当司机 网游航海之王 先婚后爱:娇妻拒婚101次 运河之韵 谭笑风声里,灼灼桃之夭 敛财心 灵异直播,女主她不想吓人 道化九界 盛世花都 穿进语文书,从刺猹开始 舌尖天下 巨树领主 巫妖生存指南 万苍天穹 大明:开局剧透崇祯,重振河山 建立帝国从骑士次子开始 什么?奥特曼是终身制的? 我的修真小米三 西游:六岁熊孩子,开局怒怼观世音 我,地球唯一超能力者
本书简介 相依为命的师父去世后,洛予独自在偏远星球生活。落后小镇的日子平淡而宁静,直到有一天在路上被从天而降的毛茸茸碰瓷。雪豹崽崽又乖又萌,撒娇打滚爬树样样精通。唯一不好的一点是,小镇的医疗技术落后,检测不出这是只单纯的雪豹幼崽,还是个变身困难的笨蛋幼年兽人。没办法,洛予只能带着崽崽去主星进一步检查。进港,登舰,抵达。刚走出运输舰不到十米,就连人带崽被治安官拦下。先生,您涉嫌拐卖兽人幼崽,麻烦跟我们走一趟。洛予现在说是自己捡到的还来得及吗?被雪豹崽崽碰瓷了全文免费阅读,如果您喜欢被雪豹崽崽碰瓷了薄香奶茶最新章节,请分享给您的好友一起来免费阅读。魔蝎小说...
关于僵约开局获得僵尸血统与道体战火纷飞的年代,僵尸为祸,做任务,杀邪祟,赚功德,兑换僵尸血统,功德道体。从红溪村出发,到达桃源镇,结识南毛传人,恶战九菊一派弟子,斩杀八里坡邪祟,大战式神,这仅仅只是开始...
关于他们越反对,我和女神师傅越爱恋姜宁重生了,回到了将师徒恋视为的平行世界。上一世,他对家人百般讨好,得到的却是冷落和欺凌,对满眼都是自己的绝美女神师傅,却被世俗礼法裹挟,不敢有任何非分之想。这一世,他不再犯贱,只为女神师傅而活。听完一首,女神师傅也放飞自我,誓要与他携手,冲破枷锁,扫平一切阻碍。姜宁以为自己已经够恋爱脑,没想到师傅比他还恋爱脑。姜宁以为自己已经够叛逆,没想到女神师傅比他更叛逆!宗师们武圣们领主们,别犟了,赶紧同意我跟师傅交往吧。再不同意,她要把你们杀绝了。啥?师傅说她杀累了,好吧,我那我来接着杀。这是两个无敌恋爱脑与全世界作对的故事…...
(女主痛失后醒觉,释怀所有,心死情灭,戒情绪断情根,心住于空门。)叶弥若曾是玄天宗最受人艳羡的大小姐。她不仅拥有玄天宗内所有人的宠爱,还是自己的师父父母兄长们捧在手心的明珠。可自从她那三哥从凡俗界带回来一个跟她同岁的小孤女后她的世界,变了。她的母亲陷入昏迷,父亲师父不信她,哥哥逐渐厌弃她,师姐们小伙伴...
扬州巡盐御史林如海近日喜得一子,取名球球,听起来很随意,其实是身为探花郎的父亲特意为他取的美名。球琳琅珰,出自书禹贡,是美玉的意思。当然实际都是借口,不过就是因为球球长得圆滚滚的,父亲故意打趣他像颗球罢了。林如海升官回京,一家子随行做父亲的还战战兢兢地努力适应着新环境,做儿子的球球,已经在一众大佬中混得如鱼得水。陛下的亲皇叔,现皇室辈分最高者安乐老亲王,是他的钓友。传闻清高孤傲,轻易不见外人的帝师周老太傅,是他的棋友。军功卓绝,但脾气很暴躁的武官第一人定国老将军,是他的饭搭子。不知怎的就连宫里的陛下对他都十分喜爱,时常唤球球入宫,并钦点他做小皇孙的伴读。不好了不好了!为了抢着当林小公子的师傅,大人们在御前吵起来了!都快要动手了!林家人扶额,明明林如海自己是重生的,妻子是穿越的,女儿黛玉绑定了系统,怎么偏偏回回都是球球这个小傻子闹出来的动静最大呢?得知贾府有人对着姐姐阴阳怪气,球球自幼牙尖嘴利,撒泼打滚信手拈来,扮无辜装可怜那就更是一绝,替姐姐还回去那是分分钟的事。后来又有人觊觎姐姐美貌想做他姐夫,球球竖起三根手指请诸位自省,一心一意否?才德兼备否?家财万贯否?不合格的,门在后头,慢走不送!阅前提醒(高亮)1拆宝黛,黛玉cp未定,也可能独美2偏家长里短,有部分宅斗(仅限贾家)3全员宠崽崽4官制设定参考明朝,背景设定不完全根据原著,会根据剧情改动5合理的建议作者会采纳,拒绝辱骂文中角色以及辱骂作者,快乐追文,不快乐就千万!!!别勉强!魔蝎小说...
关于小妾金蝉脱壳,重逢王爷哭断肠沈若兰做梦都没有想到,自己那不会举的丈夫,竟然跟小三有个六岁的儿子,承受不住打击的她,挺着大肚子从楼梯上滚下来,导致她一尸两命。再次醒来,沈若兰竟然穿越到了古代,成为当朝赫赫有名战神将军的侍妾,正被未过门的正妻围殴,初到异世惶恐不安沈若兰四处求救,可因为身份低微,无人搭理,导致她腹中胎儿离她而去,这让一连遭受两次流产的沈若兰,身心倍受打击。好在,她很快逃离了那个让她厌恶的牢笼,只是外面的世界没有想象中那般美好,逃亡中十天有八天都遭山匪惦记,沈若兰一怒之下,带着一群流民上山,自己做起了山大王,从此,日子过得风生水起,一天,儿子突然跑来向她喊道娘亲,那男人又来求你回府了。沈若兰不见,不见,永远不见。某个不请自来的妖孽男人,他一进门就搂着沈若兰,满脸宠溺道娘子,你在外玩了几年,够啦,为夫来接你回家了。...