手机浏览器扫描二维码访问
第七十九章 蜃楼访谈（第1页）
艾若澈自己就是纯粹算学的大家，所以她很清楚完成那个复仇一般的思路需要怎样的条件。
不知道王崎自己有没有这个意识……实际上，王崎自己过去的工作，就包含了那个“相对一致性”证明的一部分。他已经证明了“直觉与归纳一致有直觉一致”的命题。
剩下的一部分，他们甚至可以逆着王崎曾经的思路提出。
只不过，这一步多少需要对“直觉主义”本身有一定的理解。
由于云中君柯兰荫的关系，形式主义算学代表的歌庭派，与直觉主义代表的少黎派，关系一直很紧张，歌庭派内部几乎不存在连宗算家，更别直觉主义的连宗。
但何外尔偏偏是个例外。
他真的相信直觉主义算学，哪怕他比谁都敬爱自己的老师，也是如此。他从来没有悔改过这一点，也不介意直觉主义的发端，是歌庭派的仇敌，算君庞家莱。
对于何外尔来，这就是“真理”。
而歌庭派成员，却可以在日常讨论之中，透过何外尔，了解到他们需要了解的。
这比看书还要便利一些。
而若是这一步完成，那么万法门不得又要遭殃。
歌庭派的怀疑者与反对者，在这一证之后，就必须面对一个问题——若是他们打算怀疑集合论的可靠性，那就必须怀疑四则运算的可靠性。
对于少黎派的直觉主义者来，则更恐怖。这意味着集合论的先不足，同样可以在直觉主义算术上得到体现。
没错，不只是歌庭派，不只是连宗，连离宗也无法摆脱不周之算。
如果还有算家坚称直觉主义的算学是可靠的，那么根据相对一致性，他们也必须得承认，集合论在已知范围内是可靠的。
这对于离宗算家来，就好像捏着鼻子吞大粪一样难受。
“我不是要求生，而是要拉着你一起死”。
艾若澈偶尔甚至怀疑，何外尔之所以接下歌庭斋的钥匙，是不是自己老师在为这一做准备。
当然，这个怀疑着实毫无根据。大师兄与老师感情深厚，而交托歌庭斋的决定，也是在不周之算问世之前就做好的。算主早就决定，在完成元算之算后就退位。
可这种巧合……确实让人心情压抑。
最终，艾若澈却是决定，最好还是一点点的透露其中的内幕。
何外尔去却兴冲冲的翻开《原算》，道：“想不明白，就暂时放到一边——师妹，我们来讨论一下基派的算学。”
基派……
提到这个名字，艾若澈就忍不住响起“王崎”。
这也是她踟蹰的另一原因。
——若是这个相对一致性搞成了……算君还坐得住吗？
算君向来注重实际的问题，对纯粹算理，不不关心，但鲜有论战。按照算君以往的做派，他未必会在意一个相对一致性吧……
但是，龙皇批言正闹得沸沸扬扬。
万一这相对一致性，成为了算君静极思动的理由呢？
若是算君看集合论像狗屎，那么这次，歌庭斋就是在往算君脸上糊屎了。
……………………………………………………………………………………
歌庭派预备给算君脸上糊狗屎的事情，当然是在暗中筹备的。
他们追求对连宗修士达成最大杀伤，所以，在有眉目之前，轻易不会放出消息。
但是，这几日里，苏君宇却觉得情况越来越不利了。
玄学大佬在现代 唐老太的种田生活 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 天才高手 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 一觉醒来怀了崽 七零空间小娇女 贵门妾 九子登云的作品武裂苍穹 周一见 武裂苍穹秦天青儿全集免费阅读 穿书之末世娇宠 人人都爱马文才 武裂苍穹秦天青儿百度云 穿成大佬假妹妹 就想和你在一起 封先生的宠爱 神道丹帝叶尘苏傲雪全本免费阅读 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外
人鬼殊途
人鬼殊途简介emspemsp我叫江道陵，原名江凯。六岁的时候，我被过路的阴兵打伤了腿，差点变成了瘸子，直到遇到一个游方的老和尚，老和尚治好了我的腿，并收我为徒，可是自此以后，我的眼睛居然可以看到鬼原┊创┇文┊章wоо⒙νiρ﹝Wσ...
浪迹在武侠世界的道士
浪迹在武侠世界的道士简介emspemsp关于浪迹在武侠世界的道士曾于紫禁赏月，也在洞庭醉酒。浪迹江湖谁不识，闲来飞剑取人头。v群134232868全订阅读者领取大神之光才可以入群，本人公众微信号中原五百或者feixianjidao，欢迎关注，会有惊...
科技巫师
科技巫师简介emspemsp关于科技巫师概率高分子基因重组电磁感应核物理相对论量子把世界塞入科学框架下，用科学的方法掌握核心科技，便能掌握先进生产力。李察一向这么认为，直到他穿越到类似中世纪的世界，成为一名王子，接着被一条龙叼走。这有点不太符合空气动力学啊？这不满足‘库塔条件’‘绕翼环量’和‘伯努利定理’的东西，是怎么飞起来的？靠内置发动机？李察忍不住的出声道，低头看向骑在身下的巨龙，嗯，我需要研究研究。...
极品捉鬼系统
极品捉鬼系统简介emspemsp关于极品捉鬼系统鬼王等等！我闻到了人类装逼的气息，撤。阎王爷十万阴兵听令，给我拿下那装逼犯。万众瞩目之下，楚浩扔出一柄剑这轩辕剑你拿好，以后别在我面前装逼。这天，这地，这沧海，这宇宙，谁都无法阻止我装逼。...
总裁爹地超给力
总裁爹地超给力简介emspemsp关于总裁爹地超给力为了夺走她父亲的股权，她被老公和闺蜜联手设局出轨。一纸离婚扔在脸上，她被迫净身出户。四年后，她携萌宝归来，宝贝儿子双手插腰，妈咪，听说现在流行认干爹，你等着，我去认一个给你撑腰！没几天，儿子领回了一个跟他长得一模一样的超级大帅哥。妈咪你放心，我查过了，爹地全球富豪榜上排名第一，专治各种不服！儿子自信的说。程漓月看着惊呆了的女人，宫夜霄冷冷地扔出一份亲子鉴定，女人，什么时候偷了我...
穿书后我被反派演了
方清阮穿书了，穿成了小说里的炮灰女配，开头就死的那种。她拿着一手烂牌打出王炸，力挽狂澜，挡下了原文男女主不知道多少明枪暗箭，却在自己救的弱智身上栽了。原文里，对女主来说，秦郁是她偶然救下的人，是她最强大的后盾。对方清阮来说，秦郁是无视主角光环将主角摁在地上摩擦的反派。无论如何，她都没想到，那个连话都说不清还爱占她便宜的人是阴沉偏执的大反派。她被秦郁演了，被他安排的明明白白。原书里，这位大反派把两个主角都弄死了。现在，主角死不死我不知道，反正我是要死了。死在床上吗？滚！（不甜你打我，娱乐圈文，强强对决）如果您喜欢穿书后我被反派演了，别忘记分享给朋友...