手机浏览器扫描二维码访问
那弟子这才稍稍镇静:“不是……”
“月寒的新体系,被人驳倒了?”
“不……没樱”那弟子叹息一声,将一篇信函递给希柏澈:“您自己看吧……”
“梵巴赫……姓梵的那个?”希柏澈瞪大眼睛。
这可不是好兆头。
“致希门主:一别经年……”
这一封信函的前半部分,全都不是客套话。算主直接跳过了。他看到信函的间部分。
“……希门主还请回想一二。有穷集合之内,除了通过不证自明的公理直接宣告之外,是否有一种运算『操』作,可以接触到第一个可数技术‘道真之零’【beth-0】?……康门主昔日之雄心,不外乎‘所有序数之序数’。姑且抛下不周之算,且看起本身。至少,这以概念之内的全部元素,都是低层次序数通过集合论运算而来……”
看到这里,算主心已经隐隐有了一丝不安。
尽管算学是将“不证自明”透的东西,但是,那也只是“发现过去被认为是“公理”的事物其实不是公理”的过程而已。
逻辑必然存在原点。
所谓“原点”,是“不证自明”的公理。
这是一切逻辑思维的起点。
王崎算不喜欢这个法,暂时也没有跳出这怪圈的思路。
“是以,吾等可以宣告一个全新的无穷公理,其名越不可达基数存在公理。”
“不可达基数,居于其之下的基数无论通过怎么样的集合论运算,都不可能达到的基数。”
“所以,第一不可达基数便是第一可数技术,第二不可达基数便是“所有序数的序数的基数”更大的基数……”
“滴答……”
算主一愣,发现自己嘴角逐渐淌下一点血来。
不知不觉间,自己的脏腑居然已经严重受创了。
再看那信,居然已经有些视线模糊了。
“真是……狠毒……”
这位连宗的逍遥,并没有想要直接驳倒冯落衣。
实际,当冯落衣证明“无穷公理在良基集合的体系下不可证明也不可证伪”的时候,已经立于不败之地了。
所以,他只是挑明了另一件事。
冯落衣的良基集合,与歌庭派所秉持的经典集合论、经典逻辑,同样不合拍。
歌庭派、冯落衣图灵、王崎的基派,看似全都是离宗干将。
但实际,他们自己之间的分歧,都大得可怕。
或许这不能算有力的反击,但是,歌庭派与冯落衣的分歧,总能为连宗争取时间。
喜欢走进修仙请大家收藏:()走进修仙
[原神]为了磕cp我连天理都能推翻 穿成流放文的极品小姑(穿书) 夫君热衷于给我捧场 雄虫他只想苟命[虫族] 孤手握三十万重兵,你让孤自裁? 风刃之芒 穿越千年,只为遇见你! 穿成大佬假妹妹 我靠拾荒称霸三界 重回86:大哥死前托妻给我 震惊!这个男人能点化智械 怪厨 开局被女土匪看中,我占山为王 再见,我亲爱的封先生 富婆的快乐你不懂[神豪] 是你攻略不下的女主 魂穿七零,这个世界我要做大女主 十二鬼月横滨结仇日常 七零夜校女教师 妻调令
本书架空,考据慎入 新书锦衣血途发布,欢迎收藏! 这里不是春秋战国,也不是东汉末年! 似曾相识的齐楚秦魏,截然不同的列国争雄! 来自现...
听说她在占卜,他捧着手眼巴巴的就过来了爱卿,你给本君算算,今晚是本君睡了国师呢?还是国师睡了本君?她哆嗦了一下,一脚就踹了过去谁都不睡!她今晚就阉了你!!重生前,她是惊才绝艳的大占卜师,重生后,她还是上知天文下知地理的一品国师,可是,她算了两世,却没算到自己这一世会犯桃花国师大人,不好了,帝君来了!卧槽!她一下子就从八卦盘里站了起来他来干什么?他不干什么!那就好那就好!她狂抹一把额头上的冷汗。小太监欲哭无泪可他说了,今晚他夜观星象,是个鸾凤和鸣...
...
一个集合口袋妖怪,数码宝贝等等游戏,动漫的游戏正式登陆全球,谁才是最强的训练家,谁才是游戏里最强的宠物,且看罗炎称霸漫兽竞技场,一步一步从无名小卒爬上神坛。...
...
余庆阳一个搬砖二十年的老工程,梦回世纪之交,海河大学毕业,接老爸的班继续搬砖。用两辈子的行动告诉老师,搬砖不是因为我学习不好!是我命中注定要搬砖已有两本百万字完本书超级村主任最强退伍兵,可以放心入坑!大国工程书友群,群聊号码492691021新书重生之大国工匠...