国家自然科学基金委在2013年介绍黄飞敏的工作,居然是错误的:黄飞敏等人73页的论文,全篇都是用或然判断的“估计”代替必然判断的演绎证明,将没有实验的推演当成事实。
首页 >>年度报告 >>2013年度报告 >>第二部分 国家自然科学基金项目成果巡礼
—— 第二部分 国家自然科学基金项目成果巡礼 ——
中国科学院数学与系统科学研究院黄飞敏研究团队在国家杰出青年科学基金项目和科技部“973”计划等项目的支持下,经多年潜心研究,与香港城市大学杨彤教授合作,在著名的希尔伯特第六问题研究上取得了新进展,该成果以71页篇幅于2013年发表在国际著名数学杂志SIAM Journal on Mathematical Analysis上。
黄飞敏等人73页的论文狗屁不通,全篇都是用或然推理的“估计”(红线部分)代替必然推理的演绎证明,将没有实验的推演当成事实。
数学证明要求非常严格
一切必须从正确定义出发,每一个数学符号必须有明确的定义,你这个符号如果是结论,
就必须给出证明,例如一些特殊数;
每一个概念的定义都要符合规则,定义不清的词汇是不能证明的,一个命题要求每一个
概念清晰。(例如所谓蒋函数,殆素数);
每一个方程的设计都要合乎逻辑;
每一个结论都要有它的原因;
每一个定理都要有它的证明;
每一个依赖的论据都要是已知的定理或者公理;
每一步推理都要是必然的结果,这一步推理如果有几种结果,就必须排除其他的结果产生
的异议(看看陈景润的‘1+2“和丘成桐的“至多只有一个解”)。
每一个公式的推出必须有明确的解释,不能模棱两可(看看张益唐的公式模棱两可多么滑稽)。
结论的正确性建立在原因的正确性和论据的正确性以及推理的正确性之上。
做数学的人要纯朴,心无杂念,才能专心致志地研究,如果充满邪念,就会不择手段。
数学从来没有大清仓大甩卖,它只是遇上了大劫难。。