莱斯定理 莱斯定理Rices theorem是可计算性理论中的一条定理由亨利戈登莱斯于年提出定理指出递归可枚举语言的所有非平凡nontrival性质都是不可判定的 非平凡是指仅被部分递归可枚举语言具有的特性