我以前说过：1， 逻辑问题， 数学思维必须符合逻辑，演绎证明某事肯定是这样，归纳说明某事在实际上是有效的，溯因仅仅表明某事可能是，所以溯因是推理中较弱的一种形式。 演绎是从一般到特殊，归纳是从很多特殊到某一个一般。但是，溯因逻辑是从一个现象或者一个事实，反推出可能存在的原因 2，命题问题， 溯因整理成为一个命题叫做猜想。 3，命题证明问题，证明一个猜想是告诉你结果，让你按照规则找出原因-过程的必然性，把道理讲清楚。 我们证明一个数学命题就是一种整体上弱势溯因推理，每一个局部需要强势演绎推理，这是无法克服的困难----超出了人类解决问题的能力！好比一个饭都吃不饱的病人，你要求他力大无比，扛起300斤。况且，，一个事实可能有多种原因，我们要找到那个必然的原因，并且用演绎推理证明就是它。好比逆水行舟,盲人摸象。 4，数学定理要求，数学定理必须是全称判断，结论是全称肯定判断的正确三段论只能是第一格的AAA式。这是绝大多数数学命题证明无法做到的。 5，证明中使用“估计”是一个预期理由，暗含“假定存在”的非逻辑前提。不能作为一个正确的数学证明。 数学家广泛使用估计的错误不能原谅1， 佩雷尔曼先建立一个关键的椭圆形估计，应用粗细分解，来给出瑟斯顿几何化猜测的证明。庞加莱猜想是一个病句，不是正确的命题。（庞加莱猜想的主项与谓项之间是种属关系，三维流形是种概念即上位概念，三维球面是属概念即下位概念，不是全异关系。全称判断命题要求主项与谓项是全异关系，例如“素数有无穷多个”，主项“素数”与谓项“无穷多个”是全异关系，） 注意：【估计】不是证明，而是不确定的或然推理。 2，丘成桐也是使用估计。邱成桐：“先驗估計”，即推導和運用眾多的不等式來對相關方程的解函式及其各階偏導數的大小來進行適當的估計和控制。丘成桐先生在自傳中非常通俗地解釋了他的這種證明方法：我把整個證明分拆成四個不同的估計，那就是所謂零階、一階、二階和三階估計。 再强调一次：计算只有是准确计算的情况下才能纳入逻辑证明的范围。 
3，田刚也是继承丘成桐的错误思想，用“估计”代替证明，例如，2012年10月，田刚宣布解决了K-稳定Fano流形上Kähler-Einstein度量的存在性问题并给出了证明概要，关键技术途径是在锥Kähler-Einstein空间情形建立田刚早先猜测的部分连续模估计，而建立这一关键估计的主要方法是推广Cheeger-Colding-Tian有关Kähler-Einstein流形的紧化理论。朱熹平曹怀东更加荒唐，300多页论文都是“估计”，什么也不懂，垃圾水平，朱熹平跟随一个智障老师叫丁夏娃；曹怀东是跟丘成桐。 4，例如黄飞敏证明文章全是估计。 
5，陈景润也是使用估计。陈景润是一个智障人士，所有的工作都是错误的。 6，千千万万的数学家不懂逻辑学，几百万条所谓的“数学定理”都是错误的。例如刘若川，用假设否定假设，用假设证明估计，一群sb：80页论文全部都是假设和估计：
孙斌勇在命题证明中犯了预期理由的逻辑错误由于数学家普遍不懂逻辑学，不懂语法与修辞，他们的数学命题证明几乎全部错误。孙斌勇在假设下获得了肯定的结论，（假设下只能获得否定结论）就是一种预期理由的逻辑错误。孙斌勇获得了国家自然科学二等奖和未来科学大奖邵逸夫数学奖等。 ------------------------------------------------------------------------------------- 中国科学院和中国数学会介绍文章说：
L-函数特殊值的算术性质是Langlands纲领，特别是算术代数几何的核心问题之一。高阶Rankin-Selberg L-函数特殊值的算术性质研究中有一个被称为非零假设的致命障碍。这个假设最早由以色列科学院、美国科学院院士D.Kazhdan和美国科学院院士B.Mazur在上世纪70年代提出，它断言作为分母出现在L-函数特殊值表达式中的一个局部zeta积分非零。近年来，许多关于L-函数特殊值的重要结果是在非零假设成立的基础上得到的。项目成员与合作者证明的典型群重数一定理完成了这个假设的证明。《美国数学会杂志》审稿人指出非零假设是这个方向“所有工作中的一个根本难点”。这项工作被国际同行称为“孙的突破”。 哥伦比亚大学教授M. Harris等人在论文中称这个问题的解决使整个关于L-函数特殊值研究的领域更加引人瞩目，他还在2014年国际数学家大会45分钟报告中指出由于孙斌勇对这个猜想的证明，人们可以期待（L-函数特殊值）这个问题在未来几年的快速发展。 1. B. Sun, The nonvanishing hypothesis at infinity for Rankin-Selberg convolutions, J. Amer. Math. Soc. 30 (2017), 1-25. -------------------------------------------------------------------------------------- 孙斌勇的论文大量使用假设，还有假设下的假设。在假设和兼容的情况下获得肯定的结果，我随便找一篇举例。 首先我们必须明确“假设和假定”， 1，假定或者假设。只能用在否定结果的证明中，例如，欧几里得证明素数无穷多个，费马无穷递降法。 假定a成立，可以推出b，得到c，c与a矛盾，所以假定的a不能成立，得到非a。 2，假定不能用在肯定的结论。假定a，可以推出b，得到c，c=a，或者c包含a，所以假定的a 成立。（这个就是预期理由的错误）。 3，为什么“假定”只能用于否定的结论，而不能用于肯定的结论？ 一个对科学理论更强的逻辑制约因素是，它们是能够被证伪的。换一句话说，因为以后 能够被观测作有意义的检验，理论一定有被证伪的可能性。这种证伪的判据是区分科学与伪科 学的一种方法。原因在于证实的内在局限性，证实只能增加一个理论的可信度，却不能证明 整个理论的完全正确。因为在未来的某一个时刻，总是会发现与理论有冲突的事例。 可以肯定，孙斌勇所有的数学证明论文都是错误的，下面是中科院提供的论文页4页。
陈景润-法尔廷斯-帮别里等许许多多的数学家都是这种错误。中国科学院一直胡闹 |
|
|
