递归集

如果存在一个完全递归函数使得对于，，并且对于，，则称整数集合是递归的。任何递归集也是递归可枚举的。

有限集、具有有限补集的集合、奇数和素数都是递归集的例子。两个递归集的并集和交集本身也是递归的，递归集的补集也是如此。

另请参阅

递归可枚举集, 递归不可判定

此条目由 Alex Sakharov (作者链接) 贡献。

使用 Wolfram|Alpha 探索

更多尝试

二项分布 n=40, p=0.32
d/dx(e^(ax))
Mandelbar 集

参考文献

Davis, M. Computability and Unsolvability. New York: Dover 1982.Rogers, H. Theory of Recursive Functions and Effective Computability. Cambridge, MA: MIT Press, 1987.

在 Wolfram|Alpha 上被引用

递归集

请引用为

Sakharov, Alex. “递归集。” 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/RecursiveSet.html