1) kernel perfect critical
临界核完备
2) quasi-complete
有界完备
1.
Theorem 2 Let X be a Mackey space and Y a nonzero quasi-complete Hausdorff locally convex space.
定理2设X是Mackey空间,Y是有界完备的非零Hausdorff局部凸空间。
3) kernel perfect
核完备
1.
In this paper we investigate some new sufficient conditions for a digraphs D with covering number θ(D)≤3 to be kernel perfect(KP).
本文给出了覆盖数 Q( D) ≤3 的有向图为核完备的几个新的充分条件。
5) critical nucleus
临界晶核
6) Critical nuclei
临界核
补充资料:哥德尔不完备性定理
哥德尔不完备性定理 Gdel's incompleteness theorem 数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理:任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定。第二不完备性定理:任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年,J.帕里斯给出了一个自然的命题,这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条