递归论科技名词
递归论科技名词：第1页
递归论
recursion theory
丘奇论题
Church thesis
哥德尔配数法
Go&4&del numbering
分层
hierarchy
有限自动机
finite automaton
可接受标号
acceptable indexing
配对
pairing
可解性
solvability
正规算法
normal algorithm
通用函数
universal function
不可解性
unsolvability
λ演算
λ-calculus;lambda-calculus
λ可定义函数
λ-definable function;lambda- -definable function
原始递归性
primitive recursiveness
能行可计算性
effective calculability
能行性
effectiveness
原始递归式
primitive recursion
μ算子
μ-operator;mu-operator
递归函数
recursive function
递归集
recursive set
递归可枚举集
recursively enumerable set
递归性
recursiveness
博雷尔分层
Borel hierarchy
丢番图关系
Diophantine relation
超算术
hyperarithmetic
计算复杂性
computational complexity
容许序数
admissible ordinal
超跃变
hyperjump
容许集
admissible set
算术谓词
arithmetical predicate
第1页
下一页
递归论 的上级学科
数学
数理逻辑数学基础