无乘法算术的可判定性的英文

• decidability of arithmetic without multiplication

• "无"英文翻译    not have; there is not; be w ...
• "乘法"英文翻译    multiplication; 3乘11是一道容易的乘法 ...
• "算术"英文翻译    arithmetic figure; arithmeti ...
• "的"英文翻译    4次方是 The fourth power of 2 i ...
• "可"英文翻译    approve
• "判定"英文翻译    judge; decide; vote; determi ...
• "性"英文翻译    nature; character; dispositi ...
• "不可判定性" 英文翻译 :    [数学] undecidability
• "可判定性" 英文翻译 :    decidability; entscheidungsproblem
• "可决定性 可判定性" 英文翻译 :    decidability
• "本质不可判定性" 英文翻译 :    essential undecidability
• "不可判定性定理" 英文翻译 :    undecidability theorem
• "一阶逻辑的不可判定性" 英文翻译 :    the undecidability of first-order logic
• "乘法算子" 英文翻译 :    multiplication operator; multiplying operator
• "半可判定的" 英文翻译 :    semi-decidable
• "不可判定" 英文翻译 :    entscheidungsproblem
• "不可判定的" 英文翻译 :    entscheidbar decidable; entscheidend decidable; undecidable
• "递归可判定" 英文翻译 :    recursively decidable
• "可判定的" 英文翻译 :    decidable; decideable
• "可判定子句" 英文翻译 :    decidable subclause
• "可判定子类" 英文翻译 :    decidable subclass
• "算术的" 英文翻译 :    arithmetical
• "不可判定理论" 英文翻译 :    undecidable theory
• "不可判定问题" 英文翻译 :    infeasible decision problem
• "超算术的" 英文翻译 :    hyperarithmetical