Is Rice's Theorem equivalent to the Halting problem?

后端 未结 0 498
渐次进展
渐次进展 2021-01-07 06:34

As I understand it Rice\'s Theorem seems to imply the existence of the Halting problem. That is, with Rice\'s Theorem, we can prove that the Halting problem is undecidable.

相关标签:
回答
  • 消灭零回复
提交回复
热议问题