手机浏览器扫描二维码访问
“月寒的新体系,被人驳倒了?”
“不……没有。”那弟子叹息一声,将一篇信函递给希柏澈:“您自己看吧……”
“梵巴赫……姓梵的那个?”希柏澈瞪大眼睛。
这可不是好兆头。
“致希门主:一别经年……”
这一封信函的前半部分,全都不是客套话。算主直接跳过了。他看到信函的中间部分。
“……希门主还请回想一二。有穷集合之内,除了通过不证自明的公理直接宣告之外,是否有一种运算操作,可以接触到第一个可数技术‘道真之零’【Beth-0】?……康门主昔日之雄心,不外乎‘所有序数之序数’。姑且抛下不周之算,且看起本身。至少,这以概念之内的全部元素,都是低层次序数通过集合论运算而来……”
看到这里,算主心中已经隐隐有了一丝不安。
尽管算学就是将“不证自明”说透的东西,但是,那也只是“发现过去被认为是“公理”的事物其实不是公理”的过程而已。
逻辑必然存在原点。
所谓“原点”,就是“不证自明”的公理。
这是一切逻辑思维的起点。
王崎就算不喜欢这个说法,暂时也没有跳出这怪圈的思路。
“是以,吾等可以宣告一个全新的无穷公理,其名越不可达基数存在公理。”
“不可达基数,居于其之下的基数无论通过怎么样的集合论运算,都不可能达到的基数。”
“所以,第一不可达基数便是第一可数技术,第二不可达基数便是比“所有序数的序数的基数”更大的基数……”
“滴答……”
算主一愣,发现自己嘴角逐渐淌下一点血来。
不知不觉间,自己的脏腑居然已经严重受创了。
再看那信,居然已经有些视线模糊了。
“真是……狠毒……”
这位连宗的逍遥,并没有想要直接驳倒冯落衣。
实际上,当冯落衣证明“无穷公理在良基集合的体系下不可证明也不可证伪”的时候,就已经立于不败之地了。
所以,他只是挑明了另一件事。
冯落衣的良基集合,与歌庭派所秉持的经典集合论、经典逻辑,同样不合拍。
歌庭派、冯落衣图灵、王崎的基派,看似全都是离宗干将。
但实际上,他们自己之间的分歧,都大得可怕。
或许这不能算有力的反击,但是,歌庭派与冯落衣的分歧,总能为连宗争取时间。
老铁!还在找"大神网文"免费更新?
百度直接搜索:"tv"看免费小说,没毛病!
(=tv)
叶凌天,神秘部队退伍军人,为了给妹妹凑集五十万的治疗费用不得不给三元集团的千金小姐李雨欣当贴身保镖。且看经历过太多生死的铮铮硬汉叶凌天如何在这个繁华都市里走出属于自己的一条不平凡的路来。...
我叫姜四,是一只活尸,有着人的身躯,僵尸的心脏,左手手背上,还有一只饕餮之眼,专门以恶鬼怨气妖龙为食物。二十年前,我被一群盗墓贼从棺材里挖出来,从此走上了探阴墓寻龙穴吃恶鬼的一条不归路。群号263043306...
在娱乐圈躺赢了一辈子的方澈穿了。直接穿到天后许青蒂的演唱会上,并且作为幸运粉丝上台合唱。许青蒂帅哥,今天想合唱我的哪首歌?方澈不认识这位天后,也不会唱她的歌,只能硬着头皮要不,我来首新歌吧。他是写出青花瓷的叶湘伦,是天才作家,是网剧鼻祖本书又名从天后演唱会开始乱杀建了个群812693913...
东宫来了一位身娇体弱的下堂妇,刚开始东宫储美没把这位弃妇放在眼里。谁知她今日偶感风寒,明日抱恙在身,引得太子殿下日夜照顾。这照顾着照顾着,还把人照顾到榻上去了,气得众美大骂她是臭不要脸的白莲花。太子萧策清心寡欲半辈子,直到遇上秦昭。他以为秦昭可怜,离了他活不下去,于是让她暂住东宫,日日夜夜娇养着,这娇着养着,后来就把人占为己有,食髓知味。后来他登基,每次上朝看到秦昭前夫那张脸,都要对秦昭来次灵魂拷问朕可还让昭昭满意?穿书,双洁,甜宠...
偶得上古神帝之传承,身为赘婿的萧凌然,新的人生开启。纵横都市,唯我最强!...
王者之路张牧简介主角张牧李晴晴穷是一种病,我得了十年的绝症,直到那天我爸出现,让我百病不侵!一个寒门出生,如何才能继承世界第一家族罗斯柴尔德!...