手机浏览器扫描二维码访问
“月寒的新体系,被人驳倒了?”
“不……没有。”那弟子叹息一声,将一篇信函递给希柏澈:“您自己看吧……”
“梵巴赫……姓梵的那个?”希柏澈瞪大眼睛。
这可不是好兆头。
“致希门主:一别经年……”
这一封信函的前半部分,全都不是客套话。算主直接跳过了。他看到信函的中间部分。
“……希门主还请回想一二。有穷集合之内,除了通过不证自明的公理直接宣告之外,是否有一种运算操作,可以接触到第一个可数技术‘道真之零’【Beth-0】?……康门主昔日之雄心,不外乎‘所有序数之序数’。姑且抛下不周之算,且看起本身。至少,这以概念之内的全部元素,都是低层次序数通过集合论运算而来……”
看到这里,算主心中已经隐隐有了一丝不安。
尽管算学就是将“不证自明”说透的东西,但是,那也只是“发现过去被认为是“公理”的事物其实不是公理”的过程而已。
逻辑必然存在原点。
所谓“原点”,就是“不证自明”的公理。
这是一切逻辑思维的起点。
王崎就算不喜欢这个说法,暂时也没有跳出这怪圈的思路。
“是以,吾等可以宣告一个全新的无穷公理,其名越不可达基数存在公理。”
“不可达基数,居于其之下的基数无论通过怎么样的集合论运算,都不可能达到的基数。”
“所以,第一不可达基数便是第一可数技术,第二不可达基数便是比“所有序数的序数的基数”更大的基数……”
“滴答……”
算主一愣,发现自己嘴角逐渐淌下一点血来。
不知不觉间,自己的脏腑居然已经严重受创了。
再看那信,居然已经有些视线模糊了。
“真是……狠毒……”
这位连宗的逍遥,并没有想要直接驳倒冯落衣。
实际上,当冯落衣证明“无穷公理在良基集合的体系下不可证明也不可证伪”的时候,就已经立于不败之地了。
所以,他只是挑明了另一件事。
冯落衣的良基集合,与歌庭派所秉持的经典集合论、经典逻辑,同样不合拍。
歌庭派、冯落衣图灵、王崎的基派,看似全都是离宗干将。
但实际上,他们自己之间的分歧,都大得可怕。
或许这不能算有力的反击,但是,歌庭派与冯落衣的分歧,总能为连宗争取时间。
老铁!还在找"大神网文"免费更新?
百度直接搜索:"tv"看免费小说,没毛病!
(=tv)
她被小三陷害进错房睡错人,招惹上腹黑又护短的男人,从此开启宠上天的霸道模式。新婚丈夫不信她,男人直接开天价让她离婚,还对渣男说从今天开始,你得乖乖管她叫舅妈男上司对她图谋不轨,他直接吩咐那只手给我碰的,就把那只手给我废了!她回家抱怨上班太辛苦,他直接搂过来,宠溺地说道正好回家给我生孩子,一个不够,...
什么?居然是人人果实?坑爹呢!黄头发的,想取我姐,先打赢我再说。雾忍,你是打算逗死我吗?这可真是条歹毒的计策。搭乘着穿越者号列车,漩涡观月闯入了这波诡云谲的忍界之中,掀开了波澜壮阔的崭新篇章!...
他是雇佣军的噩梦,他是国际巨星的粉丝,所到之处敌人尸横遍野。内容简介唐龙,年二十三岁,却已经是非洲战场有名的狼王了,身价近千亿美金,被他盯上的目标,将会发现活着也是一种奢望。他身怀上古医术,摸骨疗伤,更是古武界的高手,回到了都市中混的如鱼得水,他脚踩敌人,怀抱美女,一步一步的踩着敌人的尸体走上了巅峰宝座。...
他是东临齐王,曾经叱咤沙场的战神,一场战事一个阴谋毁了他的骄傲她是安庆大将之女,一场背叛一场退婚毁了她的声名。一场上位者不怀好意的赐婚把本不该有交集的两个人硬生生凑到了一起,她一心保护好自己,但她只考虑到要怎么在那个男人眼皮底下安然脱身,却从未想过若是在那个男人那里丢了心该怎么办。她知道她无论如何不能替代他心中的那人,她只想他好好的。她倾尽所有的付出好不容易换来他一丝的怜惜,却在另一个女子的算计中一点点被磨光,她的心也在一次一次的伤害中渐渐冷了,之后他更是轻易被人挑唆认定她不衷,她终于心死离开,放两人自由。可总有人不愿放过她,想夺她性命永绝后患,多年后她再次回来时,又会书写怎样的爱恨情仇。...
盛以若与傅兆琛是假偶天成。她图他庇护。他贪她美貌。成年人的游戏取于利益,缠于欲望。三年情断。有人问盛以若,她和傅兆琛是什么感觉?身,心愉悦。有人问傅兆琛,他和盛以若怎么打发时间?日,夜贪欢。你我皆是俗人,应懂得难以启齿的往往不是感觉,而是感情。落魄美艳千金VS霸道矜贵阔少双洁1V1...
[最野的玫瑰,躁动无人区]初见,温弦一眼就看中了陆大队长。垂涎欲滴。温弦嗯?怎么才能泡到你?是麻袋还是甜言蜜语。陆枭叼着烟,冷漠道你是风光大明星,我是这鸟不拉屎无人区的队长,穷得很,你看中我什么?温弦我喜欢看你是怎么顶撞我的。陆枭一哽。燥了脸,无情走人不知羞耻,想都别想!隔天。他心血来...