Rice 定理

如果 是 递归可枚举集 的一个类，那么其定义域属于 的函数的 哥德尔数 的集合被称为其 索引集。 如果 的 索引集 是一个 递归集，那么要么 是空集，要么 包含所有 递归可枚举集。

Rice 定理是计算机科学的一个重要结果，因为它为该领域的研究设定了界限。它基本上说明，只有程序的微不足道的属性是算法上 可判定的。