1) corrected constant completeness
![点击朗读](/dictall/images/read.gif)
常数完备性
2) data integrity
![点击朗读](/dictall/images/read.gif)
数据完备性
1.
Information theory for assessing SPECT data integrity;
![点击朗读](/dictall/images/read.gif)
应用信息论评估SPECT投影数据完备性
4) data integrity
![点击朗读](/dictall/images/read.gif)
数据完整性,数据完备性
5) Message Integrity Check(MIC)
![点击朗读](/dictall/images/read.gif)
数据完备性检查
6) completeness of real numbers
![点击朗读](/dictall/images/read.gif)
实数的完备性
1.
This implies that Rolle s Theorem is the direct consequence of completeness of real numbers.
由此可见罗尔微分中值定理可以是实数的完备性的直接推论。
补充资料:哥德尔不完备性定理
哥德尔不完备性定理 G ![]() 数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理:任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定。第二不完备性定理:任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年,J.帕里斯给出了一个自然的命题,这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条