西西文学网
西西文学网
玄幻奇幻
武侠修真
都市言情
历史军事
科幻灵异
网游竞技
女生频道
西西文学网
>
玄幻奇幻小说
>
数学心
> 第四百九十六章 停机问题
第四百九十六章 停机问题
上一章
←
章节目录
→
下一页
什么是可以计算的,只要把不可以计算的全部排除,剩下的就是全部可以计算的了。
马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。
那什么又是不可以计算的?
首当其冲的是停机问题。令z表示一个简单图灵机。关于z,有如下判定:
对于一个给定的瞬间描述α,判定是否存在一个以α开始的对z的计算。也就是说,我们希望如果给定初始状态,那么z会不会最终停止?这就是z停机问题。
最后戴维斯说:“存在一种图灵机,其停机问题是递归无解的。”
上一章
←
章节目录
→
下一页