这一日,苍天痛哭。
至🃉🕺少在连宗算🝀🈀🞚家眼中是这样🖕💡📙的。毕竟,神州这么大一个星球,总有块地方在下雨。
甚至有传闻说,远在星海彼岸的算君,🚛🔄在知道了这个消息之后,也🚞🔡🂉忍不住🜿🇶吐了口血。
“‘我们已经得到了直觉派逻辑和歌庭派逻辑之间的理论翻译函数。事实上,直觉🍒🙨派的逻辑,只是歌庭派逻辑的真子集。对于这种具备真子集关系的两个算理,我们可以使用类似的手段,处理新加入😑🀩⛃了集合论公理’。”海霆真人大声读完这一段之后,不由得放声大哭。
他败了,一败涂地。
这是无可想象的“失败”。
即使是算君,也不否认集合论是算学的一部分。他只是将之当做算学最无意义的部分,而非🇺🝨🍭是那种最核心的算理基础。
这是算君与歌庭在理念上的矛盾。
算君和歌🌜庭之间仇深似海,也不单是一个柯兰荫的问题。
也就是说,对🝀🈀🞚于大多数连宗算家来说,集合论和逻辑♔,也是可以视作“算学”的一部分的。
算主希柏澈便是此道高手。他让恒王葛丹🖞惊为🗰天人的逻辑证明,也可以被当🛂🙨🌺做算学。
这一点很难被忽视。
而正如🗍🚖基派的算学史所说的那样,离宗和连宗的争斗,就🚳是用自己的根基,去容纳对方的成就。谁成功了,谁便领一时🅝风骚。
从算术到几何,从几何到分析,就是如此。
所以,海霆真🝀🈀🞚人,便试图容纳了离🞑📞🛻宗的逻辑,试🜶图建立连宗的逻辑体系。
但是,他无论如何🆏🎠也想不到,这会成为歌庭派新的杀手锏。
无法想象。
不可原谅。
他无法原谅自己。
“十年光阴🛟🝨,🝀🈀🞚竟是为铸就一把屠戮同志的剑……弟子有愧,弟子有愧啊!”男人嚎啕大哭。