你
请解释一下「递归论」这个词的含义。
助手
递归论
dì guī lùn · ㄉㄧˋ ㄍㄨㄟ ㄌㄨㄣˋ
di gui lun
dgl
ㄉㄧ ㄍㄨㄟ ㄌㄨㄣ
2026-07-16 02:03:22
扩展释义
递归论(Recursion theory)是数理逻辑的重要分支之一,研究解决问题的可行的计算方法和计算的复杂程度的一门学科,尤其是研究递归函数及其推广。递归论研究的函数主要包括本原函数、原始递归函数、递归半函数和递归全函数或称一般递归函数、可摹状函数等等。