- 更多网络例句与选择公理相关的网络例句 [注:此内容来源于网络,仅供参考]
-
This is one of the reasons why some mathematicians dislike the axiom of choice.
这是一些数学家不喜欢选择公理的理由之一。
-
Any time it is possible to specify such an explicit choice, the axiom of choice is unnecessary.
在任何有可能指定这种明确选择的时候,选择公理都是没有必要的。
-
People's attitude is suspicion of axiom of choice and axiom of parallelism.
人们对平行公理和选择公理的态度都表现为:怀疑。
-
For certain infinite sets ''X'', it is also possible to avoid the axiom of choice.
对于特定的无限集合''X'',也有可能避免选择公理。
-
Yet, the BPI is strictly weaker than the axiom of choice, though the proof of this statement is rather non-trivial.
但是 BPI 严格的弱于选择公理,尽管这个陈述的证明是非常不平凡的。
-
It is known that all of these statements are consequences of the axiom of choice ( the easy proof makes use of
已知所有这些陈述都是选择公理的推论
-
We love their loved ones, friends, but not because of personal feelings rather give up their choice of conscience, objective judgments, in the face Xunqing, we chose selfless; the face of a dispute, we have the axiom of choice.
我们爱自己的亲人,朋友,但是不能因为个人的感情的而放弃自己良心的选择,客观的判断,面对徇情,我们选择无私;面对争执,我们选择公理。
-
The problem then becomes constructing such an ordering, and it turns out that every set can be well-ordered if and only if the axiom of choice is true.
问题就变成构造这样一个排序,而它使得所有集合可以是良序的,当且仅当选择公理为真。
-
Countable and uncountable sets , the axiom of choice , Zorn's lemma.
集合论。可数和不可数集,选择公理,佐恩引理。
-
On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.
罗素在弗雷格研究的基础上,提出逻辑类型论来解决罗素悖论,以非集合论理论为基础,以无穷公理和选择公理为前提,利用逻辑概念定义数学概念,并构造系统,通过逻辑演绎法从逻辑公理推导数学定理。
- 更多网络解释与选择公理相关的网络解释 [注:此内容来源于网络,仅供参考]
-
axiom of addition:加法公理
axiom of accessibility 可达性公理 | axiom of addition 加法公理 | axiom of choice 选择公理
-
axiom of choice:选择公理
不过,有一个很重要的东西就不见得那么家喻户晓了--那就是"选择公理" (Axiom of Choice). 这个公理的意思是"任意的一群非空集合,一定可以从每个集合中各拿出一个元素. "--似乎是显然得不能再显然的命题. 不过,这个貌似平常 的公理却能演绎出一些比较奇怪的结论,
-
axiom of choice:选择公设;选择公理
830,"axiom of betweenness","介中性公设;中间性公设;介中性公理;中间性公理" | 831,"axiom of choice","选择公设;选择公理" | 832,"axiom of closure","闭合公设;闭合公理"
-
meta axiom of choice:亚选择公理
mesokurtic distribution 常峰态分布 | meta axiom of choice 亚选择公理 | metabelian group 亚交换群
-
Auswahlaxiom axiom of choice:选择公理
Aussenwinkel exterior angle 外角 | Auswahlaxiom axiom of choice 选择公理 | Automorphismus automorphism 自同构
-
axiom of completeness:完备性公理
axiom of choice 选择公理 | axiom of completeness 完备性公理 | axiom of comprehension 概括公理
-
axiom of betweenness:介中性;中间性
关联公理 axiom of alignment | 介中性;中间性 axiom of betweenness | 选择公理 axiom of choice
-
axiom of betweenness:介中性公设;中间性公设;介中性公理;中间性公理
829,"axiom","公理;公设" | 830,"axiom of betweenness","介中性公设;中间性公设;介中性公理;中间性公理" | 831,"axiom of choice","选择公设;选择公理"
-
choice function; selection of multifunction:选择函数
选择公理|axiom of choice | 选择函数|choice function; selection of multifunction | 薛定谔方程|Schrodinger equation
-
principle of choice:选择公理
principle of balayage 扫除原理 | principle of choice 选择公理 | principle of comparison 比较原理