陈省身和南开大学张伟平院士和复旦大学数学院陈猛胡编乱造论文狗屁不通
本帖最后由 ygvfe 于 2025-9-9 20:46 编辑导读
•AI导读带你速览精华
张伟平的论文充斥着假设与估计，违背数学定理的基本准则——明确判断、全称命题、演绎证明。其"定理"主项模糊、方法错误，用归纳类比掩盖逻辑缺陷，实为学术胡闹。内容由AI智能生成
https://mbdp01.bdstatic.com/static/landing-pc/img/like.9c74151c.png有用https://mbdp01.bdstatic.com/static/landing-pc/img/degrade.25a6064e.png
张伟平240页论文狗屁不通，假设下假设，估计中估计，完全就是胡编乱造，毫无逻辑可言。居然当选院士。
什么是数学定理？
1，数学定理必须是一个明确的判断。
2，数学定理必须是一个全称（一切，所有的，任何，每一个）判断。
3，数学定理是一个已经经过正确的演绎法证明的数学命题（不能使用归纳法和类比法证明，演绎法-三段论有256个格式，只有19个格式有效）。
4，数学定理结构（或者说命题结构）由主项与谓项组成。
5，主项与谓项必须是全异关系（不能是种属关系，例如“庞加莱猜想“就是一个错误的命题，主项与谓项是种属关系；“素数有无穷多个”就是一个正确的命题，因为主项”素数“，与谓项”无穷多个“是全异关系）。
6，主项和谓项的含义必须明确表示和界定，不能有“假设”“估计”。
7，数学定理必须符合语法（例如陶哲轩的”存在任意长的素数算术数列“，主项与谓项都是错误的，主项”素数算术数列”是一个集合概念。谓项“任意长“违反语法：肯定判断谓项不能周延）。
8，用公式表达的定理，每一个符号必须是明确的概念和含义，不能有歧义（例如张益唐的公式）。
9，主项必须是普遍概念或者单独概念，不能是集合概念。
10，数学定理的主项必须经过正确的”种加属差“的方法定义。例如，”素数就是大于1并且只能被1和自身整除的自然数“。
11，一个定理陈述一个给定类所有的元素不变的性质和关系，适用于所有的元素，在任何时候无区别的成立。
张伟平在论文中介绍的【定理】，全部都是，设，假设，假定，假设下的假设。就是说，的定理主项不明确，需要根据不同条件变换。这个就不叫“定理”了，只能是事件的推演，一个事态或者一个动力系统的推演。证明中，经过了设，假设，还要进行【估计】，估计中的估计、完全就是胡闹。
估计-归纳-类比-假设否定假设等错误的方法，就是企图绕过演绎推理，用模糊的手段掩人耳目。
张伟平的假设证明和先验估计命题证明是：
（1）没有进入因果关系；
（2）没有进入构成关系；
（3）无法可以被感知。
（4）先验估计从区分两类否定真理的角度来检视这一问题。
第一类涉及虚构或者主观创造的一些对象；
第二类涉及实际存在的对象。
假设是虚构的对象并不具有事务的全部属性。
（5）假设最后必须被证明才能进入证据链。
（6），假设理由的虚假性胡乱修改前提条件，得出错误结论。
（7），推理的无关性胡编乱造的结论不能算定理。
（8），隐含的假设性这些结论都有一个共同的缺陷，假设存在他们想要的内容，都是无关地联系他们预想的东西。
（9），论证的单一性这些论证都是违反演绎推理的基本规则，不能反推回去，正确的定理证明，百分之百可以倒推回去。估计中的估计怎么倒推回去？假设下的假设怎么倒推回去？
陈猛的错误陈省身归纳假设荒唐证明
暨南大学陈豪这一次申请院士，他的证明也是狗屁不通。“当d1<a0+2a1，假设f1....我们在此要证明.....和假设d0......。
让我们假设f2是...。我们在此要证明的是...根据情况（ii）的假设....。其它可能性也可以用类似的方法证明。证毕。”
大前提和小前提都是假设，结论是含糊不清。
院士陈永川狗屁不通的证明--大小前提都是假设
本帖最后由 ygvfe 于 2025-9-9 09:08 编辑院士陈永川荒唐的证明（多重假设的证明，其实就是一种推演）：
命题5.1设n和M如前所述。假设σ是M上的斯特林排列，T是σ对应的格塞尔树。那么索引i是σ的双重下降，当且仅当T中顶点σi有一个不平衡的y-叶节点。
证明：
（作者按，大前提有3个假设）
设j = σi，令Sj (σ)为在位置p首次出现j、末次出现j的位置为q的j段。进一步定义Sj (σ) = w0 j w1 j····wkj−1wkj（5.1）为Sj (σ)的Gessel分解。
假设j存在一个不平衡的y叶。接下来我们将证明i是σ的双重下降。由于y叶表明最后一个因子wkj为空，而Sj (σ)两端都被较小元素包围，因此i构成一个下降。
假设j首次出现的位置在p处，需要验证p-1是否也是下降。y叶的不平衡性意味着（5.1）中的段w0非空。
（小前提）根据Gessel分解的定义，w0中任何元素都大于j，（结论）因此p-1必定构成一个下降。至此证明完成。
多重假设就是一个推演，而不是证明。
页:
[1]