今天读《哥德尔、艾舍尔、巴赫——GEB 集异璧之大成》，看到“自指”的论述，突然想起以前学自动机理论时的“停机问题”。该问题上课前看书就看明白了，考试完了又忘了，后来又想起来看过一次，现在又忘了——可见，我是不懂装懂。
我之前其实没搞明白：怎么这么一个程序H2，当作 输入P给另一个H2后，它的存在性还受到另一个它的影响？？每个H2不是可以有自己的输入么？这个递归、这个循环是如何实现的？？
所谓自指，那么，关于它的陈述是全称量化的。也就是说，如果定义了这个H2对于对于所有输入，都是按照预定逻辑输出；那么，这种全称，就是对于每一个H2实例都是成立的。
今天的文章停机问题,哥德尔定理怎么解决_西姆松定理的逆定理证明分享到此就结束了，感谢您的阅读。
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。
如需转载请保留出处：https://bianchenghao.cn/68767.html
