数论命题结构问题 |
送交者: wxmwrkhp 2021年06月02日06:43:48 于 [教育学术] 发送悄悄话 |
一,所有的数论命题,无论主项还是谓项: (一)按照: 属性还是实体划分 1,属性概念。 数学归纳法在证明无穷概念命题时候,只能用于没有属性的恒等式,对于有属性概念的命题,只能用演绎法证明。不能使用数学不完全归纳法证明无穷事物(参见后面的典型例子,费马素数猜想,或者p=np问题)。 因为:一个数学定理就是一个全称判断。一个全称判断的主项必须是普遍概念(或者单独概念)。普遍概念外延定义就是依据这个词项的内涵也就是属性确定所以,一个定理应该是: 1,一种具有某种属性的事物有多少(例如素数有多少,孪生素数对有多少,高斯类数有多少)。 2,一类事物是否具有某种属性(圆周率π 是一个超越数,e是超越数等)。 (二),主项按照外延划分 现有的数论命题有 全世界的数学定理都是全称判断,所有的全称判断的主项都是普遍概念或者单独概念,世界上没有任何一个数学定理的主项是集合概念。 概念的种类: (三),按照逻辑层次有一阶逻辑问题和二阶逻辑问题 1,一阶逻辑。所有的数学定理都是一阶逻辑问题。
与哥德巴赫猜想不同的是,孪生素数猜想主项是“实体概念包含属性概念”,哥德巴赫猜想谓项是实体包含属性。 (3),费马大定理 Xⁿ+Yⁿ=Zⁿ 说n=3,4,5,....。没有整数解。由于n有无穷多个,所以 主项:是集合概念,n有无穷多个,不合理,只能对n一个一个证明。因为世界上所有的数学定理都是普遍概念或者单独概念。 谓项说:Z=ⁿ√Xⁿ+Yⁿ ,(x,y也是一样)如果费马大定理正确,z不是整数不是有理数,根号内是属性概念,Xⁿ+Yⁿ 之和如果不是一个整数的n次方,z 就是无理数,两个数的和又是实体概念。命题的谓项是属性概念包含实体概念。(与哥德巴赫猜想和孪生素数猜想相反) 费马大定理是一个二阶逻辑问题,一阶变化率n,引起二阶变化率xyz的变化。命题不合理,如果不是将所有的n 一次性证明,而是对一个个具体的n=3, 4 ,5,....一个个证明,就是合理命题。函数可以看成方程,反之也一样,在不违反康托尔连续统条件下。我们知道,二阶逻辑命题是无法证明的,参见【费马大定理证明了全世界数学家都是白痴】。 (4) 黎曼猜想 黎曼猜想的 “零点” 有无穷多个,每一个零点不是一样的,所以是一个集合概念,零点是这个对象上的函数,按照通常数学中定义,一个n元函数就是从论域A的个体的所有n元组的集合至A的一个映射。当我们用“所有个体”、“存在个体”,量词加在论域的个体上,称为一阶量词。 “所有函数”、“存在函数”、“所有关系”、“存在关系”是二阶量词,即二阶逻辑。黎曼所说的“所有零点”就是“所有函数”的二阶量词,黎曼猜想已经超出了G弗雷格建立的一阶逻辑形式系统(即谓词演算),涉及极为复杂的逻辑系统,所有的数学定理都是一阶逻辑,目前还没有二阶逻辑的数学定理,一般的数学家对此毫无所知。 即:所有A(零点)的成立的充分必要条件是包含A之中的B(s=x+yi时x=1/2成立)成立。 黎曼猜想还是一个属性概念包含属性概念的双重属性概念。 如果你不能理解二阶逻辑,我就举一个简单例子,“加速度”不是一个基本量,即不是长度或者质量什么的,而是一个变化率,还是二阶变化率,即变化率的变化率。我们只能够对一个变化率的变化率做出计算或者证明,而不能对所有变化率的变化率做出计算或者证明。圆周率,自然对数底e,货郎担问题等等都是二阶逻辑问题。 (5),费马素数猜想和梅森素数猜想 命题:2^2ⁿ+1 形状的素数有无穷多个。 (其中n为非负整数)的素数有无穷多个。 主项:2^2ⁿ+1 形状的素数,“素数”是属性概念,n有无穷多个,是一个集合概念。 主项是一个属性包含实体结构的概念。用集合概念包含具有特定属性的实体。 谓项:无穷多个。 主项集合概念命题只能一个个验证,不能一次性解决。一个着名的例子就是当年费马猜想:n=1时,f(1)=5;n=2时,f(2)=17;n=3时,f(3)=257;n=4时,f(4)=65537.费马猜想所有的n,f(n) 都是素数。这是典型的用数学不完全归纳法解决属性问题,注定要失败。 梅森素数也是一个道理。 属性包含结构主项,如果有两个或者两个以上的变量,就是一个二阶逻辑问题,例如上面的费马素数和梅森素数。还有 型素数。伊万尼克的证明的荒唐 此外,斐波那契数列中是否有无穷多个素数问题也是属性包含实体结构的命题,属于无法解决的问题。 三,总结 全世界每一年产生10万到20万条新定理,这些所谓定理除了极少数简单的外,几乎全部都是错误的,特别是证明长度达到几十页、上百页的证明,百分之百都是错误的。 因为目前大量的命题逻辑没有搞清楚,是不可能正确的。 古代的东西为什么会正确?因为古代的数学命题证明都是非常简单的。就好比建造一艘军舰,设计图纸和总体要求都没有出来,各个生产车间自行其是建造的各种部件,是无法组装的。估计至少有几百万条数学定理报废。现在需要顶层设计,建立数学命题证明的规范,主要是:命题结构必须合理,各个段落必须具有传递性,使用的数学概念必须经过正确的定义(种加属差)等等。最后,建立全世界统一的检查软件。所有的数学家必须全部补课,因为全世界数学家普遍不懂逻辑学。 为什么机器证明是荒唐的? |
|
|
|
实用资讯 | |
|
|
一周点击热帖 | 更多>> |
|
|
一周回复热帖 |
|
|
历史上的今天:回复热帖 |
2020: | 如何写好文献综述 | |
2019: | 中国“新的中产阶级”在西方 | |
2019: | 宋词解(10) | |
2018: | 孔子名言解(9) | |
2017: | 【密码学】中央情报局院内的密码 | |
2017: | 271‘如一众生未成佛 终不于此取泥洹’ | |
2016: | 中国企业赚钱不动脑筋。这哪行? | |
2016: | 神秘的中微子 | |