手机浏览器扫描二维码访问
那弟子这才稍稍镇静:“不是……”
“月寒的新体系,被人驳倒了?”
“不……没有。”那弟子叹息一声,将一篇信函递给希柏澈:“您自己看吧……”
“梵巴赫……姓梵的那个?”希柏澈瞪大眼睛。
这可不是好兆头。
“致希门主:一别经年……”
这一封信函的前半部分,全都不是客套话。算主直接跳过了。他看到信函的中间部分。
“……希门主还请回想一二。有穷集合之内,除了通过不证自明的公理直接宣告之外,是否有一种运算操,可以接触到第一个可数技术‘道真之零’【beth-0】?……康门主昔日之雄心,不外乎‘所有序数之序数’。姑且抛下不周之算,且看起本身。至少,这以概念之内的全部元素,都是低层次序数通过集合论运算而来……”
看到这里,算主心中已经隐隐有了一丝不安。
尽管算学就是将“不证自明”说透的东西,但是,那也只是“发现过去被认为是“公理”的事物其实不是公理”的过程而已。
逻辑必然存在原点。
所谓“原点”,就是“不证自明”的公理。
这是一切逻辑思维的起点。
王崎就算不喜欢这个说法,暂时也没有跳出这怪圈的思路。
“是以,吾等可以宣告一个全新的无穷公理,其名越不可达基数存在公理。”
“不可达基数,居于其之下的基数无论通过怎么样的集合论运算,都不可能达到的基数。”
“所以,第一不可达基数便是第一可数技术,第二不可达基数便是比“所有序数的序数的基数”更大的基数……”
“滴答……”
算主一愣,发现自己嘴角逐渐淌下一点血来。
不知不觉间,自己的脏腑居然已经严重受创了。
再看那信,居然已经有些视线模糊了。
“真是……狠毒……”
这位连宗的逍遥,并没有想要直接驳倒冯落衣。
实际上,当冯落衣证明“无穷公理在良基集合的体系下不可证明也不可证伪”的时候,就已经立于不败之地了。
所以,他只是挑明了另一件事。
冯落衣的良基集合,与歌庭派所秉持的经典集合论、经典逻辑,同样不合拍。
歌庭派、冯落衣图灵、王崎的基派,看似全都是离宗干将。
但实际上,他们自己之间的分歧,都大得可怕。
或许这不能算有力的反击,但是,歌庭派与冯落衣的分歧,总能为连宗争取时间。
(大雁文学WwW.XiaoYanWenXue.CoM)
...
各种元素乱入,如不懂,请看评论区评论!为了娶媳妇不能割,于是本人不能进宫,本书完本了,哈哈!...
她,二十一世纪医药博士,一朝穿越成农家庶女,爹娘懦弱,爷奶无情,将她五两银子贱卖给了村里的赵残废。这种命运她暂时无法抗衡,只得先隐忍积攒财富,有朝一日远走他乡恢复自由,种菜,卖卤肉,卖菜单,卖药方。只要是村里没人稀罕的,在她手中统统变成钱了。极品亲戚和爷奶爹娘又开始眼红,偏偏,嫁的丈夫貌似不是残废,还有着一身好本领展开收起...
一场空难,她成了孤儿,他也是,但却是她父亲导致的。八岁的她被大十岁的他带回穆家,本以为那是他的善意,没想到,他是来讨债的。十年间,她一直以为他恨她,他的温柔可以给世间万物,唯独不会给她他不允许她叫他哥,她只能叫他名字,穆霆琛,穆霆琛,一遍遍,根深蒂固...
偶得一串手链,发现自己的眼睛可以透视,刘阳的人生从此起飞!刘阳得意道,这才是属于我的快意人生嘛!...
如果没有遇到圣杯,30岁的罗恩只是一个普通的佣兵队的队长。如果没有遇到圣杯,30岁的罗恩只是一个拥有一个天才后辈的大叔。但是他遇到了圣杯,他失去了生活中的一切。他要完成兄弟对他的托付,他要回去履行尘封的婚约。复仇命运,令他重新行走在魔法大陆上。--------------------------主角是一个三十的大叔,不年轻,但也不老。我想写一个熟男的故事,义气豪迈,成熟稳重,不失热血的男儿,有一个等他多年的女子,也有对他钦慕的淑女。其实我是深受天龙八部里面乔峰的影响,也想写出一个这样的人。当然结局不是悲剧。---------------新书捕妖记...