>>37
Pが「無限ループするかどうかを確実に検出する」んだから
P'が無限ループするかどうかは判定できるじゃん。
>P'自身を判定させてみよう
言うまでも無く判定できる。
意味があるのはここまで。

問題はその後の文、
「言ってることが完全に矛盾しているので、」
この言葉がどこに掛かるのか不明。
つまり問題が矛盾してるという認識を行った時点で、
問題の作り方から間違ってるのだから、何も証明したことにはならず、
単に駄文を晒してるだけ。