极小度

扩展释义

极小度(minimal degree)是递归论的基本概念之一。指一种小的不可解度。对不可解度a，如果a>0，且不存在不可解度b，使a>b>0，则称a为极小度。递归论又称“递归函数论”、“能行性理论”，指主要用数学方法研究“可构造性”、“能行可计算性”或“能行过程”的学科。各种递归函数本身的构造也是它研究的重要方面。它既属于数理逻辑的一个分支学科，不属于基础数学的一个分支学科。