>>75
停止問題の話をしてるんだから、そんな変な状況は想定しないでしょ
P(x)というのは、xがいかなる条件に対しても必ず停止するならtrue
xがある条件に対しては停止しないことがあるならfalse
という判定（trueとfalseはどちらでも構わないけど）
これなら判定結果が必ず一意に決まるが、そうでなければ確実に判定
なんて通常は言わない

>>78
Pの入力にするxのほうのつもり
まあP'に渡したxも結局Pに渡すので同じ意味にとってもらって大丈夫だと思うけど