Rice 定理

如果 是 遞迴可列舉集 的一個類，那麼其定義域屬於 的函式的 哥德爾數 的集合被稱為其 索引集。 如果 的 索引集 是一個 遞迴集，那麼要麼 是空集，要麼 包含所有 遞迴可列舉集。

Rice 定理是計算機科學的一個重要結果，因為它為該領域的研究設定了界限。它基本上說明，只有程式的微不足道的屬性是演算法上 可判定的。