赖斯定理

如果是一类递归地可枚举集，然后是哥德尔数其域属于的函数的被称为its索引集。如果索引集属于是一个递归集，然后任何一个为空或包含全部递归可枚举集.

赖斯定理是计算机科学的一个重要结果，因为它为该领域的研究建立了边界。它基本上说明了程序只有琐碎的属性在算法上可判定的.

另请参见

可决定,哥德尔数,递归可枚举集,无法确定

此条目由贡献亚历克斯萨哈罗夫(作者链接)

与Wolfram一起探索| Alpha

更多需要尝试的事情：

工具书类

M.戴维斯。可计算性和不可解性。纽约：多佛，1982年。赖斯，H.G。“类递归可枚举集及其决策问题。"变速器。阿默尔。数学。Soc公司。 74, 358-366, 1953.H·罗杰斯。理论递归函数和有效可计算性。马萨诸塞州剑桥：麻省理工学院出版社，1987沃尔夫拉姆，S。A类新型科学。伊利诺伊州香槟市：Wolfram Media，p1137,2002

参考Wolfram | Alpha

Rice定理

引用如下：

亚历克斯·萨哈罗夫“赖斯定理”摘自数学世界--Wolfram Web资源，创建人埃里克韦斯特因.https://mathworld.wolfram.com/RicesTheorem.html