>>62
任意の入力に対して停止するかどうかを判定するのに
どちらの場合も確実に停止するPを仮定してるから大丈夫

>>65
「静的に判定」とは？

>>66
Pの解が一度に2通り出ることはありません