|
本帖最后由 qwerty 于 2022-6-24 20:00 编辑
黎曼猜想由数学家波恩哈德·黎曼(1826--1866)于1859年提出。它是数学中一个重要而又著名的未解决的问题。多年来它吸引了许多出色的数学家为之绞尽脑汁。克雷数学研究所以100万美元奖励证明黎曼猜想的人。
黎曼猜想:
黎曼ζ函数,
非平凡零点(在此情况下是指s不为-2、-4、-6,.....; 等点的值,s=x+yi)的实数部分是1/2。
一,黎曼猜想逻辑结构的主项是一个集合概念
黎曼猜想面对无穷多个零点:
【(主项):所有的非平凡零点
(连接词)都
(谓项)位于直线1/2+yi的“临界线”上的性质”】判断。
属于集合概念的命题,就从整体上无法证明,只能一个个验证。并且这个黎曼公式是一个开放的公式,没有封闭,更加增加了不确定性。
因为所有的数学定理都是全称判断,所有的全称判断主项都是普遍概念,
1,普遍概念
普遍概念反映的是一个对象以上的概念,反映的是一个“类”,这个词项的内涵由为了包含在词项外延所必须具有的事物的性质组成。
普遍概念的每一个个体必然具有这个概念的基本属性。例如:“工人”是一个普遍概念,无论“石油工人”,“钢铁工人”,还是“中国工人”,“德国工人”,它们必然地具有“工人”的基本属性。数学中的普遍概念有例如“素数”,“合数”,等。“素数有无穷多个”就是普遍概念的命题。
2,集合概念
集合概念反映的是集合体,这个词项的外延由词项所应用的事物集合组成,例如“中国工人阶级”,集合体的每一个个体不是必然具备集合体的基本属性,例如某一个“中国工人”,不是必然具有“中国工人阶级”的基本属性。
世界上没有一个数学定理的主项是集合概念,所有的数学定理的主项都是普遍概念或者单独概念。
二,一个公式是集合概念或者普遍概念的区别
1,普遍概念命题公式
“具有这种性质的元素:1,都属于这种事物。2,有多少数量”的判断。
公式中没有变量,或者有变量n并且可以无穷大,但是根据计算结果可以判断事物的性质,是普遍概念命题公式。
例如勾股定理公式,椭圆公式,....。
普遍概念的公式,在计算之前,就知道了计算结果的性质。
2,集合概念命题的公式
“某个事物(某个形式)的所有元素或者多个元素具有某种性质” 的判断。
集合概念公式的特征就是:在证明或者计算某一个具体的数值之前,是无法知道这个数值结果的性质。
这个例如,欧拉在1772年素数公式,是一个集合概念公式:
\[f(n)=n^2+n+41\]
的值都是素数。对于前几个自然数n = 0, 1, 2, 3...,多项式的值是41, 43, 47, 53, 61, 71...。当n等于40时,多项式的值是1681=41×41,是一个合数。实际上,当n能被41整除的时候,P(n)也能被41整除,因而是合数.。
集合概念的公式不能保证计算结果具有这个公式想要的结果性质,是一种不确定的结果公式。因为集合概念的每一个个体不是必然具有这个概念的基本属性。这个公式是一种形式上的集合,就是全部具备这种形式。
三,黎曼猜想是一个二阶逻辑问题
因为,主项是集合概念的命题是无法证明的,因为集合概念的每一个个体不是必然具有这个概念的基本属性。就决定了必须一个个去证明。
黎曼猜想的 “零点” 也是一个集合,零点是这个对象上的函数,按照通常数学中定义,一个n元函数就是从论域A的个体的所有n元组的集合至A的一个映射。当我们用“所有个体”“存在个体”,量词加在论域的个体上,称为一阶量词。“
” 所有函数”,“存在函数”,“所有关系”,“存在关系”是二阶量词,即二阶逻辑。黎曼所说的“所有零点”就是“所有函数”的二阶量词,黎曼猜想已经超出了G弗雷格建立的一阶逻辑形式系统(即谓词演算),涉及极为复杂的逻辑系统,一般的数学家对此毫无所知。
因为数学只能处理最低级的无穷,不能处理更加大的无穷,看到了康托尔的厉害了吗?他认为无穷是有级别的。还因为证实的局限性,证实只能增加一个可信度,却不能证明理论完全正确。
四,数论中的猜想是不可靠的
数论中仅仅凭借猜想是不可靠的,只有通过严格证明才能确定。尽管已经得知有15亿个零点符合黎曼猜想,还是不能用严格证明的方式解决。
五,一个词项是属于什么类型的概念,取决于当时的语境。
例如:
1,黎曼猜想是一个著名问题。
这一句话中的“黎曼猜想”是一个单独概念。
2,“黎曼猜想中ζ 函数的所有非平凡零点(无穷多个)都位于复平面上 Re(s)=1/2 的直线上“。
这里的“黎曼猜想”就是一个集合概念。
注意,黎曼函数还是一个公式,这个公式是集合概念的公式,它是面对无穷多个零点的公式。
所以黎曼猜想只能一个个验证,而不能一揽子解决。
在证明黎曼猜想的历史中,莱文生证明有1/3的零点成立是荒唐的,这是一个特称判断,
(莱文森)说明莱文生证明必然错误。
中国也有一个傻逼楼世拓姚琦,(楼世拓)宣称取得进展,纯属无稽之谈。以及更加傻逼的张益唐说自己有信心证明,真是没有最傻逼,只有更傻逼。
(作者王晓明在黎曼的家乡德国) |
本帖子中包含更多资源
您需要 登录 才可以下载或查看,没有帐号?注册
x
|