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

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

查看全部
yangkailinhanhou
yangkailinhanhou
2015/08/08 02:55
  • 计算机科学
  • 点赞
  • 收藏
  • 回答
    私信

1个回复