米の定理をどのように適用できますか？

Question

私の計算性と複雑さ試験を学び、問題を決定するかどうかを決定するための演習が常にあります。

過去の試験の一つでは、次の問題がありました：

チューリング機Mは、Mが停止する素数があるかどうかを決定します。

問題が解決したかどうかを判断することになっています。

問題を言語に書き換えることができる $ l={\ langle m \ rangle | \ enests p \ in \ mathbb {p}：m（p）\ downarrow \} $ 。私は米の定理を使って言語が決まっていないことを証明することができるヒントを与えられました。私は実際に苦労しています、私は米の定理を（一般的な任意の）問題にどのように適用すべきかについてはわかりません。

私はこれらの質問に興味があります：

1. 米の定理が適用されているかどうかはどうやって見つけることができますか？
2. 見つけたら、それを適用する方法？ （特にこの排他的）

あらゆる助けがあります。

Answer 1

これは、この単純な問題のために過剰になる米の定理を使用しないもう1つの基本的な証拠技術です。

TURIUNCH MACHION FAMERY $ f（a）$ は、2以外の入力のために無限ループに入ります。="math-container"> $ A $ 。任意のものです。

今すぐ最初の問題を決定することができれば、 $ f $ を使用して停止するかどうか任意の入力なしチューリングマシンを決定できます。しかし、これは明らかに未定であるため、あなたの元の問題も同様です。