手机浏览器扫描二维码访问
然后,这个演讲,到这里就结束了。
他只讲了十来句而已。而在他说出第七个句子的时候,台下就已经是嘘声一片。
而他讲到“超限归纳法”的部分时,就已经有同为逍遥的修士站了出来。打断了他的讲话。
“可笑,可笑可笑!你说,任何有穷集合以及无穷集合都有选择函数,那么,你能够完成这个‘选择函数的构造’吗?啊?你是离宗人吗?”
海霆真人叹息:“不,我要详细说明一下。任何集合显然都应该可以分离出一个我们需要的子集。不管其母集是有穷还是无穷,这样的子集都是存在的。正是因为任何集合都应该有子集,所以任何集合的子集,都应该有‘子集的构造函数’。而这个构造,就是选择函数。”
“但是,很遗憾的是,由于不周之算的限制,选择构造函数无法有一个构造。那已经涉及到二阶的问题了。按照型论……我们必须承认这种无能为力,而不是宣告……”
一道法术轰来,强行打算了海霆真人后面的话。
有人狂热的呐喊:“这不过是诡辩!诡辩!你只是为了一时方便!一时的快意!你考虑过引入离宗公理对实数之宇【实数空间】完美性质的破坏性吗?”
“如果梵先生在这里,他一定会出手惩戒你的。”就连逍遥修士也是脸色不善。
——这就是连宗的现状。
海霆真人当时是这样想的。算君的拥趸们,会反对他的每一句话。就算是在歌庭派回击之中动摇了的连宗算家,此时也选择了沉默。
选择函数可以推导出排中律。没有连宗人愿意接受排中律。
就算他们认为海霆真人的理论可以讨论一下,也不愿意在这个时候出面声援。
“滚出去!”
不知道是谁最先喊出这句话。然后,这样的话语,就连成一片了。
“滚出去!”“滚出去!”“滚出去!”
海霆真人擦了擦嘴角溢出的血。他重伤未愈。其实在场的每一个连宗修士都是。
但是,他们宁可这样排除海霆真人。
这个家伙几乎是个离宗了。他们绝不会让这个家伙在华泊馆之中讲话。
海霆真人倔强的说道:“我们必须接受!算君的观念必须被抛弃一部分,因为连宗……”
他没有说完后面的话。
法术的洪流爆发。这是逍遥级数的对拼。黎京城的防御阵法被激活,然后被摧毁。以华泊馆为中心的一大块区域受灾严重。
连宗修士们共同抗下了巨额罚金。
海霆真人则拖着一身的重伤,昏倒在远处一家天灵岭宗外驻地旁。
这个事件,被认为是连宗走向分裂的标志。在算君的威名之下,数百年来团结如一的连宗,也终于走向了破裂与内斗。
梵巴赫也表示了对海霆的谴责。他甚至宣誓说,绝对不与海霆真人走到一百步之内,否则就只能做过一场。
因为,海霆真人的构造主义,以及他从离宗引入的选择天理、全局选择天理,会引发他当年亲手排除的荒诞之处——分球悖论。
他绝不接受这样有可能一即是全,全即是一的算学图景。
但实际上,离宗也很少声援海霆真人。
离宗也有过排除“分球悖论”的努力。
而他们做出的成果,就是测度论。
也就是当年王崎教育妖族的入门课程。
选择公理是会破坏测度论的。离宗内部也存在争议。
周一见 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 天才高手 穿书之末世娇宠 九子登云的作品武裂苍穹 武裂苍穹秦天青儿全集免费阅读 封先生的宠爱 人人都爱马文才 一觉醒来怀了崽 玄学大佬在现代 武裂苍穹秦天青儿百度云 七零空间小娇女 穿成大佬假妹妹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 神道丹帝叶尘苏傲雪全本免费阅读 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 贵门妾 唐老太的种田生活 就想和你在一起 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新
穿越不圣母空间男女身心纯洁医术灵泉水女战地医生在执行任务时被同事背刺,本以为只是简单的穿越,没想到却身怀使命?三岁识文断字,六岁上山拜师学艺,学成归来,却惨遭杀害。母亲重男轻女,父亲冷漠,姨娘的逼迫,庶妹的欺辱,她该如何反抗。她回来之时已于太子订下婚约,优秀的人从来不做选择。婚前反派女齐明玉,太子是我的...
拳拳到肉才是男人的浪漫!说着,颜渊从手腕发出一道新月光线,瞬间将敌人炸成了灰灰。法王使用远程技能,这能叫偷袭吗?简单来说,这是一个掌握无数技能的奥特法王纵横多元宇宙的故事。如果您喜欢在奥特世界当法王,别忘记分享给朋友...
穿越之郡主玩转古代简介emspemsp关于穿越之郡主玩转古代一朝穿越,陌灵从无父无母的孤儿,成为集万千宠爱为一身的小郡主。爹娘疼,姥姥姥爷疼,身后还跟着一个闷骚大冰山。开鸭店,玩雕刻,虐渣渣,且看陌灵如何玩转架空大陆。...
医圣聊天群简介emspemsp关于医圣聊天群一部坏手机,让他意外加入了一个聊天群,群里竟然都是华佗,扁鹊等这样的名医大仙。癌症是什么,续命又算什么,不都是小菜一碟...
虽然学姐发过来的照片很诱人,但坐在学姐旁边瞪着两个血窟窿的大头娃娃是什么鬼?它怎么头顶着尖牙利齿的大嘴,还对着学姐留口水?学姐,你要被断头了啊喂!一觉睡醒,路诚发现精灵宝可梦入侵了自己的生活,可...
全能超品学生简介emspemsp至尊杀手重生,恰好回到了正在向女生表白的那一刻精彩收藏woo18vipWoo18Vip...