Wikiがわかりやすかった。 停止性問題 - Wikipedia まず、プログラムが停止するかどうかを判別できるプログラムH(A)が存在したと仮定する。(この仮定が結果的に矛盾を生じる) プログラムH(A)は引数としてプログラムAを取り、プログラムAが停止する場合はYES…