波斯纳–罗宾逊定理（）是可计算性理论中关于不可解度的定理。
定理.设 formula_1 不可计算，则存在集合 formula_2 令 formula_3。
证明.这一定理证明如下：令 formula_4，则 formula_5 可以看作是一个函数 formula_6，具体定义为 formula_7 当且仅当存在 formula_8 使 formula_9。然而 formula_5 的每一个元素都可以用自然数编码，因此 formula_5 本身也是 fo