克萊尼–波斯特定理

克萊尼 – 波斯特定理  是可計算性理論中關於不可解度的定理 ， 聲稱存在且可從停機問題計算出一對互相不可計算的不可解度 。