先验估计证明的命题,:
(1)没有进入因果关系;
(2)没有进入构成关系;
(3)无法被感知。
(4)估计和假设进入证据以后,如果从区分两类否定真理的角度来检视这一问题:第一类涉及虚构或者主观创造的一些对象;第二类涉及实际存在的对象。而假设的虚构的对象并不具有事务的全部属性。
(5)假设最后必须被证明才能进入证据链。
(6),假设和估计理由的虚假性胡乱修改前提条件,得出错误结论。 (7),推理的无关性胡编乱造的结论不能算定理。 (8),隐含的假设性和估计这些结论都有一个共同的缺陷,假设存在他们想要的内容,都是无关地联系他们预想的东西,例如张益唐和陈景润。 (9),论证的单一性这些论证都是违反演绎推理的基本规则,不能反推回去,正确的定理证明,百分之百可以倒推回去。 李安民证明,广泛使用模糊概念估计,得出结果不是必然判断。
下面:
对Monge-Ampère方程的估计显示uk,o→uk在Cloc∞(Ωk)中收敛,因此uk满足(17):
对于凸函数而言,C1估计是标准结果,
而Pogorelov提供了内部C2估计[58],
此时可以使用Calabi [8]的内部C3估计或Evans的内部C 2,
α估计来实现所需的正则性。
.....。
证明概要:程和刘[14]证明(存在微小差距).....。
李安明通过使用[14]中开发的几乎相同的估计方法,澄清了程-刘证明的细节,
证明仿射完备性蕴含双曲仿射球面的欧几里得完备性。Trudinger-Wang近期证明了若n≥2,
则Rn+1中任意凸仿射完备超曲面都是欧几里得完备的[71]。 |