我以前说过:
1, 逻辑问题, 数学思维必须符合逻辑,演绎证明某事肯定是这样,归纳说明某事在实际上是有效的,溯因仅仅表明某事可能是,所以溯因是推理中较弱的一种形式。
演绎是从一般到特殊,归纳是从很多特殊到某一个一般。但是,溯因逻辑是从一个现象或者一个事实,反推出可能存在的原因
2,命题问题, 溯因整理成为一个命题叫做猜想。
3,命题证明问题,而证明一个猜想是告诉你结果,让你按照规则找出原因-过程的必然性,把道理讲清楚。
我们证明一个数学命题就是一种整体上弱势溯因推理,每一个局部需要强势演绎推理,这是无法克服的困难----超出了人类解决问题的能力!好比一个饭都吃不饱的病人,你要求他力大无比,扛起300斤登上24楼。况且,,一个事实可能有多种原因,我们要找到那个必然的原因,并且用演绎推理证明就是它。好比逆水行舟,盲人摸象。
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,千千万万的数学家不懂逻辑学,几百万条所谓的“数学定理”都是错误的。
例如,刘若川论文用了大量的假设和估计,用假设否定假设,用假设证明估计,胡编乱造:
7,例如沈维孝也是用估计证明,沈维孝还荒唐地使用归纳法证明,竟然还宣称证明三体运动,三体问题是二阶逻辑问题,是变化率的变化率,是无法证明的问题。
8,韦东弈