查询词典 actual infinity

According to the stability of vanishing points of the projected lines on the image of a group of lines at infinity, the algorithms for camera calibration and indoor visual navigation of the autonomous mobile platform based on parallels are proposed.

根据一组空间直线上的无穷远线素集在视平面上所形成的消失点对直线的平移具有稳定性的特点，提出了基于平行线的摄像机参数标定和自主移动平台室内视觉导航算法。

Then, we consider the Lyapunov-Schmidt reduction method from the Morse theoretical point of view. We prove that the critical groups at infinity of the reduced functional are isomorphic to those of the original functional.

接下来，我们从Morse理论的角度来考察著名的Lyapunov-Schmidt约化方法，证明了原泛函与约化后的泛函在无穷远处的临界群是同构的。

Moreover, a example is also included to illustrate the main result obtained when f has suplinear growth at zero and at infinity in z.

另外，当f在原点处和无穷远处关于z超线性增长的情况下举例验证了所得到的主要结论。

All the problems that Russell's 'axiom of infinity' brings with it can be solved at this point.

至此，罗素的"无穷公理"所带来的一切问题都已获致解决。

What the axiom of infinity is intended to say would express itself in language through the existence of infinitely many names with different meanings.

无穷公理所要说的，可以通过存在无限多个具有不同指谓的名称，在语言中自行表达出来。

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.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

As I have noted earlier, some posts by John Baez and others on certain crackpots having their own Elsevier journal to dump their E-infinity weirdness have disappeared from the net.

正如我已经指出的，某些职位由John巴埃斯和其他某些crackpots有自己的爱思唯尔期刊倾倒电子至无限远的怪事消失净。

Majority from Bernoulli's theorem, when n tends to infinity when the frequency fn in a certain sense under closer probability P.

由伯努利大数定理，当n趋向于无穷大的时候，频率fn在一定意义下接近于概率P。

At first we establish two lemmas for C〓-functionals defined on finite dimensional spaces. These lemmas describe the behavior near infinity of a functional that is bounded from either above or below.

我们首先对有限维空间上的C〓-泛函建立两个引理，它们实际上完全描述了有上界或有下界的泛函在无穷远处的行为。

If the flow does not go to infinity, or the functional is bounded from below on the flow and satisfy the condition, then the limit of the flow maybe a critical point.

如果流线不走向无穷远处，或泛函在此流线上下方有界且满足条件，那么极限点就可能是临界点。

But this is impossible, as long as it is engaging in a market economy, there are risks in any operation.

但是，这是不可能的，只要是搞市场经济，是有风险的任何行动。

We're on the same wavelength.

我们是同道中人。