0130132人目の素数さん垢版 | 大砲2018/08/05(日) 21:33:52.31ID:xO+6a1PH >>120 任意の計算不可能関数fを計算機が扱える適当な形式言語で記述して、その関数に代入する十分大きいxを用意して、f(x)=yが成り立つとして、 fとxのコードが入力されてもf(x)=yが成り立つかどうかを判定するアルゴリズムが存在しない、という意味での決定不可能です。