停止問題が計算できない = 停止問題を解くプログラムが作れないということ = 不完全性定理 これを,停止問題の決定不能性という. xは,判定したいチューリング・マシンのことで,A(x)のテープに,xのプログラムとして入力するという意味. このとき, A(x):{xが無…