是否可以描述一个不可能实现的功能？

Question

我学习理论计算机科学与我遇到这样一个问题：

给出的例子，采用N作为输入和输出（是，否），使得有可以实现这个功能没有Java程序的功能。

我该如何解决这个问题？我不能正确理解这一点，因为我觉得Java程序总是可以从上面给出的语句中完成。

Answer 1

如果我理解正确的问题，任何undecidable决策问题将是一个正确的答案。

的halting problem是最有名的不可判定问题，你可以使用Gödel numbering任何输入程序编码为数字N.

Answer 2

停机问题将是一个例子，对于一个给定的节目源，第二个程序无法确定输入程序是否会终止。