盘龙小说网

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

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

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

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

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

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

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

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

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

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

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

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

有连宗修士惊恐的喊道。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

这显然是荒谬的。

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

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

热门小说推荐
静哥哥每天都醋不停

静哥哥每天都醋不停

某男咬牙切齿逼近怎么撩走了我的心就想始乱终弃了?嗯?面前冷峻妖孽发出危险讯号,靳天心里打鼓心虚的一匹,却还想着逃,非常欠抽道咱们不是一路人,你大人大量放过我?某男脸孔发黑怎么就不是一路人了!靳天一本正经我不想负责,也不想被负责,而想负责的你和我不是一路人。某男掐住靳天下巴!从你嘴里说出...

大殷女帝

大殷女帝

九州大陆第二篇一朝身死,紫金宫垂落。一夕重生,凤华重起。聂青婉,大殷帝国太后,一指抵定了大殷江山的女人,却因为扶持了继承人后死于非命,再次醒来,她成了晋东王府中因拒嫁入皇宫而吞食了毒药一命呜呼的华北娇。嫁给殷皇?聂青婉真没想到,刚醒来就遇上这等好事儿。不用费功夫,一个婚礼就能成全她,何乐而不为?没有嫁衣,她依然义无反顾地嫁了,自此,庙堂之上,后宫之中又多了一张翻云覆雨手。年轻深邃的帝王你的身上有一股很熟悉的气息。聂青婉什么气息?他看着她,目光孤傲如月,面孔俊冷如刀,这个指腹沾满了鲜血的男人倏然伸出手,理了一下她的青丝,不温不热地说令人心动的气息。后来,她宠冠后宫。只可惜,她要的从来不是他的恩宠,而是他的帝王座。PS深情系列古文③爱吾所爱,便是王道。...

一世之雄

一世之雄

原生家庭的伤害有多大,或是自卑懦弱,毫无自信或是暴力成性,锒铛入狱亦或撕裂婚姻,妻离子散无数次痛彻心扉的感悟后,有的人,用一生来治愈童年有的人,用童年治愈一生。...

最佳上门女婿

最佳上门女婿

被迫当了八年废物的我,却有一个貌美如花的老婆,现在丈母娘打算把我老婆推给富二代!...

我居然是这种身世

我居然是这种身世

被女友甩后,周小昆接到了老爸的电话儿子啊,咱家其实有座矿,你是个富二代啊!穷了二十年了,原来自己是个富二代,周小昆不知道是该哭还是该笑...

奇侠系统

奇侠系统

新书万界时空大穿越,欢迎捧场!游戏之中的一代剑尊凌锋穿越异界,却发现系统附身,只要斩杀身负罪恶值之人,不仅可以获得精气值,还可以获取侠义值。侠义值可以兑换功法灵丹神兵等等。于是,凌锋走上了一条杀生斩业之路,逆天崛起,横推异界。...