“笔趣阁”最新网址:https://www.dijiuzww.net,请您添加收藏以便访问
当前位置:笔趣阁 > 武侠修真 > 打穿steam游戏库 > 【 第七百一十六章 当时鹿正康害怕极了 】 (2 / 4)

【 第七百一十六章 当时鹿正康害怕极了 】 (2 / 4)

上一章 章节列表 下一页
好书推荐: [电竞]双杀我男朋友枪很刚(完结)FOG[电竞]+番外电子竞技存在一见钟情吗?双向狙击[电竞]+番外丧偶型下路[电竞]中单打野啦领主求生:从残破小院开始攻略隔壁那个AD好像暗恋我+番外末世神级育种师
        然而rA9与红城模拟出来的《三次世界》却表现出了近乎完美的底层逻辑,甚至可以解决图灵停机问题。

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

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

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

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

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

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

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

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

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

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

        内容未完,下一页继续阅读
上一章 章节列表 下一章
新书推荐: 降服女帝,我混沌剑主吊打神明蔷薇之恋小说重生后我成了妻管严你这个磨人的小妖精道侣要从小开始养【被仙界帝君强行宠】黑暗游戏:罪孽救赎篮坛科学家穿越到TVB撮合男主与女二别人打职业,你是来打集锦的?网王:开局大招雷鸣八卦