>>754
任意のプログラムに対してそれが無限ループを含むか判定するプログラムが存在するかってことじゃないか?