检查所有输入的功能是否停止

Question

我想写一个程序来检查一个函数，比如说f停止输入的所有值。简而言之 -

haltChecker = function (arg) => bool

e.g。在JavaScript中，

bool haltChecker ( f(a) ){
    return {f halts for all values of a};
}

JS中的解决方案不是必需的，任何语言都可以。

感谢。

Answer 1

halting-problem是不可判定的。好运。

举一个简单的例子，考虑Collatz conjecture（实际上，这是一个不好的例子，因为它没有被证明是不可判定的 - 但它表明问题很难：）。

Answer 2

你可以用this惊讶你的教授。

Answer 3

这也是Halting Problem知道的，并且无法用这种通用形式解决。您可以做的最好的事情是编写一个程序，如果函数对所有输入都停止，它可能会返回true但它也可能无限期地运行。