手机浏览器扫描二维码访问
“月寒的新体系,被人驳倒了?”
“不……没有。”那弟子叹息一声,将一篇信函递给希柏澈:“您自己看吧……”
“梵巴赫……姓梵的那个?”希柏澈瞪大眼睛。
这可不是好兆头。
“致希门主:一别经年……”
这一封信函的前半部分,全都不是客套话。算主直接跳过了。他看到信函的中间部分。
“……希门主还请回想一二。有穷集合之内,除了通过不证自明的公理直接宣告之外,是否有一种运算操作,可以接触到第一个可数技术‘道真之零’【Beth-0】?……康门主昔日之雄心,不外乎‘所有序数之序数’。姑且抛下不周之算,且看起本身。至少,这以概念之内的全部元素,都是低层次序数通过集合论运算而来……”
看到这里,算主心中已经隐隐有了一丝不安。
尽管算学就是将“不证自明”说透的东西,但是,那也只是“发现过去被认为是“公理”的事物其实不是公理”的过程而已。
逻辑必然存在原点。
所谓“原点”,就是“不证自明”的公理。
这是一切逻辑思维的起点。
王崎就算不喜欢这个说法,暂时也没有跳出这怪圈的思路。
“是以,吾等可以宣告一个全新的无穷公理,其名越不可达基数存在公理。”
“不可达基数,居于其之下的基数无论通过怎么样的集合论运算,都不可能达到的基数。”
“所以,第一不可达基数便是第一可数技术,第二不可达基数便是比“所有序数的序数的基数”更大的基数……”
“滴答……”
算主一愣,发现自己嘴角逐渐淌下一点血来。
不知不觉间,自己的脏腑居然已经严重受创了。
再看那信,居然已经有些视线模糊了。
“真是……狠毒……”
这位连宗的逍遥,并没有想要直接驳倒冯落衣。
实际上,当冯落衣证明“无穷公理在良基集合的体系下不可证明也不可证伪”的时候,就已经立于不败之地了。
所以,他只是挑明了另一件事。
冯落衣的良基集合,与歌庭派所秉持的经典集合论、经典逻辑,同样不合拍。
歌庭派、冯落衣图灵、王崎的基派,看似全都是离宗干将。
但实际上,他们自己之间的分歧,都大得可怕。
或许这不能算有力的反击,但是,歌庭派与冯落衣的分歧,总能为连宗争取时间。
老铁!还在找"大神网文"免费更新?
百度直接搜索:"tv"看免费小说,没毛病!
(=tv)
与世无争,与人无忧,碧天海阔的海岛,广阔无边的牧场,历史沉淀的庄园,没事考考古,发掘发掘史前文明,没事修修仙,畅游天地之间...
有多少人还记得那个id,那个让无数职业选手闻风丧胆的id,若风叫他呆哥,草莓被他带到国服第一,笑笑,厂长,pdd看到他在对面直接就挂机。他却因为一次任性被封号三年。他制造了英雄联盟在线人数最少的纪录。他是国服最早的两大路人王之一他被称为传奇。如今,传奇回来了,在这个传奇正盛的年代,他回来了!他的id叫做发呆!...
皇家法术学院。导师问如果敌人跑进地形未知的山洞,该怎么应对?学生A派出精锐斥候,为他加持影遁术,让他进入山洞探查地形。学生B使用动物之眼,...
本书简介亲,你看小说时,曾经为里面的某个阴险狠毒却可怜可悲的女人而遗憾吗?你看电视时,曾经为某个痴情无悔却最终独身的女人而心疼吗?如果有,那么请你不要走开,本文中,作者为这些痴情女子在二十一世纪精挑细选了多位精英男士,保证让这些痴情女子脱离曾经的苦恋,有个幸福美满的结局。本文不虐人(可能吧),不黑人(看我喜不喜欢),喜欢此类型的快到我的碗里来吧。不要客气的收藏一下吧O∩∩O。亲爱的们,刚刚编编下达通知,说周日入V入望大家能一如既往的支持我,谢谢!O∩∩O伯研的文。...
滴答滴答杂乱不堪的酒桌上,残留的酒水顺着光滑的桌面落在酒桌下横躺着的身体上。感受着喉咙处传来的干涩,陈慕猛地睁开双眼,忍着头痛欲裂的感觉,迷茫的看着周围这个极为陌生的破旧屋子。这是哪讨论群657895679...
十二平行宇宙,九十六颗源缘珠,跨越时间与空间的情感,最强主角却被屡屡惨遭封号,主角团八人在宇宙的路程中到底会遇到些什么?全神者,那凯游移凹凼,四大圣兽,四大神兽,四大凶兽,四大灵兽,这些都与主角们有什么联系呢?明明只想让身边的人开心的男一号,为了让大家幸福,选择了牺牲自己!所谓的转世,只不过是感情的延续罢了!展开收起...