language-agnostic - 您什么时候遇到过现场停机问题？

Question

关闭。这个问题是 opinion-based 。目前不接受答案。

---

想要改进这个问题吗？更新问题，以便 editing this post 可以用事实和引文来回答它。 .

已关闭 9 年前。

Improve this question

您什么时候亲自遇到过 halting problem 在现场？这可能是当同事/老板提出的解决方案会违反计算的基本限制时，或者当您意识到自己试图解决的问题实际上是不可能解决的时候。

我最近一次想到它是在研究类型检查器时。我们类意识到编写一个完美的类型检查器(接受所有没有类型错误运行的程序，并拒绝所有有类型错误运行的程序)是不可能的，因为这实际上可以解决停止问题。另一个是当我们意识到，在同一个类中，在类型检查阶段不可能确定除法是否会被零发生，因为在运行时检查数字是否为零也是如此停止问题的一个版本。

Answer 1

我实际上被分配了停止问题，就像“编写一个监视器插件来确定主机是否永久关闭”一样。严重地？好的，所以我就给它一个阈值。 “不，因为之后它可能会回来。”

随后进行了大量的理论阐述。