467
次編輯
變更
邱成桐
,無編輯摘要
[[File:Ym7zbRqQMy4yahlQLZ hGd3c1hriLXuiY06bLRKpOeEVab8qCSSz2elKblFrA-R19ACbLRKpmTYJ9b8zMS+CNMvW0GXhH0wkC=viN+iiMBpIXp=-Z.jpg|缩略图]]
丘成桐先生所寫的第二篇論文的題目是“On the Ricci Curvature of a Compact Kähler Manifold and the Complex Monge-Ampère Equation，I（關於緊凱勒流形的裡奇曲率與復蒙日-安倍方程I）”论题也是错误的，没有谓项。發表於1978年。這是一篇長達61頁的論文，它的任務只有一個，那就是證明卡拉比-丘定理。這篇論文充滿了各種高難度的計算、估計和不等式，例如在進行三階估計時，丘成桐先生所作的複雜計算是這樣的：（参见图文）邱成桐：“先驗估計”，即推導和運用眾多的不等式來對相關方程的解函式及其各階偏導數的大小來進行適當的估計和控制。丘成桐先生在自傳中非常通俗地解釋了他的這種證明方法：我把整個證明分拆成四個不同的估計，那就是所謂零階、一階、二階和三階估計。
==丘成桐思维混乱-证明卡拉比猜想错误百出==
===缘起===
1954年的国际数学家大会上，31岁的意大利裔数学家卡拉比，在会议的邀请报告中用一页纸写下了他著名的猜想：令M为紧致的卡勒（Kahler）流形，那么对其第一陈类中的任何一个（1，1）形式R，都存在唯一的一个卡勒度量，其Ricci形式恰好是R。
卡拉比还粗略地描述了一个他的猜想的证明方案，并证明了，如果解存在，那必是唯一的。
卡拉比认为，要证明这个猜想需要两步：
第一步，证明猜想中所说的具有指定里奇形式凯勒度量的唯一性。
第二步，证明凯勒度量的存在性。
卡拉比宣称：唯一性卡拉比自己证明了。
但是卡拉比说：“对于存在性，依赖于一个积分微分方程的存在性假定”。
卡拉比提到的“典范类的凯勒流形”中与猜想密切相关的积分可微方程，进一步明确成一个蒙日-安培方程。
===丘成桐解释说===
1，卡拉比猜想实际上与蒙日-安培方程等价。
2，他花了将近3年时间，做了大量准备工作，发展了强有力的偏微分方程技巧，使用先验估计方法，在1976年6月求解了这个非线性复蒙日-安培方程（至多有一个解）。
3，从而给出了卡拉比猜想的证明（实际上是：丘成桐证明了其流形上复数的蒙日—安培方程，至多只有一个解。
<ref>https://bbs.aboluowang.com/thread-1124559-1-1.html</ref>
===驳斥丘成桐荒谬结论===
驳斥一，丘成桐说的【至多有一个解】的含义是：
1，否定至少有两个或者两个以上的解（上限）。
2，不能保证有一个解。很可能一个解也没有（下限）。
就是说，如果没有一个解的情况下，就不能说丘成桐解开了蒙日-安培方程。
为什么？
因为，【至多只有一个解】属于或然性推理。或然性推理的前提与结论之间没有蕴含关系，所以，或然性推理的结论是不可靠的，数学定理不能使用或然判断，必须使用必然判断。
驳斥二，论据有两种：一是事实论据，方程有解应该提供事实论据。二是道理论据，方程无解可以用矛盾指出为什么无解。
丘成桐说的【卡拉比猜想实际上与蒙日-安培方程等价】其实就是循环论证：
就是说，论题卡拉比猜想是支撑论据蒙日-安培方程的。同时，论据蒙日-安培方程又反过来证明卡拉比猜想。
循环论证是指：论据的真实性需要论题来证明。或者两个论据中的任何一个都需要对方证明。
卡拉比的蛋（唯一性和整个猜想）保存在丘成桐的鸡腹中（存在性）。丘成桐的鸡是等待卡拉比的蛋孵化以后才能存在。
虚假论据。
===什么情况下论据可以与论题等价===
论题在设定不能成立的假定下的反证法可以等价转换；如果设定命题成立等价的假设就是预期理由的逻辑错误。
驳斥三，解方程不等于数学命题证明
丘成桐说解开了方程-于是证明了卡拉比猜想
===解方程是在原因-结构下找出结果===
解方程相关概念
1.含有未知数的等式叫方程，也可以说是含有未知数的等式是方程。
2.使等式成立的未知数的值，称为方程的解，或方程的根。
3.解方程就是求出方程中所有未知数的值的过程。
4.方程一定是式，等式不一定是方程。不含未知数的等式不是方程。
5.验证：一般解方程之后，需要进行验证。验证就是将解得的未知数的值代入原方程，看看方程两边是否相等。如果相等，那么所求得的值就是方程的解。
6.注意事项：写“解”字，等号对齐，检验。
7.方程依靠等式各部分的关系，和加减乘除各部分的关系（加数+加数=和，和-其中一个加数=另一个加数，差+减数=被减数，被减数-减数=差，被减数-差=减数，因数×因数=积，积÷一个因数=另一个因数，被除数÷除数=商，被除数÷商=除数，商×除数=被除数）。
8，等式的性质一：等式的两边同时加上或减去同一个数，等式依然成立。等式的性质二：等式的两边同时乘或除以同一个不为0的数等式的两边依然成立。
===证明是告诉你结果，让你按照规则给出原因-过程的必然性，把道理讲清楚===
1，证明是对一个合理的论题-命题，利用正确的演绎推理，得出必然的结论。
2，证明有一系列原则。
包括：a，命题原则。b，证明原则。
例如，命题必须是一个全称判断，命题的主项必须是普遍概念或者单独概念（不能是集合概念），命题的谓项必须根据是肯定判断还是否定判断决定是否周延。使用的词项的概念必须具有专一性-稳定性-精确性-可以检验。
又例如，证明中的推理过程使用的词项（概念）必须具有传递性。
三段论格式必须是正确的。
结论必须符合语法规则。
（内容很多，详见百度百科【数学证明】）
丘成桐哪里有水平搞清楚这些。
并且，丘成桐把估计和计算当成证明。估计是或然判断，不能作为论据。计算只能在大前提的框架下作为小前提使用。结论必须明确，丘成桐的【至多只有一个】荒谬而可笑，
丘成桐至多有一个解不是必然存在一个解。如果是至少有一个解，才能算“必然存在”。
再强调一次：计算只能够充当小前提，并且只有是准确计算的情况下才能纳入逻辑证明的范围。
{{cite news|title=「蘋中人」數學界國王丘成桐|url=https://tw.appledaily.com/headline/daily/20190102/38221570/|newspaper=蘋果日報}}</ref>