递归不变性

编辑:风度网互动百科 时间:2019-11-17 05:24:25
编辑 锁定
本词条缺少信息栏名片图,补充相关内容使词条更完整,还能快速升级,赶紧来编辑吧!
[1]  集合的一种性质.指自然数集合在任何递归置换下不变的性质.形式地,若对具某种性质的任意集合A和任何递归置换P,P(A)亦具有该性质,则称该性质为递归不变的.例如:性质“A为:。集”及‘`A的基数为n”即有递归不变性,而涉及一些具体的自然数的特有的性质,如“A={0,1,2}","A为偶数的集合”等则没有递归不变性.递归论中主要研究的性质都是具有递归不变性的.
参考资料
  • 1.    数学辞海