波斯纳–罗宾逊定理

波斯纳–罗宾逊定理（Posner–Robinson Theorem）是可计算性理论中关于不可解度的定理。设 不可计算，则存在集合 令 。