2018年9月6日
停机问题的证明是否有点含糊？
摘要： 看过离散数学上的证明。 也在知乎上搜过。 还有刘未鹏关于停机问题的那篇的博客http://mindhacks.cn/2006/10/15/cantor-godel-turing-an-eternal-golden-diagonal/ 基本都是文字加代码论述，但我始终有几个问题没太想明白，感觉证明得牵 阅读全文
posted @ 2018-09-06 15:08 AlphaWA 阅读(482) 评论(0) 推荐(0) 编辑