莱斯定理

莱斯定理（Rice's theorem）是可计算性理论中的一条定理，由亨利·戈登·莱斯于1953年提出。是所有图灵可计算函数构成的集合， 是 的一个非空真子集，即： 。将图灵机以某种方式编码，使得每一个 都唯一对应一个图灵机 。