第(2/3)页 同样的,一个机器是无法理解自己是否需要中断当前程序这个概念的,遇到死机,机器要么就一直这么卡死着,要么就根据预先的程序设定,弹出选项交给使用机器的人来决定是否中断。 假如世界上存在一台可以判断程序是否会引起停机的机器:h(machinehalt中止机器)。那么必然存在一个杠精机器n(machineno反对机器)。 假如h判断一个程序不会引起停机,则n接收到此信息后会停机,假如h判断一个程序会引起停机,则n接受信息后不会停机。 把h与n整合成新的一个机器a(machineall整体机器)。 让机器a判断机器a是否会卡死。 假如h给出会引起停机的指令,那么n就不会卡死,也就是a不会卡死,因此h判断错误。 假如h给出不会引起停机的指令,那么n就会卡死,也就是a会卡死,因此h判断失误。 综上所述,h不存在,或者说完美的h不存在。 早在《三次世界》虚拟战争时期,中国方的内测员就已经验证过图灵停机问题,结果是制作出来的模型机成功完成了一次停机,虚拟世界没有因算力逼近布雷默曼极限进而毁灭:某种意义上来说,也意味着真实。 这当然是不可能的,人类的科学还没有发展到研究出超图灵机的地步。可这个结果在内测时期似乎没有出乎黑毛怪等老大哥们的预计,显然他们多少接触了解过背后的奥秘。 当然,鹿正康自然有一套解释理论:假设现实也处在模拟中(祂现在很能接受这个理论),而且是超图灵机的模拟世界,就像是套娃一样,超维的存在让《三次世界》这个弟中弟成功完成图灵停机。 对虚拟人物来说,对自己的存在哲学想太多无疑是杞人忧天,与其如此,不如祷告那个正在游玩自己这个“账号”的高维存在多氪些金,让自己的生活过得好些,至少把装备坐骑什么的升级一下,最好能找个情侣号一起享受美好时光……不是海苔。 鹿正康触摸着红城的残骸,她的尸骨很干燥,就像木乃伊一样干燥。 “公民,你来了。”嘶哑的低语在鹿正康耳边响起。 第(2/3)页