克莱尼–波斯特定理 克莱尼波斯特定理英語KleenePost Theorem是可計算性理論中關於不可解度的定理声称存在且可从停机问题计算出一对互相不可计算的不可解度