丘成桐证明卡拉比猜想和正质量猜想中的错误.docx

PAGE2

丘成桐证明卡拉比猜想和正质量猜想中的逻辑错误

王晓明

摘要：丘成桐在证明卡拉比猜想和正质量猜想出现的逻辑错误。

目录

卡拉比猜想

正质量猜想

卡拉比猜想

丘成桐使用或然判断的结论

丘成桐说：

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

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

3，于是证明了卡拉比猜想。

丘成桐的结论【至多只有一个解】包含了两种可能：

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

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

为什么？因为，【至多只有一个解】属于或然性推理。

或然性推理的前提与结论之间没有蕴含关系，所以，或然性推理的结论是不可靠的。数学证明结论不能使用不明确的结论。数学定理必须使用必然推理（判断）。

使用错误的证明方法循环论证

1，指论据的正确性需要论题来是证明。

2，两个论据需要互相印证。

这个就叫循环论证。

论据是指论证的理由或者根据。论据是与论题密切相关的支持论题的理由。这个理由是在证明过程中进行的，证明结束之前还未完成的。

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

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

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

唯一性卡拉比宣称自己证明了：假定有解，这个解是唯一的。

对于存在性，依赖于一个积分微分方程的存在性假定”

卡拉比说自己证明了“唯一性”。依赖于丘成桐的“存在性”。

而丘成桐的存在是建立在卡拉比提供的一个“唯一”上。

没有卡拉比提供的唯一（蒙日-安培方程），就没有丘成桐的存在。

因为丘成桐的结论是或然判断：如果没有解，卡拉比的唯一性不能成立。如果有一个解，存在性就能成立。

两者互相支撑，循环论证。

最后，丘成桐由卡拉比猜想推论出来的爱因斯坦引力场在封闭空间弯曲。也是荒唐的。同时，霍金先生对丘成桐卡拉比猜想的证明正确性肯定也是荒唐的。

正质量猜想

丘成桐在证明“正质量猜想”时是使用错误的“反证法”

：假定A，推出B，B与已知的C矛盾，得到非A。

但是，丘成桐这个C也是假设的，有待证实的（预期理由）。

根据反证法推理规则，两个前提与一个结论，必须有两个是真实的（并且经过证实的公理定理或者正确的客观事实）。

反证法的形式：论题A。证明，设非A真，从非A推出a,b,c,，已知a,b,c,不能成立，所以非A假。（根据假言推理的否定式）既然非A假，所以A必真。

反证法不能用一个假设推翻另外一个假设（只能用已知的定理或者公理来推翻假设）。

举例

欧几里得证明素数无穷多个；

A：假定素数有限。

B：构造一个数：n=2x3x5x7x...xPk+1。n大于最大的素数Pk，并且与所有的素数互素，n是一个合数。

C：已知，不存在与所有的素数互素的合数。

于是得到非A（素数无穷多个）。

B与C都是真实的。

丘成桐的反证法证明/articles/science/physics/energy_condition/positive_mass_theorem_3.php

Schoen?和?Yau?的证明采用的是反证法的思路，?即通过假定?ADM?质量小于零来推出矛盾，?其过程大致分为三步：

?

首先，?他们证明了如果?ADM?质量小于零，?那么在?Σ?中可以构造出一个特殊的二维极小曲面?S，?它在一个紧致集之外满足?R??0。?在这一步中，?他们用到的是?Σ?渐近平直这一特点，?以及?R?≥?0?这一来自主能量条件的推论。?由于?S?是极小曲面，?因此?S?的面积泛函的二次变分必定非负，?利用这一点，?Schoen?和?Yau——

作为第二步——证明了?S?的?Gauss?曲率?K?在曲面上的积分?

∫KdS??0。

在这一步中，?他们再次用到了?R?≥?0?这一几何条件，?以及第一步所得到的在?S?上的一个紧致集之外?R??0?这一构造性质。

?

最后，?为了推出矛盾，?Schoen?和?Yau?用两种不同的方法——其中只用到了?Σ?的渐近平直性以及?S?的构造性质——证明了一个与?

∫KdS??0?完全相反的结果，?即?∫KdS?≤?0。?这一矛盾的出现表明?ADM?质量小于零这一假设与证明过程中所用的其它假设不相容。

证明过程中所用的其它假设都是正质量定理本身的假设?(比如?Σ?的渐近平直性)?或其推论?(比如?R?≥?0)，?因此这一矛盾的出现表明在正质量定理所假设的条件下，?ADM?质量必须非负。?这样?Schoen?和?Yau?就宣称完成了在?trK?=?0?这一特定条件下正质量定理的证明。

以下供参考

Calabi猜想，Calabi-Yau流形和K?hler-Einstein度量

1Vote

Calabi以一