手机浏览器扫描二维码访问
那弟子这才稍稍镇静:“不是……”
“月寒的新体系,被人驳倒了?”
“不……没樱”那弟子叹息一声,将一篇信函递给希柏澈:“您自己看吧……”
“梵巴赫……姓梵的那个?”希柏澈瞪大眼睛。
这可不是好兆头。
“致希门主:一别经年……”
这一封信函的前半部分,全都不是客套话。算主直接跳过了。他看到信函的间部分。
“……希门主还请回想一二。有穷集合之内,除了通过不证自明的公理直接宣告之外,是否有一种运算『操』作,可以接触到第一个可数技术‘道真之零’【beth-0】?……康门主昔日之雄心,不外乎‘所有序数之序数’。姑且抛下不周之算,且看起本身。至少,这以概念之内的全部元素,都是低层次序数通过集合论运算而来……”
看到这里,算主心已经隐隐有了一丝不安。
尽管算学是将“不证自明”透的东西,但是,那也只是“发现过去被认为是“公理”的事物其实不是公理”的过程而已。
逻辑必然存在原点。
所谓“原点”,是“不证自明”的公理。
这是一切逻辑思维的起点。
王崎算不喜欢这个法,暂时也没有跳出这怪圈的思路。
“是以,吾等可以宣告一个全新的无穷公理,其名越不可达基数存在公理。”
“不可达基数,居于其之下的基数无论通过怎么样的集合论运算,都不可能达到的基数。”
“所以,第一不可达基数便是第一可数技术,第二不可达基数便是“所有序数的序数的基数”更大的基数……”
“滴答……”
算主一愣,发现自己嘴角逐渐淌下一点血来。
不知不觉间,自己的脏腑居然已经严重受创了。
再看那信,居然已经有些视线模糊了。
“真是……狠毒……”
这位连宗的逍遥,并没有想要直接驳倒冯落衣。
实际,当冯落衣证明“无穷公理在良基集合的体系下不可证明也不可证伪”的时候,已经立于不败之地了。
所以,他只是挑明了另一件事。
冯落衣的良基集合,与歌庭派所秉持的经典集合论、经典逻辑,同样不合拍。
歌庭派、冯落衣图灵、王崎的基派,看似全都是离宗干将。
但实际,他们自己之间的分歧,都大得可怕。
或许这不能算有力的反击,但是,歌庭派与冯落衣的分歧,总能为连宗争取时间。
喜欢走进修仙请大家收藏:()走进修仙
魂穿七零,这个世界我要做大女主 雄虫他只想苟命[虫族] 是你攻略不下的女主 穿成大佬假妹妹 开局被女土匪看中,我占山为王 怪厨 重回86:大哥死前托妻给我 震惊!这个男人能点化智械 [原神]为了磕cp我连天理都能推翻 穿越千年,只为遇见你! 富婆的快乐你不懂[神豪] 穿成流放文的极品小姑(穿书) 风刃之芒 十二鬼月横滨结仇日常 七零夜校女教师 夫君热衷于给我捧场 妻调令 再见,我亲爱的封先生 孤手握三十万重兵,你让孤自裁? 我靠拾荒称霸三界
...
一个集合口袋妖怪,数码宝贝等等游戏,动漫的游戏正式登陆全球,谁才是最强的训练家,谁才是游戏里最强的宠物,且看罗炎称霸漫兽竞技场,一步一步从无名小卒爬上神坛。...
...
苍茫大地,未来变革,混乱之中,龙蛇并起,谁是真龙,谁又是蟒蛇?或是天地众生,皆可成龙?朝廷,江湖门派,世外仙道,千年世家,蛮族,魔神,妖族,上古巫道,千百势力,相互纠缠,因缘际会。...
甜宠无虐+日更+萌宝+智脑一个大佬和重生来的小媳妇甜蜜日常!一个娱乐小透明凭借智脑逆袭成超级影后的故事~...
玄幻爽文九天大陆,天穹之上有九条星河,亿万星辰,皆为武命星辰,武道之人,可沟通星辰,觉醒星魂,成武命修士。传说,九天大陆最为厉害的武修,每突破一个境界,便能开辟一扇星门,从而沟通一颗星辰,直至,让九重天上,都有自己的武命星辰,化身通天彻地的太古神王。亿万生灵诸天万界,秦问天笑看苍天,他要做天空,最亮的那颗星辰...