手机浏览器扫描二维码访问
第九十章怪现象
半群字问题的不可判定性,是人类发现的第一个并非有数学家制造,而是天然存在的不可判定性问题。
它也就意味着另一重真实。
“不可判定性,并不仅仅是局限于纯粹算理之中那么简单”。
它就好像是在强调“不可判定性”这个概念的客观性一样。
无数连宗修士如丧考妣。他们实在是无法相信,构成自己思维的语言,居然也蕴含着“不可判定性”的危险。
但是,一时之间,他们甚至都找不到反驳的由头。
因为,在“语言学”这一块上,王崎就占据着垄断地位,他使用算理与逻辑来处理文字问题。
这毫无疑问,就是一个离宗的领域。
连宗甚至找不到施展拳脚的点,无从发力。
“这……冯落衣,王崎,这一对师徒,是要联手灭门吗?”
有连宗修士惊恐的喊道。
但是,相比于连宗,离宗也同样难受。
这一篇论文,可是再一次强调了“不可判定性”的地位。
“这家伙,为了鼓吹自己,所以就拿我们来下手吗?”
有离宗修士也是恨得咬牙切齿。
王崎这一篇论文,无疑就是一记重拳,狠狠砸在离宗修士的脊梁骨上。
这一下,无论是离宗还是连宗,都没有讨到好处。
但是,很快,就有连宗逍遥做出回应了。
多位连宗逍遥已经结束了自己在征天司的现阶段任务,专心准备这一场论战。
现在,连宗内部,居然渐渐出现了新的方向。
他们居然尝试学习离宗的“逻辑”,吸收离宗的知识,用离宗的理论反击离宗。
这应当算是对冯落衣利用连宗“切断自指”的研究成果,进而开始研究排除自指集的做法进行反击。
而出乎意料的是,一向与世无争的雪国派,此时此刻,居然也流露出下场的意图。
雪国派现任领袖,“雪国主”柯寞歌【安德列·柯尔莫哥洛夫】也发表了新论文。
他对名为“可实现性”的理论,进行了全新的叙述。
雪国派也是连宗典范,也从属于“直觉派”,同样会对算君执弟子礼。
但是,雪国派的“直觉”,和算君的“直觉”,又有微妙的差异。
实际上,关于“直觉”的构造,不同的连宗修士也有不同的想法。
雪国主的论文指示出了一个奇异的事实。对于任意命题,存在对应的非命题,其非命题成立的则意味着该命题的荒谬。某非命题的证明,是把该命题的证明变换成荒谬的证明的函数。
荒谬的标准例子可以在算术中找到。假定0=1,并进行数学归纳法:0=0通过等同公理得到;(归纳假设)如果0等于特定自然数n,则1将等于n+1,但是因为0=1,所以0也等于n+1;通过归纳,0等于任何数,所以任何两个自然数都是相等的。
这显然是荒谬的。
或许用自然语言来叙述,这就是一个低等的笑话?但是在算理上,它确实是存在着重要的地位。
捡到病娇太子之后(重生) 时光请善待我的她 烈火燃情:高冷总裁滚远点 废材重生:邪王独宠悍王妃 最强除妖师 我是狠人大帝的同乡 系统之娇宠孕妻 眼镜兄撞上恶魔王子 天地炼成 断神 娱乐超级奶爸 大明孤狼 赌妃在上,王爷在下 直播和男神同居的日子 一爱到底之顾少毒妻 穿越之弃子国师 神偷长公主 扛着boss拼下限(末世) 天黑请开眼 悍妻[医道]
蛮族德鲁伊,近战弓箭手,肌肉猛汉A穿各大位面。好吧,这是一本披着游戏皮的原创异界奇幻如果您喜欢暗黑流放世界,别忘记分享给朋友...
身为杀手的我,在一场任务中,敌人没杀到,倒是自己先死了。如果您喜欢吻过千年的你,别忘记分享给朋友...
重生前,她作天作地,只想跟他离婚,离婚,还是离婚,直到她遇险,他救她而亡。重生后,她欢天喜地,只想爱他,爱他,好好爱他。只是某人太高冷,怎么办?无妨,她十八般武艺齐上阵,何况还有一个‘狐狸’军师。于是,她一手虐渣,一手撩他,幸福的日子乐开了花。报告,有人向嫂子表白。什么?我慕千城的媳妇也敢抢?来人,把那不长眼的小子给我带来,我要好好的和他聊聊人生。...
她是欧阳家有名的废物,天生懦弱,出嫁路上被夫君当众休妻!是可忍孰不可忍!再次睁眼,她再非昔日的废物小姐!欠我的,我要他十倍偿还,家破人亡!伤我的,我要他根断种绝,身死族灭!极品丹药?算什么,姐是天才丹药师,极品丹药,她随手抓来当糖吃!高阶灵兽算什么?她随手一挥,圣兽千万头!谁人能比她嚣张?美男算什么?没看九天十地,...
将球放在点球点上,看着郑龙站在球门前,C罗恨得直咬牙。这该死的混蛋!一定是打了兴奋剂!不然怎么可能将我们的射门全部挡在门外了!这不科学!梅西将头点的如同啄木鸟一样。对!小小罗你说的太对了。对方一定是打了兴奋剂。不然不科学!如果您喜欢坚守最后一道防线,别忘记分享给朋友...
23年前,一场阴谋让他失去了母亲,而那天正是他出生的日子。23年后,又一场刻意针对他的车祸反而使得这一场阴谋被慢慢揭开…如果您喜欢校花的全能教师,别忘记分享给朋友...