手机浏览器扫描二维码访问
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
这一两年,基派就是在专心编写《原算》,构建自己的体系。对于这一场论战,就只是无视,或者装死。
但这一次被人点中根脚之后呢?
哪怕是为了基派算学,他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到,一张无形的网,正在结成,这一张网,有离宗的成分,也有连宗的成分。而它的目标,就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是,厌恶‘无限’的连宗修士,来提出这个,是不是太拼了一点?”
苏君宇很想笑。但是一想到海霆真人,他又笑不出来了。
替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 穿书之末世娇宠 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 人人都爱马文才 贵门妾 封先生的宠爱 周一见 穿成大佬假妹妹 天才高手 唐老太的种田生活 九子登云的作品武裂苍穹 神道丹帝叶尘苏傲雪全本免费阅读 一觉醒来怀了崽 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 武裂苍穹秦天青儿百度云 七零空间小娇女 玄学大佬在现代 武裂苍穹秦天青儿全集免费阅读 就想和你在一起
仙界微信群简介emspemsp仙界微信群是樱火的经典都市言情类作品,仙界微信群主要讲述了无意中进了一个微信群,里面居然全是天界的人物那叫一个牛逼,和樱火最新鼎力大作,年度必看都市言情。海棠屋(haitangshuwucom)提供仙界微信群最新章节全文免费阅读!。...
两个性格迥异同桌,插科打诨的校园日常。一个阳光开朗,犬系,运动型的痞子一个内冷外热,猫系,嘴欠型的闷子。歪歪腻腻,欢乐搞笑。...
一章也许代表一个小故事。一章两千字左右,一章有两个版本。有时可能会有开篇玄幻故事。短篇的也有,本人不想写新的书,大可能只有这一本书,要么一直更新,要么断更,请读者手下手下留情不要举报我的书。这只是作者本人想赚点零花钱。...
那年,雪下得极大。邵家死的只剩下一人,一个叫做邵满囤的少年。为了活下去,他敲开了村子里院墙最高的那户人家。初家。当邵满囤迈入那扇涂着红漆的角门时,他从没想过,他推开的不仅仅是一扇能让他活命的门。在那扇门后,有他的新的名字邵年时。有他为之奋斗了一辈子的道路行商。有他敬了一辈子的人物初家老爷。还有他疼爱了一辈子的女人初雪这是一个小长工的民国飘摇路哪怕风吹雨打,我自坚如磐石。如果您喜欢民国草根,别忘记分享给朋友...
肖柏的父亲肖大牛是个疯疯癫癫的人,总说自己来自另一个世界,时常给肖柏讲那些光怪陆离却又精彩纷呈的奇妙故事又时常哀怨道我为什么就没有主角模板?我为什么就做不成龙傲天?后来父亲去世了,肖柏打算做点什么。他要去试着寻找一下所谓的主角模板,试着成为一名父亲做不成的龙傲天。于是带着父亲给他制订的升级攻略,踏上了一条精彩纷呈的奇妙之旅。如果您喜欢幻符,别忘记分享给朋友...
君少心头宝,夫人哪里跑简介emspemsp女主是猫妖族小公主从我身上下去。男人的声音透着几分无奈和隐忍。我不。少女摇头,双手死死抱住身下的男人。听话,你这样我没法睡。以前我都是趴你身上睡的。那不一样…你现在是人。京城大当家...