手机浏览器扫描二维码访问
然后,这个演讲,到这里就结束了。
他只讲了十来句而已。而在他说出第七个句子的时候,台下就已经是嘘声一片。
而他讲到“超限归纳法”的部分时,就已经有同为逍遥的修士站了出来。打断了他的讲话。
“可笑,可笑可笑!你说,任何有穷集合以及无穷集合都有选择函数,那么,你能够完成这个‘选择函数的构造’吗?啊?你是离宗人吗?”
海霆真人叹息:“不,我要详细说明一下。任何集合显然都应该可以分离出一个我们需要的子集。不管其母集是有穷还是无穷,这样的子集都是存在的。正是因为任何集合都应该有子集,所以任何集合的子集,都应该有‘子集的构造函数’。而这个构造,就是选择函数。”
“但是,很遗憾的是,由于不周之算的限制,选择构造函数无法有一个构造。那已经涉及到二阶的问题了。按照型论……我们必须承认这种无能为力,而不是宣告……”
一道法术轰来,强行打算了海霆真人后面的话。
有人狂热的呐喊:“这不过是诡辩!诡辩!你只是为了一时方便!一时的快意!你考虑过引入离宗公理对实数之宇【实数空间】完美性质的破坏性吗?”
“如果梵先生在这里,他一定会出手惩戒你的。”就连逍遥修士也是脸色不善。
——这就是连宗的现状。
海霆真人当时是这样想的。算君的拥趸们,会反对他的每一句话。就算是在歌庭派回击之中动摇了的连宗算家,此时也选择了沉默。
选择函数可以推导出排中律。没有连宗人愿意接受排中律。
就算他们认为海霆真人的理论可以讨论一下,也不愿意在这个时候出面声援。
“滚出去!”
不知道是谁最先喊出这句话。然后,这样的话语,就连成一片了。
“滚出去!”“滚出去!”“滚出去!”
海霆真人擦了擦嘴角溢出的血。他重伤未愈。其实在场的每一个连宗修士都是。
但是,他们宁可这样排除海霆真人。
这个家伙几乎是个离宗了。他们绝不会让这个家伙在华泊馆之中讲话。
海霆真人倔强的说道:“我们必须接受!算君的观念必须被抛弃一部分,因为连宗……”
他没有说完后面的话。
法术的洪流爆发。这是逍遥级数的对拼。黎京城的防御阵法被激活,然后被摧毁。以华泊馆为中心的一大块区域受灾严重。
连宗修士们共同抗下了巨额罚金。
海霆真人则拖着一身的重伤,昏倒在远处一家天灵岭宗外驻地旁。
这个事件,被认为是连宗走向分裂的标志。在算君的威名之下,数百年来团结如一的连宗,也终于走向了破裂与内斗。
梵巴赫也表示了对海霆的谴责。他甚至宣誓说,绝对不与海霆真人走到一百步之内,否则就只能做过一场。
因为,海霆真人的构造主义,以及他从离宗引入的选择天理、全局选择天理,会引发他当年亲手排除的荒诞之处——分球悖论。
他绝不接受这样有可能一即是全,全即是一的算学图景。
但实际上,离宗也很少声援海霆真人。
离宗也有过排除“分球悖论”的努力。
而他们做出的成果,就是测度论。
也就是当年王崎教育妖族的入门课程。
选择公理是会破坏测度论的。离宗内部也存在争议。
赌妃在上,王爷在下 大明孤狼 悍妻[医道] 娱乐超级奶爸 最强除妖师 捡到病娇太子之后(重生) 系统之娇宠孕妻 扛着boss拼下限(末世) 神偷长公主 直播和男神同居的日子 一爱到底之顾少毒妻 时光请善待我的她 废材重生:邪王独宠悍王妃 天黑请开眼 断神 天地炼成 眼镜兄撞上恶魔王子 穿越之弃子国师 我是狠人大帝的同乡 烈火燃情:高冷总裁滚远点
苏晓北兢兢业业做着秘书的本职工作,一次误会被媒体当成了总裁的未婚妻。而也是这次误会,让苏晓北发现了总裁惊人的秘密,原来自己曾与总裁有段情缘,还有一个三岁的爱情结晶。发现了秘密的苏晓北,不知该何去何从?如果您喜欢我的前夫是总裁大人,别忘记分享给朋友...
再见初心双面小萝莉是仇若涵的经典其他类型类作品,再见初心双面小萝莉主要讲述了初心年轻时看不起贫穷落后的小城,远走大城市,在上海安家。二十仇若涵最新鼎力大作,年度必看其他类型。海棠屋(hai...
Kpl最婊男选手陆衍的择偶标准是长得比我好看的,妲己玩的比我骚的。步谣无语吐槽你果然不喜欢人类。点开游戏界面,看到一条亲密关系申请队长申请成为你的恋人。步谣懵了,这是几个意思?骂我不是人?如果您喜欢玩转电竞大神萌妻带回家,别忘记分享给朋友...
穿越乱世,五国争雄,命如草芥。方贤身陷青云寨牢房却稳如老狗还好,我有系统。救老寨主后,被逼娶少寨主,方贤只得加入山寨成为一名贼婿。如果您喜欢贼婿,别忘记分享给朋友...
那时长安,烈酒豪肠三分剑气,七分月光绣口一吐,半个盛唐如果您喜欢大唐鬼谷传人,开局救了李世民,别忘记分享给朋友...
关于港片出狱当天,十万帮众相迎!楚绍穿越成为炸天帮帮主并深陷牢狱之中,还有一百天才能出狱。监狱之中各方势力都想要找他的麻烦,恰好在此刻他却激活了全能系统。从此,监狱之中他说一不二,而外界他的传说也悄然展开。杀手雄绍爷,以后这监狱中您说的算。鬼见愁绍爷带我赚了三个亿,以后您就是我再生父母。西仓天王黄泉绍爷力度怎么样,不合适您尽管吩咐。王小龙绍哥...