1) semidecidable
半可判定的
2) decideable
可判定的
3) partially decidable problem
半可判定问题
4) judgements of n-order cycle matrix which is inverse
可逆的判定
1.
This paper introduces the definition,determinant and basic properties of n-order cycle matrix,furthermore gives the judgements of n-order cycle matrix which is inverse and find the calculations of the inverse matrix of n-order cycle matrix.
文章介绍了n阶循环矩阵的定义、n阶循环矩阵的行列式和其基本性质,并且进一步给出了n阶循环矩阵可逆的判定以及求n阶循环矩阵的逆矩阵的方法。
5) undecidability,undecidable
不可判定的
6) decidability
可判定性
1.
A Definition Framework of Spatial Logic and Decidability;
空间逻辑的一个定义框架及其可判定性
2.
Further more,he clarified the significance of the undecidability and the antinomies with his conclusion that mathematics does not have crisis.
以批判数学存在基础的各种哲学学派为逻辑起点,普特南围绕数学基础中出现危机的根源进行了深刻剖析,重解了数学上存在不可判定性命题的意义及二律背反的意义,从而得出了数学中不存在危机的结论。
补充资料：半…半…
分别用在意义相反的两个词或词素前面，表示相对的两种性质或状态同时存在：～文～白ㄧ～真～假ㄧ～信～疑ㄧ～推～就。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条