手机浏览器扫描二维码访问
梵巴赫没有隐藏自己的意图。
但与此同时,他也指出了另外一点。
在一个体系之中,引入的“无穷”越强,那么可以证明的东西就越多。
嗯,这是一个很不“连宗”的说法。
但这就是从内模型的证明过程之中推测出来的。
也就是包括“不可达基数”在内的“大基数”
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
这一两年,基派就是在专心编写《原算》,构建自己的体系。对于这一场论战,就只是无视,或者装死。
纸醉江山 醉卧九天 玄玑图 死亡神座 道梦之轮回 鼎天武帝 舞吧,傀儡 超级特警综合系统 苍天霸业 黑暗剑圣 美女教师的鬼医高手 与女精灵的地球生活 我叫布里茨 重生之天生我才 美女总裁老婆 权柄大明 网游之零纪元 神捕乱宋 霸隋 兽王三国
小姐,你亲戚快来了,赶紧垫个小宝贝吧!预知女人经期,接吻愈合伤口?上帝创造少女,男人制造妇女,不死神石却让杨震两者皆能!游历于群美众香之中,他到底该如何选...
考古,这是个技术活。不是谁拿个小铲子在那里挖挖就行的。 想干好这一个行当,不仅仅是需要专业的知识,而且更加需要运气。 然而,邢杰的运气就挺好。 身为...
梁勇,作为一个瘸子赘婿,在岳母家处处受白眼,任人欺负!一次车祸,让梁勇从废物赘婿变成了极品龙婿,瞬间打脸岳父岳母,甚至一向对自己冷淡的妻子也开始变得热情了起来...
声明本文全文虚构世界,请不要与真实世界对号入座。名为百战的游戏系统,在下架之前发生了意外,其余系统帮助他完善核心。最终在一场不明的爆炸之中,穿越到异世界,在那里百战通过庞大的系统数据,建立新的文明,改造偃甲,异世界制造机甲,武器,创造新的世界,新的巅峰!!...
...
他不爱她,她也不爱他。 他势必要踹倒她,她一定会践踏他。 他不想娶了她,她绝对不要他。 如果有一天洞房了,那一定要她在上,压着他。...