1、[数]不可判定的
也就是说谓词逻辑是不可判定的（Undecidable）。 G6del不完备性定理以及Church与Turing的工作宣告了“万能推理机”幻想的破 灭。
2、不可决策的
... 不可决策性定理 undecidability theorem 不可决策的 undecidable 不可决策的语言 undecidable language ...
3、不可判定的英语
...不旋转虎钳英语 【机】 parallel vice不可判定的英语 【计】 undecidable不调整的英语 【计】 unregulated ...
undecidable theory[数] 不可判定理论
undecidable language不可决策的语言
The undecidable不可决策的问题
undecidable ring[数] 不可判定环
undecidable problem不可判定问题;计算机不可能解决每一个问题
undecidable rings不可判定环
rationally undecidable有理可决定的
undecidable propositions不可判定的命题
Undecidable Decision Problem不可解问题