表的内容
图灵的不可判定性定理
逻辑
反馈
谢谢你的反馈
我们的编辑器将检查你提交并决定是否修改这篇文章。
外部网站
也称为:Church-Turing定理
了解这个话题在这些文章中:
数学的基础
元逻辑
-
在元逻辑:不可判定性定理和减少类
图灵的方法证明这类问题是不可判定的特别提示。一旦机械过程结晶的概念,它是相对容易找到绝对无法解决的problems-e.g。停止的问题,要求每一个图灵机的问题是否会…
阅读更多