递归论
- 网络recursion theory; recursive theory; Core computability
递归论递归论
recursion theory
普通英汉小词典_翻译家(Fanyijia.com) ... 集合论 set theory 递归论 recursion theory 证明论 proof theory ...
recursive theory
递归（recursion）是递归论（recursive theory）中的一个术语。递归论亦称递归函数论或能行性理论，是数理逻辑中研究可计 …
Core computability
现在递归论发展有点到瓶颈了，纯递归论（Core computability）好像是说现在越来越难走了，简单的东西都做完了，剩下的都 …