数学证明中的一种, 亦即证明考察对象是存在的。 这种证明通常这只能间接指出对象的存在性,却不能具体构造出所需对象。 证明方法通常使用反证法或者是极大原理,佐恩引理等等。 比如Euclid证明“素数个数无限”; 又如交换代数中证明“交换环必存在极大理想”; 希尔伯特(Hilbert)曾经在给学生讲到存在性证明时,举过一个例子:“ 这个班里一定存在一个学生,他的头发数最少, 可是我们不可能知道他是谁”。
另外,又给了快速最优控制的存在性证明。
Furthermore, the existence of time optimal control is proved.
对转动半无限压电陶瓷体的表面声波给出了存在性证明及其条件。
This paper is to display existence and its conditions to a surface acoustic wave propogating along surface of a half-body of piezoelectric ceramics with a rotation of constant angular velocity.
第二天早上之前,我已经建立好一类Fuchsian函数的存在性证明,这些函数来自于超几何序列;
By the next morning I had established the existence of a class of Fuchsian functions, those which come from the hypergeometric series;
And so, Descartes' attempt to establish the distinctness of the mind, the immateriality of the mind, on the basis of this Cartesian thought experiment, I think that's unsuccessful.
所以,笛卡尔试图,用他的卡式思想实验来证明,心灵的独立存在性,和非物质性,我认为这种尝试是失败的
应用推荐