停止性問題

ここで, 万能TMを用いて, あるTMを受け取ってそのTMが停止するかどうかを判定するTMが作れるかという疑問が出る -> これは作れない.

余談: 兵庫県警を用いた停止性問題の解法がある.
兵庫県警を使って停止性問題を解決する（というジョーク） - Qiita

余談: ゲーデルの不完全性定理は決定不能(証明も反証も出来ない)な命題の存在を主張する.
ゲーデルの不完全性定理 - Wikipedia
余談: 連続体仮説 も決定不能問題