一秒记住【xiaoyanwenxue】精彩无弹窗免费!“数学大帝(.)”!
什么是可以计算的,只要把不可以计算的全部排除,剩下的就是全部可以计算的了。
马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。
那什么又是不可以计算的?
首当其冲的是停机问题。令Z表示一个简单图灵机。关于Z,有如下判定:
对于一个给定的瞬间描述α,判定是否存在一个以α开始的对Z的计算。也就是说,我们希望如果给定初始状态,那么Z会不会最终停止?这就是Z停机问题。
最后戴维斯说:“存在一种图灵机,其停机问题是递归无解的。”
请勿开启浏览器阅读模式,否则将导致章节内容缺失及无法阅读下一章。
相邻推荐:荒坟夜啼 德赫瑞姆的领主 我的重返2008 凤神临世 暮色倾尽好晨光 女神临世素手倾天 女领导的兵王司机 商界大佬想追我 爹地,大佬妈咪掉马了 限时婚约:前夫请签字 绝品保镖美总裁 一品夫人:农家医女 陆鸣血脉重生 恐怖复苏:开局激活酆都大帝模板 贴身侍卫 豪门绝宠之峥少溺爱狂妻 我的火影忍者果然有问题 全能金手指 [主咒回]社恐的我无所不能 楚扬苏芷洛小说