如何解决赖斯定理等于停止问题吗?
据我了解,Rice's Theorem似乎暗示着Halting problem的存在。也就是说,利用赖斯定理,我们可以证明停止问题是不确定的。但是,对我来说,似乎可以用证明停顿问题无法确定赖斯定理的证明来写证明。我不确定要如何证明这样的事情(尽管看起来矛盾是自然而然的事情),但是我觉得应该有可能 ? / p>
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。