1) relative completeness
相对完备性
2) relatively perfect set
相对完备集
3) complete relative σ-perfect set
完全相对σ-完备集
1.
In Banach space,by the conditional complete relative σ-perfect set,it is obtained the conclusion that the existence and uniqueness of solution for operator equation A(x,x)=x such that u0≤A(u0,v0),A(v0,u0)≤v0.
在Banach空间中,通过完全相对σ-完备集这一条件,得到了满足上下解条件(u0≤A(u0,v0)和A(v0,u0)≤v0)的算子方程A(x,x)=x解的存在唯一性结论,并给出了迭代序列及其精确解的序估计式。
4) troposphere integrity
对流层完备性
5) comparatively perfect
相对完善
1.
, analyzed the main security threat and hidden trouble, and put forward the proposal of deploying a comparatively perfect security statistics dynamically and systematically.
在上海石化网络安全现状的基础上,简要分析安全威胁和隐患,结合当前一些主要的安全技术和思想,提出 动态、系统性部署相对完善安全体系的想法。
6) completeness
[英][kəm'pli:tnis] [美][kəm'plitnɪs]
完备性
1.
A circulating proof for solving the problem in fundamental theorems of completeness of real number;
实数系完备性基本定理的循环证明
2.
The Incompleteness of the Elements with Angular Degree of Fredom;
带转角自由度平面单元的不完备性
3.
The Completeness of the Formal Deductive System B of Universal Logic in the Ideal Condition;
理想状态下泛逻辑的形式演绎系统B的完备性
补充资料:哥德尔不完备性定理
| 哥德尔不完备性定理 G del's incompleteness theorem数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理:任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定。第二不完备性定理:任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年,J.帕里斯给出了一个自然的命题,这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条
del's incompleteness theorem