実装が不可能な機能を記述することは可能ですか？

Question

私は理論コンピュータサイエンスを勉強していますし、私はこの質問に遭遇：入力と出力としてNを取る関数の例を与える

を（はい、いいえ）この機能を実装することができます何のJavaプログラムが存在しないようにします。

どうすればこの問題を解決できますか？私はこれを正しく理解してはいけません。なぜなら、Javaプログラムは常に上記のステートメントから作成できるように思えるからです。

Answer 1

質問が正しく理解できれば、undecidableの決定に問題はありません。

halting problemが最も有名な決定不可能な問題であり、あなたが一例であろう数N.

Answer 2

停止問題として、任意の入力プログラムを符号化するためにGödel numberingを使用することができ、プログラムの与えられたソース、第2のプログラム入力プログラムが終了するかどうかは絶対に分かりません。