8 決定可能性が不明である問題はありますか？問題は、問題が停止の問題ほど難しくないことは確かです。 computability reference-request undecidability — ARi ソース 参照その決定可能性が知られていない、単純な問題に理論計算機科学を。 — Kaveh
5 R ERERR たとえば、決定可能性が開いている4タイルのPCP問題を考えます。問題（またはREの他の問題）をHALTに減らすのは簡単です。 — シャウル ソース 2 HALT を4タイルで PCPに削減できることは知られていない。後者は未解決の問題です。 — Shaull、2015 1 それは言及されています（私はそれの決定可能性は知られていないと書いています、それはHALTからの知られた減少がないことを意味します）。 — Shaull、2015