^Robert I. Soare. Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets. Springer. 2004. ISBN 9780387152998(英语).[页码请求]
克莱尼, 波斯特定理, 英語, kleene, post, theorem, 是可計算性理論中關於不可解度的定理, 声称存在且可从停机问题计算出一对互相不可计算的不可解度, 内容, 编辑存在不可解度, displaystyle, nbsp, displaystyle, mathbf, prime, nbsp, displaystyle, mathbf, prime, nbsp, displaystyle, nbsp, 互不可计算, 相关定理, 编辑弗里德堡, 穆奇尼克定理是的强化形式, 波斯特定理, 波斯纳, 罗宾. 克莱尼 波斯特定理 英語 Kleene Post Theorem 是可計算性理論中關於不可解度的定理 声称存在且可从停机问题计算出一对互相不可计算的不可解度 1 内容 编辑存在不可解度 A B displaystyle A B nbsp 使 0 T A displaystyle mathbf 0 prime geq T A nbsp 0 T B displaystyle mathbf 0 prime geq T B nbsp 且 A B displaystyle A B nbsp 互不可计算 相关定理 编辑弗里德堡 穆奇尼克定理是克莱尼 波斯特定理的强化形式 波斯特定理 克莱尼 波斯特定理 波斯纳 罗宾逊定理 跳躍逆轉定理参考资料 编辑 Robert I Soare Recursively Enumerable Sets and Degrees A Study of Computable Functions and Computably Generated Sets Springer 2004 ISBN 9780387152998 英语 页码请求 nbsp 这是一篇與计算机相關的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 克莱尼 波斯特定理 amp oldid 55531336, 维基百科,wiki,书籍,书籍,图书馆,