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.
以批判数学存在基础的各种哲学学派为逻辑起点,普特南围绕数学基础中出现危机的根源进行了深刻剖析,重解了数学上存在不可判定性命题的意义及二律背反的意义,从而得出了数学中不存在危机的结论。
-
k-partite graph
精品项目网为您提供k分图k-partite graph是什么意思,k-partite graph翻译,k-partite graph例句,k-partite graph用法等有关,k-partite graph单词知识大全供您查询使用!...
-
ratio-ergodic theorem
精品项目网为您提供比率遍历定理ratio-ergodic theorem是什么意思,ratio-ergodic theorem翻译,ratio-ergodic theorem例句,ratio-ergodic theorem用法等有关,ratio-ergodic theorem单词知识大全供您查询使用!...