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