undecidability theorem

基本解释不可判定性定理

网络释义

1)undecidability theorem,不可判定性定理2)undecidability['ʌndisaidə'biliti],不可判定性3)undecidable theory,不可判定理论4)undecidable['ʌndi'saidəbl],不可判定5)essential undecidability,本质不可判定性6)decidability,可判定性

用法和例句

A Definition Framework of Spatial Logic and Decidability;

空间逻辑的一个定义框架及其可判定性

Further more,he clarified the significance of the undecidability and the antinomies with his conclusion that mathematics does not have crisis.

以批判数学存在基础的各种哲学学派为逻辑起点,普特南围绕数学基础中出现危机的根源进行了深刻剖析,重解了数学上存在不可判定性命题的意义及二律背反的意义,从而得出了数学中不存在危机的结论。

最新行业英语

行业英语