手机浏览器扫描二维码访问
那弟子这才稍稍镇静:“不是……”
“月寒的新体系,被人驳倒了?”
“不……没樱”那弟子叹息一声,将一篇信函递给希柏澈:“您自己看吧……”
“梵巴赫……姓梵的那个?”希柏澈瞪大眼睛。
这可不是好兆头。
“致希门主:一别经年……”
这一封信函的前半部分,全都不是客套话。算主直接跳过了。他看到信函的间部分。
“……希门主还请回想一二。有穷集合之内,除了通过不证自明的公理直接宣告之外,是否有一种运算『操』作,可以接触到第一个可数技术‘道真之零’【beth-0】?……康门主昔日之雄心,不外乎‘所有序数之序数’。姑且抛下不周之算,且看起本身。至少,这以概念之内的全部元素,都是低层次序数通过集合论运算而来……”
看到这里,算主心已经隐隐有了一丝不安。
尽管算学是将“不证自明”透的东西,但是,那也只是“发现过去被认为是“公理”的事物其实不是公理”的过程而已。
逻辑必然存在原点。
所谓“原点”,是“不证自明”的公理。
这是一切逻辑思维的起点。
王崎算不喜欢这个法,暂时也没有跳出这怪圈的思路。
“是以,吾等可以宣告一个全新的无穷公理,其名越不可达基数存在公理。”
“不可达基数,居于其之下的基数无论通过怎么样的集合论运算,都不可能达到的基数。”
“所以,第一不可达基数便是第一可数技术,第二不可达基数便是“所有序数的序数的基数”更大的基数……”
“滴答……”
算主一愣,发现自己嘴角逐渐淌下一点血来。
不知不觉间,自己的脏腑居然已经严重受创了。
再看那信,居然已经有些视线模糊了。
“真是……狠毒……”
这位连宗的逍遥,并没有想要直接驳倒冯落衣。
实际,当冯落衣证明“无穷公理在良基集合的体系下不可证明也不可证伪”的时候,已经立于不败之地了。
所以,他只是挑明了另一件事。
冯落衣的良基集合,与歌庭派所秉持的经典集合论、经典逻辑,同样不合拍。
歌庭派、冯落衣图灵、王崎的基派,看似全都是离宗干将。
但实际,他们自己之间的分歧,都大得可怕。
或许这不能算有力的反击,但是,歌庭派与冯落衣的分歧,总能为连宗争取时间。
喜欢走进修仙请大家收藏:()走进修仙
九子登云的作品武裂苍穹 武裂苍穹秦天青儿百度云 天才高手 周一见 一觉醒来怀了崽 贵门妾 七零空间小娇女 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 武裂苍穹秦天青儿全集免费阅读 就想和你在一起 人人都爱马文才 穿书之末世娇宠 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 神道丹帝叶尘苏傲雪全本免费阅读 封先生的宠爱 唐老太的种田生活 玄学大佬在现代 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 穿成大佬假妹妹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新
陶然在一次车祸中意外穿越到大唐贞观初期,从此开始了波澜起伏极具传奇色彩的一生。如果您喜欢回到唐朝当首辅,别忘记分享给朋友...
凌霄仙帝简介emspemsp关于凌霄仙帝六万年前,一个少年自蛮荒走出,得证大帝之位,手持断剑,葬送了漫天神魔,世称荒天帝。一百年前,荒天帝被至亲挚爱偷袭而身死,其偌大的道统在一夜之间消失,沦为禁忌!一百年后,天雍城一个少...
龙潜都市简介emspemsp关于龙潜都市战神归来,五年天翻地覆。不甘屈辱悔恨,全部统统爆发!恩怨分明!...
苏若汐不小心惹上一个强势霸道总裁,一心想逃。结婚刚刚半天,大剌剌地跟前未婚夫订婚,给大总裁送上一顶新鲜的绿帽子。结果被大总裁抓了一个现行,并列下罪!第一个敢给我送绿帽的女人!第一个嫁给我还想逃如果您喜欢盛总,夫人又去败家了,别忘记分享给朋友...
平淡温馨小甜饼不宅斗今穿古女主土著男主 架空历史背景参考魏晋南北朝,夹杂一些汉代和隋唐,时间那么古老,战线拉的很长,都是为了方便作者瞎编...
穿越1862简介emspemsp关于穿越1862汉风新书主宰江山已经上传,欢迎大伙儿继续支持!原来叫我要当球长,改名了...