一，数学家全部都是不按逻辑规则数学证明
数学家是不学习逻辑学的，他们不知道什么叫证明。他们也不会使用逻辑学语言评判论文。
你可以随意抽取几篇数学证明的论文检查，就可以发现几乎全部都是乱证，都是经不起逻辑检验的。
对于数学证明，那是属于逻辑学家的工作，对于数学家来说，他们只是民科，就是外行。数学家不是不可以从事数学命题的证明，但是必须完整学习逻辑学理论。

                  二，数学是一个豆腐渣工程

全世界每一年产生10万到20万条新定理，这些所谓定理除了极少数简单的外，几乎全部都是错误的，特别是证明长度达到几十页、上百页的证明，百分之百都是错误的。 因为目前大量的命题逻辑没有搞清楚，是不可能正确的。

                                    三，缘起

1954年的国际数学家大会上，31岁的意大利裔数学家卡拉比，在会议的邀请报告中用一页纸写下了他著名的猜想：令M为紧致的卡勒（Kahler）流形，那么对其第一陈类中的任何一个（1，1）形式R，都存在唯一的一个卡勒度量，其Ricci形式恰好是R。

     卡拉比还粗略地描述了一个他的猜想的证明方案，并证明了，如果解存在，那必是唯一的。

卡拉比认为，要证明这个猜想需要两步：

第一步，证明猜想中所说的具有指定里奇形式凯勒度量的唯一性。

第二步，证明凯勒度量的存在性。

卡拉比宣称：唯一性卡拉比自己证明了。

但是卡拉比说：“对于存在性，依赖于一个积分微分方程的存在性假定”。

      卡拉比提到的“典范类的凯勒流形”中与猜想密切相关的积分可微方程，进一步明确成一个蒙日-安培方程。

--------------------------------------------------------------------------------

                 四，丘成桐解释说：

1，卡拉比猜想实际上与蒙日-安培方程等价。

2，要求解的这个蒙日-安培方程，是一个很难的非线性偏微分方程。他花了将近3年时间，做了大量准备工作，发展了强有力的偏微分方程技巧，使用先验估计方法，在1976年6月求解了这个非线性复蒙日-安培方程（至多有一个解）。

维基百科

3，从而给出了卡拉比猜想的证明。实际上是：丘成桐证明了其流形上复数的蒙日—安培方程，至多只有一个解。

-----------------------------------------------------------------------------

我们总结丘成桐证明的这个过程

1，卡拉比提出这个猜想的第二步需要证明存在性。

2，这个存在性依赖于一个积分微分方程的存在性假定。

3，这个存在性假定的东西就是卡拉比在【典范类的凯勒流形】中明确的“蒙日-安培方程”。

4，丘成桐指出卡拉比猜想与蒙日-安培方程等价。

5，丘成桐用了3年时间解开了这个“非线性复蒙日-安培方程”至多有一个解（至多有一个解不是必然有一个解；至少有一个解才是必然有解）。

---------------------------------------------------------------------------------

驳斥丘成桐荒谬结论

驳斥一，丘成桐说的【至多有一个解】的含义是：

1，否定至少有两个或者两个以上的解（上限）。

2，不能保证有一个解。很可能一个解也没有（下限）。

就是说，如果没有一个解的情况下，就不能说丘成桐解开了蒙日-安培方程。

为什么？因为，【至多只有一个解】属于或然性推理。或然性推理的前提与结论之间没有蕴含关系，所以，或然性推理的结论是不可靠的，大多数情况下是错误的。

论据有两种：一是事实论据，方程有解应该提供事实论据。二是道理论据，方程无解可以用矛盾指出为什么无解。

驳斥二，丘成桐说的【卡拉比猜想实际上与蒙日-安培方程等价】其实就是循环论证：

就是说，论题卡拉比猜想是支撑论据蒙日-安培方程的。同时，论据蒙日-安培方程又反过来证明卡拉比猜想。

循环论证是指：论据的真实性需要论题来证明。或者两个论据中的任何一个都需要对方证明。

卡拉比的蛋（唯一性和整个猜想）保存在丘成桐的鸡腹中（存在性）。丘成桐的鸡是等待卡拉比的蛋孵化以后才能存在。虚假论据。

(KE度量的Calabi猜想 Ⅱ)c_1<0的M容许唯一的KE度量g'使得k=-1。

Yau Calabi’s conjecture and some new results in algebraic geometry

我们将会看到，c_1>0的情况要复杂得多：一般来说，无法保证KE度量的存在性和唯一性。

形如D(\phi)=\exp[F(\phi,x)]，F:I \times M \to \mathbb R的二阶非线性椭圆方程称为复Monge–Ampère方程。

解的光滑性依赖于标准的椭圆算子理论。Calabi本人在\partial_t F \geq 0的假设下证明了解的唯一性，并注意到k=1(\partial_t F=-1)可能导致唯一性失效。

什么情况下论据可以与论题等价？论题在设定不能成立的假定下的反证法可以等价转换；如果设定命题成立等价的假设就是预期理由的逻辑错误。

《Complex Geometry from Riemann to Kähler-Einstein and Calabi-Yau（從黎曼到凱勒-愛因斯坦和卡拉比-丘的復幾何》（高等教育出版社2018年出版）