停机问题（1 / 1）

加入书签

什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。

马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。

那什么又是不可以计算的？

首当其冲的是停机问题。令Z表示一个简单图灵机。关于Z，有如下判定：

对于一个给定的瞬间描述α，判定是否存在一个以α开始的对Z的计算。也就是说，我们希望如果给定初始状态，那么Z会不会最终停止？这就是Z停机问题。

最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”

↑返回顶部↑

数学大帝类型推荐阅读：全民攻防：我有签到系统钓鱼青年的快乐生活超级鉴宝师我有一个未来世界重生之百将图高武模拟器：我能逆天改命全职业模拟：我把天赋树玩坏了抑郁症的疯人日记诡异在敲门？那是我老婆！从海贼开始横推万界

《停机问题》《数学大帝》(蔡泽禹著)最新精彩章节，停机问题:《停机问题》《数学大帝》剧情介绍：什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。那什么又是不可以计算的？首当其冲的是停机问题。令Z表示一个简单图灵机。关于Z，有如下判定：对于一个给定的瞬间描述α，判定是否存在一个以α开始的对Z的计算。也就是说，我们希望如果给定初始状态，那么Z会不会最终停止？这就是Z停机问题。最后戴维斯数学大帝所有内容均来自互联网，趣书网只为原作者蔡泽禹的小说进行宣传。欢迎各位书友支持蔡泽禹并收藏数学大帝最新章节。请记住本章节地址：停机问题-数学大帝 https://www.qusw.cc/ahl/42218/3846158.html