然而ra9与红城模拟出来的《三次世界》却表现出了近乎完美的底层逻辑,甚至可以解决图灵停机问题。
——为什么说上帝不是全能的?因为祂无法创造一颗连自己都举不起来的石头,假如祂创造出来了,那祂举不起自己创造的石头,同样不算全能。
这是逻辑上的不自洽与不完备。
同样的,一个机器是无法理解自己是否需要中断当前程序这个概念的,遇到死机,机器要么就一直这么卡死着,要么就根据预先的程序设定,弹出选项交给使用机器的人来决定是否中断。
假如世界上存在一台可以判断程序是否会引起停机的机器中止机器)。那么必然存在一个杠精机器反对机器)。
假如h判断一个程序不会引起停机,则n接收到此信息后会停机,假如h判断一个程序会引起停机,则n接受信息后不会停机。
把h与n整合成新的一个机器整体机器)。
让机器a判断机器a是否会卡死。
假如h给出会引起停机的指令,那么n就不会卡死,也就是a不会卡死,因此h判断错误。
假如h给出不会引起停机的指令,那么n就会卡死,也就是a会卡死,因此h判断失误。
综上所述,h不存在,或者说完美的h不存在。
内容未完,下一页继续阅读