国家自然科学基金委在2013年介绍黄飞敏的工作，居然是错误的：黄飞敏等人73页的论文，全篇都是用或然判断的“估计”代替必然判断的演绎证明，将没有实验的推演当成事实。

首页 >>年度报告 >>2013年度报告 >>第二部分 国家自然科学基金项目成果巡礼

——　第二部分 国家自然科学基金项目成果巡礼　——

　　中国科学院数学与系统科学研究院黄飞敏研究团队在国家杰出青年科学基金项目和科技部“973”计划等项目的支持下，经多年潜心研究，与香港城市大学杨彤教授合作，在著名的希尔伯特第六问题研究上取得了新进展，该成果以71页篇幅于2013年发表在国际著名数学杂志SIAM Journal on Mathematical Analysis上。

黄飞敏等人73页的论文狗屁不通，全篇都是用或然推理的“估计”（红线部分）代替必然推理的演绎证明，将没有实验的推演当成事实。

当然，所有的数学家都是胡闹，他们没有经过逻辑学训练。

1， 佩雷尔曼先建立一个关键的椭圆形估计，应用粗细分解，来给出瑟斯顿几何化猜测的证明。

注意：【估计】不是证明，而是不确定的或然推理。并且，庞加莱猜想是一个病句，主项与谓项是种属关系，正确的全称判断命题应该是全异关系。例如“素数有无穷多个”，素数是主项，无穷多个是谓项，素数与无穷多个之间是全异关系。而庞加莱猜想三维流形与三维球面是种属关系。

2，丘成桐也是使用估计。邱成桐：“先驗估計”，即推導和運用眾多的不等式來對相關方程的解函式及其各階偏導數的大小來進行適當的估計和控制。丘成桐先生在自傳中非常通俗地解釋了他的這種證明方法：我把整個證明分拆成四個不同的估計，那就是所謂零階、一階、二階和三階估計。

再强调一次：计算只有是准确计算的情况下才能纳入逻辑证明的范围。

3，田刚也是继承丘成桐的错误思想，用“估计”代替证明，例如，2012年10月，田刚宣布解决了K-稳定Fano流形上Kähler-Einstein度量的存在性问题并给出了证明概要，关键技术途径是在锥Kähler-Einstein空间情形建立田刚早先猜测的部分连续模估计，而建立这一关键估计的主要方法是推广Cheeger-Colding-Tian有关Kähler-Einstein流形的紧化理论。朱熹平曹怀东更加荒唐，300多页论文都是“估计”，什么也不懂，垃圾水平。朱熹平跟随一个智障老师叫丁夏娃；曹怀东是跟丘成桐。

4，还有陈景润，也是狗屁不通，使用估计证明哥德巴赫猜想。

5，还有刘若川，刘若川论文用了大量的假设和估计，用假设否定假设，用假设证明估计，胡编乱造

数学证明要求非常严格

一切必须从正确定义出发，每一个数学符号必须有明确的定义，你这个符号如果是结论，

就必须给出证明，例如一些特殊数；

每一个概念的定义都要符合规则，定义不清的词汇是不能证明的，一个命题要求每一个

概念清晰。（例如所谓蒋函数，殆素数）；

每一个方程的设计都要合乎逻辑；

每一个结论都要有它的原因；

每一个定理都要有它的证明；

每一个依赖的论据都要是已知的定理或者公理；

每一步推理都要是必然的结果，这一步推理如果有几种结果，就必须排除其他的结果产生

的异议（看看陈景润的‘1+2“和丘成桐的“至多只有一个解”）。

每一个公式的推出必须有明确的解释，不能模棱两可（看看张益唐的公式模棱两可多么滑稽）。

结论的正确性建立在原因的正确性和论据的正确性以及推理的正确性之上。

做数学的人要纯朴，心无杂念，才能专心致志地研究，如果充满邪念，就会不择手段。

数学从来没有大清仓大甩卖，它只是遇上了大劫难。。

———————————————