图灵为什么用图灵机模型证明了判定性问题不可解

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