问题描述
- 图灵为什么用图灵机模型证明了判定性问题不可解
-
最近在读图灵的两本专著,《艾伦图灵传如谜的解谜者》《图灵的秘密》,其中图灵的秘密写得真好。从康托的集合论讲到超越数。
其中我不明白的是,为什么利用图灵机模型可以证明可判定性问题不可解。
解决方案
参考:https://en.wikipedia.org/wiki/Halting_problem
时间: 2024-11-06 07:22:31
参考:https://en.wikipedia.org/wiki/Halting_problem