【发布时间】：2017-08-27 20:32:39
【问题描述】：
我正在学习理论计算机科学，我遇到了这个问题：
举一个函数的例子，它以 N 作为输入和输出（是，否），这样没有 Java 程序可以实现这个函数。
我将如何解决这个问题？我一定没有正确理解这一点，因为我觉得 Java 程序总是可以从上面给出的语句中生成。
【问题讨论】：
-
断章取义，这毫无意义。
标签： computer-science theorem-proving
【发布时间】：2017-08-27 20:32:39
【问题描述】：
如果我正确理解问题，任何undecidable 决策问题都是正确答案。
halting problem 是最著名的不可判定问题，您可以使用Gödel numbering 将任何输入程序编码为数字 N。
【讨论】：
暂停问题就是一个例子，给定程序的源代码，第二个程序无法绝对判断输入程序是否会终止。
【讨论】：