2007-11-27 ■ 計算論 面白い定理。 述語 を とおくと、 は帰納的述語ではない。 ※とは簡単にいうとプログラムと入力列が与えられた時、計算結果を出すかいなかの述語。これから導かれる事柄として以下がある。 あるプログラムに対して、どんな入力に対しても必ず何らかの解答(エラー等も含め) を出力する事が好ましいが、こういった事柄の判別を完全に自動化する事は不可能である。