集合 的整数与集合
递归同构,如果存在一个双射递归函数
使得
。
递归同构
另请参阅
递归函数, 可约此条目由 Alex Sakharov (作者链接) 贡献
使用 探索
参考文献
Rogers, H. Theory of Recursive Functions and Effective Computability. Cambridge, MA: MIT Press, 1987.在 中被引用
递归同构请引用为
Sakharov, Alex. "递归同构。" 来自 Web Resource,由 Eric W. Weisstein 创建。https://mathworld.net.cn/RecursivelyIsomorphic.html