波斯納–羅賓遜定理

波斯納 – 羅賓遜定理  是可計算性理論中關於不可解度的定理 。