盘龙小说网

手机浏览器扫描二维码访问

第九十章 怪现象(第1页)

半群字问题的不可判定性,是人类发现的第一个并非有数学家制造,而是天然存在的不可判定性问题。

它也就意味着另一重真实。

“不可判定性,并不仅仅是局限于纯粹算理之中那么简单”。

它就好像是在强调“不可判定性”这个概念的客观性一样。

无数连宗修士如丧考妣。他们实在是无法相信,构成自己思维的语言,居然也蕴含着“不可判定性”的危险。

但是,一时之间,他们甚至都找不到反驳的由头。

因为,在“语言学”这一块上,王崎就占据着垄断地位,他使用算理与逻辑来处理文字问题。

这毫无疑问,就是一个离宗的领域。

连宗甚至找不到施展拳脚的点,无从发力。

“这……冯落衣,王崎,这一对师徒,是要联手灭门吗?”

有连宗修士惊恐的喊道。

但是,相比于连宗,离宗也同样难受。

这一篇论文,可是再一次强调了“不可判定性”的地位。

“这家伙,为了鼓吹自己,所以就拿我们来下手吗?”

有离宗修士也是恨得咬牙切齿。

王崎这一篇论文,无疑就是一记重拳,狠狠砸在离宗修士的脊梁骨上。

这一下,无论是离宗还是连宗,都没有讨到好处。

但是,很快,就有连宗逍遥做出回应了。

多位连宗逍遥已经结束了自己在征天司的现阶段任务,专心准备这一场论战。

现在,连宗内部,居然渐渐出现了新的方向。

他们居然尝试学习离宗的“逻辑”,吸收离宗的知识,用离宗的理论反击离宗。

这应当算是对冯落衣利用连宗“切断自指”的研究成果,进而开始研究排除自指集的做法进行反击。

而出乎意料的是,一向与世无争的雪国派,此时此刻,居然也流露出下场的意图。

雪国派现任领袖,“雪国主”柯寞歌【安德列·柯尔莫哥洛夫】也发表了新论文。

他对名为“可实现性”的理论,进行了全新的叙述。

雪国派也是连宗典范,也从属于“直觉派”,同样会对算君执弟子礼。

但是,雪国派的“直觉”,和算君的“直觉”,又有微妙的差异。

实际上,关于“直觉”的构造,不同的连宗修士也有不同的想法。

雪国主的论文指示出了一个奇异的事实。对于任意命题,存在对应的非命题,其非命题成立的则意味着该命题的荒谬。某非命题的证明,是把该命题的证明变换成荒谬的证明的函数。

荒谬的标准例子可以在算术中找到。假定0=1,并进行数学归纳法:0=0通过等同公理得到;(归纳假设)如果0等于特定自然数n,则1将等于n+1,但是因为0=1,所以0也等于n+1;通过归纳,0等于任何数,所以任何两个自然数都是相等的。

这显然是荒谬的。

或许用自然语言来叙述,这就是一个低等的笑话?但是在算理上,它确实是存在着重要的地位。

而几乎是同时,另一位连宗逍遥修士,也独立完成了类似的成果。

热门小说推荐
我的云养女友

我的云养女友

云养,是一种新兴的娱乐方式。一般是指因为条件限制,没办法自己养猫,养狗,养宠物的人,通过网络等方式,远程养这些宠物,借此获得心理的愉悦感。而在养的过程,这些人也会投喂,或者打赏,参与到养的过程中。像是真的拥有这个宠物一样。而职业玩家陈言,却无意中玩了个云养女友的游戏。只要给云养女友投喂食物或者买买买,就可以...

锦乡里

锦乡里

皇孙陆瞻前世与乡野出身的妻子奉旨成婚,一辈子貌合神离,至死相敬如冰。重生回来他松了口气,并决意从根源上斩断这段孽缘。不想等到一切如愿,他却忽然发现他前妻不,他妻子,他媳妇儿,孩他娘!不但也在一直像避瘟神似的避着他,而且还在他处心积虑揭破敌人阴谋且累得像条狗的时候,却把她小日子过得滋滋润润,在村里遛着狗,赏...

快穿:反派独宠小可爱

快穿:反派独宠小可爱

快穿1v1甜宠自从神魔大战以后,天宫上的人都知道小仙女阿司养了一条小黑龙。那条小黑龙可娇气了,不仅吃饭要喂,就连睡觉也要抱着。直到,小黑龙长成了大黑龙。他把阿司推下了轮回台,自己也跟着跳了下去。阿司,你不要我了吗?阿司,你抱抱我后来的后来,阿司轮回归来。魔尊上渊马不停蹄的杀上了天宫。阿司你出来,我...

最强天赋树

最强天赋树

如果宇宙是款游戏的话浩瀚宇宙,亿万世界,地球只是游荡在域外星空的孤独星球。而域内星域魔师纵横,他们探索基因深处的奥秘,追寻生命进化的最终形态,在无尽的岁月长河中前仆后继,踏出一条通往神坛之路。游戏高手风浩意外涉足这片星域,以逆天种族天赋张狂崛起,撼动整片星空!且看一棵来自地球的小树苗如何成长为参天大树。数据流玄...

医统花都

医统花都

医圣传人回归都市!他武功卓绝,崇尚暴力,拳头是解决问题的最佳途径。他医术超群,针灸无双,小小银针足以起死回生。他算命卜卦,无所不能,成为无数绝色美女的梦中...

财阀小娇妻:谢少宠上瘾!

财阀小娇妻:谢少宠上瘾!

记者采访富豪榜首谢闵行,谢总,请问你老婆是你什么?谢闵行心尖儿宝贝。记者不满足,又问可以说的详细一点么?谢闵行心尖子命肝子,宝贝疙瘩小妮子。这够详细了吧?记者们被塞狗粮,欲哭无泪,准备去采访某小妮子,谢少夫人,请问你丈夫是你什么?...