免费阅读
返回
菜单
上一章查看最新章节下一章

第二百三十章 “大道圣音”【下】

作品:走进修仙作者:吾道长不孤
如果本章错误,请点击报错10秒纠正

王崎摇头道:“自我指涉是绕不过去的。”

自我指涉,同样是λ算法绕不过去的坎。

这个名为λ的算法当中,λ的原型是一个函数。在定义λ项的时候,它被允许将任意一个函数处理成另一个λ项。

既然是“任意一个函数项”,那必然就包含了λ项自身。

那么,它能够处理自身吗?

“自我指涉,多么神奇的一个概念。”图灵真人赞道:“我感觉,我们现在工作的核心部分都和它息息相关了。”

“‘此言不真’的真假之辨,都已经存在了上万年,但王崎之前,未有人认识到它内里的恐怖内涵。”冯落衣点点头,同意了图灵的看法。

不完备也是,不可判定也是。这个“自我指涉”,好像就是逻辑上的一个界碑。它就是算学本身界限上,一个显眼的界碑。

仿佛就是有这么一条界限,牢牢限制住了逻辑的发展。

跨过这个界限,要么就只能面对无穷无尽的死循环,要么就只能自相矛盾,站不稳跟脚。

如何绕过这个限界,一度是数学家们最关心的问题。

“这次的尝试,算是败了。”图灵真人缓缓说道:“这个被我成为万象算法的算术,还有其他意义,我过些时候再整理出来。接下来我讲的,却是我个人的一个小小想法。”

“假如——只是假如。”图灵真人强调道:“若是我们真的可以绕过那个界限——这里我们暂且不管具体是怎么绕过的,只说我们可以做到这一点。就当天道突然就得廉价了,‘大道之音’‘梵圣禅唱’之类的灵犀充盈与天地之间,然后我们可以轻易的建立这么一台算器,它直接连通大道,可以给定一切特定问题的答案……”

王崎心中明了。图灵真人说的,在地球上便被称作“谕示机”。

“谕示机”,是另一连着“上帝”的图灵机,是关着先知的黑箱。假如说,有一个谕示机带有素数判定谕示,它除了能做普通图灵机能做的一切事情以外,还能瞬间判定纸带上写的某个自然数是否素数,而不需要实际去计算。

那么,一些原本涉及自我指涉、涉及矛盾的问题,谕示机能够解决吗?

比如说,自我指涉引发的矛盾。

“这就是最近做出的另外一个猜想了。这个‘自我指涉’,究竟能不能绕过去呢?”图灵真人苦笑:“虚构出的大道圣音,究竟能不能解决这个问题?”

数学经常有这种证明方法,就是先假定一个东西存

…。。
   本章没完,请点击下—页继续阅读!如果被转码了请退出转码或者更换浏揽器即可。
  温馨提示:亲爱的读者,如果你觉得本站还好,为了避免丢失和转马,请勿依赖搜索访问,建议你使用[华为刘揽器]或[Firefox火狐刘揽器]访问并收蔵【书控书吧】 m.shkuangneng.com。我们将会持续为你更新,还建议你注册会员使用书架功能追书阅读更方便。
上一页 1234下一页
上一章查看最新章节下一章
临时书架加入书签回顶部↑

看了《走进修仙》的书友还喜欢看

逃荒路上,别人饿晕我家顿顿吃肉
作者:王小渔
简介: 【甜宠+穿越+空间】大旱饥荒,全村啃树皮饿到晕厥,林苗却手握整座超市灵泉,米面鲜肉、...
更新时间:2026-10-26 22:16:44
最新章节:第272章 死人了
我的人格超会演【卡牌扮演】
作者:烟火喵喵
简介: 现代诡异、女频但男主且无CP、群像、马甲文、规则类无限流。\n诡异降临地球的第十年,...
更新时间:2026-10-26 22:03:39
最新章节:第322章 跳格子规则(为用户名82216815的大神认证加更)
重生70年代,开局接盘美艳娇妻
作者:作者浪里小白龙
简介: 「重生+年代+打猎种田+无系统」\n一场意外,特种兵陆峰重生到1975年的东北,成了...
更新时间:2026-10-26 22:09:15
最新章节:第1480章 危急控场,决议迫降
足球:国足开除,奖励远射必进卡
作者:不正不
简介: 华夏少年天崩开局,被曼联青训跟国足u17双双开除!但叶辰没有放弃,而是继续自己的足球...
更新时间:2026-10-26 22:09:53
最新章节:第3753章 球神光环的三重效果!
重生之煤老板旗下的艺人
作者:吃吃吃的眠
简介: 影视剧司审核部三级科员林星灼,重生到2009年,发现自己成为了一家煤老板投资的影视公...
更新时间:2026-10-26 22:01:00
最新章节:第六百四十九章 抢话筒?思想钢印!
明末,我冒充建文后裔
作者:白日做梦幻想家
简介: 大明崇祯八年,被后世史学家称为乱世终结的起点,大明中兴之始。对此,我做出了不可磨灭的...
更新时间:2026-10-26 22:00:00
最新章节:第261章 五日,五日内抵达京师
书名:

本站若有图片广告属于第三方接入,非本站所为,广告内容与本站无关,不代表本站立场,请谨慎阅读。

Copyright © 2020 书控书吧 All Rights Reserved.kk

SiteMap