可归约[的]
规范用词
可归约[的]
英文翻译
reducible
所属学科
数学
>
数理逻辑数学基础
>
递归论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
递归论 的上级学科
数学
数理逻辑数学基础
可归约[的] 相关科技名词
递归论
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
有限型
finite type
算术分层
arithmetical hierarchy
解析分层
analytic hierarchy
NP问题
NP problem
图灵机
Turing machine
确定性图灵机
deterministic Turing machine
非确定性图灵机
non-deterministic Turing machine
可计算性
computability
停机问题
halting problem
自动机
automata