波斯纳–罗宾逊定理
（数理科学术语）
波斯纳–罗宾逊定理（Posner–Robinson Theorem）是可计算性理论中关于不可解度的定理。设 不可计算，则存在集合 令 。
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0
/
0
题库进度：
0
/
0
技能进度：
0
/
关注级别：
取消关注
【参数模块正在开发当中】