1) Standard completeness
标准完备性
2) integrity index
完备性指标
1.
The integrity index SISMA calculated by ground monitoring network can reflect the accuracy and availability of signal-in-space.
利用GALILEO全球监测网络和中国地壳运动监测网络分别对GALILEO系统完备性指标SISMA进行仿真计算。
3) nonstandard completion
非标准完备化
1.
The quasi-near-standard points in a metric space and the nonstandard completion of metric space;
度量空间中的拟近标准点及度量空间的非标准完备化
4) complete orthonormal system
完备标准正交系
5) integrity standard
完整性标准
6) Dimension Maturity
尺寸标注完备性
补充资料:哥德尔不完备性定理
哥德尔不完备性定理 Gdel's incompleteness theorem 数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理:任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定。第二不完备性定理:任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年,J.帕里斯给出了一个自然的命题,这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条