打穿steam游戏库【 第七百一十六章 当时鹿正康害怕极了 】 (2 / 4)(1/2)
dijiuzww.net[笔趣阁],新地址请收藏!
        然而rA9与红城模拟出来的《三次世界》却表现出了近乎完美的底层逻辑,甚至可以解决图灵停机问题。

        ——为什么说上帝不是全能的?因为祂无法创造一颗连自己都举不起来的石头,假如祂创造出来了,那祂举不起自己创造的石头,同样不算全能。

        这是逻辑上的不自洽与不完备。

        同样的,一个机器是无法理解自己是否需要中断当前程序这个概念的,遇到死机,机器要么就一直这么卡死着,要么就根据预先的程序设定,弹出选项交给使用机器的人来决定是否中断。

        假如世界上存在一台可以判断程序是否会引起停机的机器:  Halt中止机器)。那么必然存在一个杠精机器  No反对机器)。

        假如H判断一个程序不会引起停机,则N接收到此信息后会停机,假如H判断一个程序会引起停机,则N接受信息后不会停机。

        把H与N整合成新的一个机器  All整体机器)。

        让机器A判断机器A是否会卡死。

        假如H给出会引起停机的指令,那么N就不会卡死,也就是A不会卡死,因此H判断错误。

        假如H给出不会引起停机的指令,那么N就会卡死,也就是A会卡死,因此H判断失误。

        综上所述,H不存在,或者说完美的H不存在。

        内容未完,下一页继续阅读
小说网址:http://m.dijiuzww.net/book/42_42227/
上一章 目录 下一页
   加入书签 我的书架 万相之王

热门小说推荐

最近入库小说