手机浏览器扫描二维码访问
算主低吼道:“慌什么?难道是比不周之算更严重的东西吗?啊?”
那弟子这才稍稍镇静:“不是……”
“月寒的新体系,被人驳倒了?”
“不……没有。”那弟子叹息一声,将一篇信函递给希柏澈:“您自己看吧……”
“梵巴赫……姓梵的那个?”希柏澈瞪大眼睛。
这可不是好兆头。
“致希门主:一别经年……”
这一封信函的前半部分,全都不是客套话。算主直接跳过了。他看到信函的中间部分。
“……希门主还请回想一二。有穷集合之内,除了通过不证自明的公理直接宣告之外,是否有一种运算操作,可以接触到第一个可数技术‘道真之零’【Beth-0】?……康门主昔日之雄心,不外乎‘所有序数之序数’。姑且抛下不周之算,且看起本身。至少,这以概念之内的全部元素,都是低层次序数通过集合论运算而来……”
看到这里,算主心中已经隐隐有了一丝不安。
尽管算学就是将“不证自明”说透的东西,但是,那也只是“发现过去被认为是“公理”的事物其实不是公理”的过程而已。
逻辑必然存在原点。
所谓“原点”,就是“不证自明”的公理。
这是一切逻辑思维的起点。
王崎就算不喜欢这个说法,暂时也没有跳出这怪圈的思路。
“是以,吾等可以宣告一个全新的无穷公理,其名越不可达基数存在公理。”
“不可达基数,居于其之下的基数无论通过怎么样的集合论运算,都不可能达到的基数。”
“所以,第一不可达基数便是第一可数技术,第二不可达基数便是比“所有序数的序数的基数”更大的基数……”
“滴答……”
算主一愣,发现自己嘴角逐渐淌下一点血来。
不知不觉间,自己的脏腑居然已经严重受创了。
再看那信,居然已经有些视线模糊了。
“真是……狠毒……”
这位连宗的逍遥,并没有想要直接驳倒冯落衣。
实际上,当冯落衣证明“无穷公理在良基集合的体系下不可证明也不可证伪”的时候,就已经立于不败之地了。
所以,他只是挑明了另一件事。
冯落衣的良基集合,与歌庭派所秉持的经典集合论、经典逻辑,同样不合拍。
歌庭派、冯落衣图灵、王崎的基派,看似全都是离宗干将。
但实际上,他们自己之间的分歧,都大得可怕。
或许这不能算有力的反击,但是,歌庭派与冯落衣的分歧,总能为连宗争取时间。
我真的只想做角色球员 神雕战神 虐仙记 赘婿当道全文免费 阅读小说最新 毕业就结婚吧 我是来种地的 顾辰神武霸帝 黑夜之眼 枫灵大陆 反派:黑化女主们,跪求我当坏人 我在游戏世界搞基建 清穿后我绑定了强国系统 未来之树 穿越之我不想做驸马 为师实在是太弱了 换嫁后发现质子夫君他爱我 流浪仙人 冷血老公太温柔 跃马西凉 重生乐神
身世坎坷历经沧桑人间情意究竟为何物?妈妈是什么?奶奶是什么?姑姑婶婶又是什么?也许,都是女人罢了。你们给了我们生活的必须,但是她们没有给我们家庭的温暖,因此从理智上我们应该感激你们的,可是感情上很多时候是会出现偏差的。我喜欢熟女喜欢年龄稍大的女人当然是女人我都会喜欢当然是那种好女人...
李逸飞,大唐前太子李贤之子,因其父被武则天毒害,从小就被逍遥老人收养,十年之后,学艺有成的李逸飞下山报仇,最后经过与武则天的一番较量终于将女皇降服,成功光复李唐江山,揽江山美人于一身,享受人间帝王之风流。...
谁说穿越后宫就是圣宠不衰六宫无妃的幸福生涯?她保证不打死他!过来,朕不打你。放屁!渺渺,过来朕抱。谁信!苏渺,再不过来打断你的狗腿!皇上苏渺一睁眼就是冷宫的四堵灰墙,简直凄凄惨惨戚戚!为了保住她的腿,只好狗腿的腻在皇帝陛下身边,惹得众人纷纷嫉恨白眼,直骂妖妃。可惜皇帝陛下不知怎的就宠上了这个冷宫弃妃,明明一开始恨不得将她千刀万剐,如今却大有昏聩独宠的意思。前朝后宫无不盼着她失宠的那一天,可是等着等着她似乎就此长盛不衰了!等他们反应过来,哪儿还有什么后宫啊?六宫粉黛,就剩她一人了!1v1,身心干净...
格斗,医术,算命,鉴宝,泡妞无一不精。嚣张,霸气,睿智,重情,重义集于一身。水有源,树有根!他就是世界最强者的唯一门徒!从此,最狂门徒诞生!慕容2015都市新作,请大家多多支持!慕容官方交流群慕容世家167168067另,慕容完本作品特种高手纵横都市还请大家多多支持!...
被家族抛弃,被仇敌废掉的少年商浩,在走投无路时,救了两个人,然后,他发现自己有了异能故事从帮助一个村子脱贫致富展开。各位书友要是觉得仙门弃少还不错的话请不要忘记向您QQ群和微博里的朋友推荐给力文学网哦!...
石焱携功法修改器重生入九域玄幻世界,人族挣扎求生。九域世界以游戏形式发售面世。当有一日,两界融合,妖魔肆虐而来。石焱内测进入九域世界,这一日,游戏尚未发售,玩家尚未进入,妖魔尚未影响书友Q群371073565...