的。”王崎摇头道：“自我指涉是绕不过去的。” 自我指涉，同样是λ算法绕不过去的坎。 这个名为λ的算法当中，λ的原型是一个函数。在定义λ项的时候，它被允许将任意一个函数处理成另一个λ项。 既然是“任意一个函数项”，那必然就包含了λ项自身。 那么，它能够处理自身吗？ “自我指涉，多么神奇的一个概念。”图灵真人赞道：“我感觉，我们现在工作的核心部分都和它息息相关了。” “‘此言不真’的真假之辨，都已经存在了上万年，但王崎之前，未有人认识到它内
如需阅读完整内容，请在手机端进行阅读。
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。