递归集

扩展释义

递归集是递归论用语。令A⊆Nn，如果A的特征函数CA(x1，…，xn)是μ-递归函数，则称A为递归集。 递归论又称“递归函数论”、“能行性理论”，指主要用数学方法研究“可构造性”、“能行可计算性”或“能行过程”的学科。各种递归函数本身的构造也是它研究的重要方面。它既属于数理逻辑的一个分支学科，不属于基础数学的一个分支学科。