檢視黎曼猜想的原始碼

==什么是黎曼猜想==
黎曼猜想由数学家波恩哈德·黎曼（1826--1866）于1859年提出。它是数学中一个重要而又著名的未解决的问题。多年来它吸引了许多出色的数学家为之绞尽脑汁。克雷数学研究所以100万美元奖励证明黎曼猜想的人。 黎曼猜想：
[[File:Lmcx.jpg|缩略图|lmcx]]



非平凡零点(在此情况下是指s不为-2、-4、-6，‧‧‧ 等点的值,s=x+yi)的实数部分x是1/2。

==黎曼猜想命题的逻辑结构的主项是一个集合概念==
[[File:U=2411758796,364695964&fm=26&gp=0.jpg|缩略图]]

黎曼猜想面对无穷多个零点： 主项：所有的非平凡零点 连接词： 都 谓项：位于直线1/2+yi的“临界线”上的性质”】判断。

属于集合概念的命题，就从整体上无法证明，只能一个个验证。因为，所有的数学定理都是全称判断，所有的全称判断的主项都是普遍概念和单独概念。 并且这个黎曼公式是一个开放的公式，没有封闭，更加增加了不确定性。

1，普遍概念和单独概念 a，普遍概念反映的是一个对象以上的概念，反映的是一个“类”，这个词项的内涵由为了包含在词项外延所必须具有的事物的性质组成。 普遍概念的每一个个体必然具有这个概念的基本属性。例如：“工人”是一个普遍概念，无论“石油工人”，“钢铁工人”，还是“中国工人”，“德国工人”，它们必然地具有“工人”的基本属性。数学中的普遍概念有例如“素数”，“合数”，等。“素数有无穷多个”就是普遍概念的命题。 b，单独概念，是独一无二的概念，外延只有一个，例如“上海”、“孙中山”。数学中的单独概念有“e”、“π”。“e是一个超越数”就是单独概念的命题。

2，集合概念 集合概念反映的是集合体，这个词项的外延由词项所应用的事物集合组成，例如“中国工人阶级”，集合体的每一个个体不是必然具备集合体的基本属性，例如某一个“中国工人”，不是必然具有“中国工人阶级”的基本属性。

世界上没有一个数学定理的主项是集合概念，所有的数学定理的主项都是普遍概念或者单独概念。

==一个公式是集合概念或者普遍概念的区别==



1，普遍概念命题公式

“具有这种性质的元素：1，都属于这种事物。2，有多少数量”的判断。 公式中没有变量，或者有变量n并且可以无穷大，但是根据计算结果可以判断事物的性质，是普遍概念命题公式。 例如勾股定理公式，椭圆公式，....。 普遍概念的公式，在计算之前，就知道了计算结果的性质。例如，我们看到a²+b²=c²就知道是一个直角三角形。

2，集合概念命题的公式 “某个事物（某个形式）的所有元素或者多个元素具有某种性质” 的判断。 集合概念公式的特征就是：在证明或者计算某一个具体的数值之前，是无法知道这个数值结果的性质。 并且，黎曼猜想的每一个“零点”的S=X+Yi中的虚部Y值都是不同的。 这个例如，欧拉在1772年素数公式，是一个集合概念公式：

f(n)=nⁿ+n+41

的值都是素数。对于前几个自然数n = 0, 1, 2, 3...，多项式的值是41, 43, 47, 53, 61, 71...。当n等于40时，多项式的值是1681=41×41，是一个合数。实际上，当n能被41整除的时候，P(n)也能被41整除，因而是合数.。

集合概念的公式不能保证计算结果具有这个公式想要的结果性质，是一种不确定的结果公式。因为集合概念的每一个个体不是必然具有这个概念的基本属性。我们知道，黎曼猜想的每一个“零点”的S=X+Yi中的虚部Y值都是不同的。这个公式是一种形式上的集合，就是全部具备这种形式。

==黎曼猜想是一个二阶逻辑问题，无法得到完整证明==

黎曼猜想的：所有 “零点” 是一个集合，零点是这个对象上的函数，按照通常数学中定义，一个n元函数就是从论域A的个体的所有n元组的集合至A的一个映射。当我们用“所有个体”“存在个体”，量词加在论域的个体上，称为一阶量词。“所有函数”，“存在函数”，“所有关系”，“存在关系”是二阶量词，即二阶逻辑。黎曼所说的“所有零点”就是“所有函数”的二阶量词。 黎曼猜想已经超出了G弗雷格建立的一阶逻辑形式系统（即谓词演算），涉及极为复杂的逻辑系统，一般的数学家对此毫无所知。

如果你不能理解二阶逻辑，我做一个比喻，“加速度”不是一个基本量（例如长度或者质量什么的），它是二阶变化率，即变化率的变化率。物理学二阶逻辑问题还有三体问题（月球、地球、太阳）和多体问题，都是无法一次性解决的问题。 黎曼猜想即：所有A（零点）成立的充分必要条件是包含A之中的B（s=x+yi时x=1/2成立）成立。 当所有的主项能够成立必须依赖于谓项成立的命题就是二阶逻辑命题。

一阶逻辑和其他高阶逻辑不同之处在于，高阶逻辑的断言可以有断言或函数当做引数，且允许断言量词或函数量词的（同时或不同时）存在。 逻辑语言中的定理表示的是一个公式集合，并且该公式集合中的每一个公式都代表着知识的一个片段，由此我们可以给定理一个更准确的表达（这里所说的定理指的是在一阶逻辑中的定理，通常来说任意一个命题集合往往不一定是定理）。一阶逻辑可分成两个主要的部分：语法决定哪些符号的组合是一阶逻辑内的合法表示式，而语义则决定这些表示式之前的意思 因为数学只能处理最低级的无穷，不能处理更加大的无穷，看到了康托尔的厉害了吗？他认为无穷是有级别的。还因为证实的局限性，证实只能增加一个可信度，却不能证明理论完全正确。


==数论中的猜想是不可靠的==

数论中仅仅凭借猜想是不可靠的，只有通过严格证明才能确定。尽管已经得知有15亿个零点符合黎曼猜想，还是不能用严格证明的方式解决。 例如，欧拉猜想三个自然数的4次方之和不可能是一个自然数的4次方，过了100多年，有人发现反例。


==一个词项是属于什么类型的概念取决于当时的语境==
例如： 1，黎曼猜想是一个著名问题。 这一句话中的“黎曼猜想”是一个单独概念。 2，“黎曼猜想中ζ 函数的所有非平凡零点（无穷多个）都位于复平面上 Re(s)=1/2 的直线上“。 这里的“黎曼猜想”就是一个集合概念。 注意，黎曼函数还是一个公式，这个公式是集合概念的公式，它是面对无穷多个零点的公式。 所以黎曼猜想只能一个个验证，而不能一揽子解决。

==以往的证明都是错误的==
在证明黎曼猜想的历史中，美国莱文生1974年宣称证明“至少”有34%的零点成立是荒唐的，这是一个特称判断，说明莱文生证明必然错误，并且在集合概念前面加数量词34%，也是一种语法错误。
[[File:莱文森.jpg|缩略图]]
莱文森
一个笑话：“小张经过一年努力掌握了1000多个英语词汇”。词汇是集合概念，表示一种语言词项的总汇，前面不能用“1000多个”限制。 中国也有一个傻逼楼世拓姚琦，
[[File:娄世拓.jpg|缩略图]]
娄世拓
1980年宣称证明了“至少”有35%的零点成立，纯属无稽之谈。
以及更加傻逼的张益唐说自己有信心证明，真是没有最傻逼，只有更傻逼。

==普遍概念与集合概念的关系==
1，集合概念可以包含多个或者无穷多个普遍概念，例如集合概念的“工人阶级”可以包含许许多多的普遍概念的“工人”。 
2，普遍概念可以与集合概念形成交叉关系 例如，素数，通常情况下是一个普遍概念，它是大于1并且只能被1和自身整除的自然数。可以将素数分为4k+1与4k-1两种集合概念的类型(为什么说4k+1形或者4k-1形素数是集合概念？因为对于输入任何一个k值，在计算出来以后经过验证才能知道是不是素数。)。
[[File:V2-d4cca8fb9f37532a1c84cbdf18fb9331 r.jpg|缩略图]]