数学七大难题，世界七大数学未解难题

世界数学7大难题是什么

这七个“世界难题”是：NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨-米尔斯存在性和质量缺口、纳卫尔-斯托可方程、BSD猜想

1、NP完全问题

有些计算问题是确定性的，比如加减乘除之类，你只要按照公式推导，按部就班一步步来，就可以得到结果。但是，有些问题是无法按部就班直接地计算出来。比如，找大质数的问题，这种问题的答案，是无法直接计算得到的，只能通过间接的“猜算”来得到结果。人们发现，所有的完全多项式非确定性问题，都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案，都可以在多项式时间内计算，人们于是就猜想，是否这类问题存在一个确定性算法，可以在多项式时间内直接算出或是搜寻出正确的答案呢？这就是著名的NP=P？的猜想。

2、霍奇猜想

霍奇猜想是代数几何的一个重大的悬而未决的问题。它是关于非奇异复代数簇的代数拓扑和它由定义子簇的多项式方程所表述的几何的关联的猜想。用通俗的话说，就是“再好再复杂的一座宫殿，都可以由一堆积木垒成”。用文人的话说就是:任何一个形状的几何图形，不管它有多复杂，它都可以用一堆简单的几何图形拼成。在实际工作中，我们无法在二维平面的纸上绘画出来一种复杂的多维图形，霍奇猜想就是把复杂的拓扑图形分拆成为一个个构件，我们只要按照规则安装就可以理解设计者的思想。

3、庞加莱猜想

庞加莱猜想是法国数学家庞加莱提出的一个猜想，即“任何一个单连通的，闭的三维流形一定同胚于一个三维的球面。”简单的说，一个闭的三维流形就是一个有边界的三维空间；单连通就是这个空间中每条封闭的曲线都可以连续的收缩成一点，或者说在一个封闭的三维空间，假如每条封闭的曲线都能收缩成一点，这个空间就一定是一个三维圆球。庞加莱猜想是一个拓扑学中带有基本意义的命题，将有助于人类更好地研究三维空间，其带来的结果将会加深人们对流形性质的认识。

4、黎曼假设

黎曼猜想是关于黎曼ζ函数ζ(s)的零点分布的猜想，由数学家黎曼于1859年提出。有些数具有不能表示为两个更小的整数的乘积的特殊性质，例如，2，3，5，7，等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布并不遵循任何有规则的模式。著名的黎曼假设断言，方程ζ（s)=0的所有有意义的解都在一条直线z=1/2+ib上，其中b为实数，这条直线通常称为临界线。这点已经对于开始的1500000000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。

5、杨-米尔斯存在性和质量缺口

大约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。该问题的正式表述是：证明对任何紧的、单的规范群，四维欧几里得空间中的杨米尔斯方程组有一个预言存在质量缺口的解。该问题的解决将阐明物理学家尚未完全理解的自然界的基本方面。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。

6、纳卫尔-斯托可方程

起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶－斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶－斯托克斯方程中的奥秘。

7、BSD猜想

BSD猜想，全称贝赫和斯维纳通-戴尔猜想，它描述了阿贝尔簇的算术性质与解析性质之间的联系。给定一个整体域上的阿贝尔簇，猜想它的莫代尔群的秩等于它的L函数在1处的零点阶数，且它的L函数在1处的泰勒展开的首项系数与莫代尔群的有限部分大小、自由部分体积、所有素位的周期以及沙群有精确的等式关系。

世界七大数学难题是哪些

NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨-米尔斯存在性和质量缺口、纳卫尔-斯托可方程的存在性与光滑性以及BSD猜想。

数学界的十大难题是什么

数学世界十大难题：

1、科拉兹猜想

?

科拉兹猜想又称为奇偶归一猜想，是指对于每一个正整数，如果它是奇数，则对它乘3再加1，如果它是偶数，则对它除以2，如此循环，最终都能够得到1。

2、哥德巴赫猜想

?

哥德巴赫猜想是数学界中存在最久的未解问题之一。它可以表述为：任一大于2的偶数，都可表示成两个素数之和。例如，4=2+2；12=5+7；14=3+11=7+7。也就是说，每个大于等于4的偶数都是哥德巴赫数，可表示成两个素数之和的数。

3、孪生素数猜想

?

这个猜想是最初发源于德国数学家希尔·伯特，他在1900年国际数学家大会上提出：存在无穷多个素数p，使得p+2是素数。其中，素数对（p,p+2)称为孪生素数。在1849年，法国数学家阿尔方·德·波利尼亚克提出了孪生素数猜想：对所有自然数k，存在无穷多个素数对（p,p+2k)。k=1的情况就是孪生素数猜想。

4、黎曼猜想

?

黎曼猜想由德国数学家波恩哈德·黎曼于1859年提出。它是数学界一个重要而又著名的未解决的问题，素有“猜想界皇冠”之称，多年来它吸引了许多出色的数学家为之绞尽脑汁。

对于每个s，此函数给出一个无穷大的和，这需要一些基本演算才能求出s的最简单值。例如，如果s=2，则（s）是众所周知的级数1+1/4+1/9+1/16+…，奇怪是谁，加起来恰好是2/6。当s是一个复数（一个看起来像a+b的复数）时，使用虚数查找是很棘手的。

5、贝赫和斯维纳通－戴尔猜想

?

贝赫和斯维纳通－戴尔猜想表述为：对有理数域上的任一椭圆曲线，其L函数在1的化零阶等于此曲线上有理点构成的Abel群的秩。

设E是定义在代数数域K上的椭圆曲线，E(K)是E上的有理点的集合，已经知道E(K)是有限生成交换群。记L（s,E）是E的L函数，则生成上图的贝赫和斯维纳通－戴尔猜想公式。

6、接吻数问题

?

当一堆球体堆积在某个区域中时，每个球体都有一个“接吻数”，即它所接触的其他球体的数量。例如，如果您要触摸6个相邻的球体，那么您的接吻数是6。一堆球体将具有一个平均接吻数，这有助于从数学上描述情况。但是有关接吻数的问题尚未获得数学上的最终解答。

7、活结死结问题

?

在数学中，活结死结问题是在给定某种结的情况下在算法上识别不打结的数量。

将绳子的两端在无穷远处接起来，就形成了拓扑学意义上的纽结。如果这个纽结与一个圈在某种意义上拓扑等价，数学上称之为unknot，就意味着原来的结是活结，否则就是死结。

8、大基数

?

在集合论的数学领域中，大基数性质是有限基数的一种性质。顾名思义，具有这种性质的基数通常非常“大”，它们不能在最普遍的集合论公理化中得到证明。

最小无穷大，记为??。那是希伯来语字母aleph；它的读数为“aleph-零”。它是一组自然数的大小，因此被写为｜?｜＝??。接下来，一些常见集合大于大小??。康托尔证明的主要示例是实数集更大，用｜?｜＞??表示。

9、π＋e

?

这个问题全是关于代数实数的。定义：如果实数是某些具有整数系数的多项式的根，则实数是代数的。例如，x2-6是具有整数系数的多项式，因为1和－6是整数。x2-6=0的根是x=√6和x=-√6，这意味着√6和－√6是代数数。

所有有理数和有理数的根都是代数的。所以可能感觉“大多数”实数都是代数的，结果却恰恰相反。实数可以追溯到古代的数学，而e是从17世纪才开始出现的。

10、γ是有理数吗

?

这是另一个很容易写出来但很难解决的问题，是欧拉－马斯刻若尼常数，它是调和级数与自然对数的差值。

?

它的近似值如上。该常数最先由瑞士数学家莱昂哈德·欧拉在1735年发表定义。欧拉曾经使用C作为它的符号，并计算出了它的前6位小数。1761年他又将该值计算到了16位小数。1790年，意大利数学家洛伦佐·马斯刻若尼引入了作为这个常数的符号，并将该常数计算到小数点后32位。

目前尚不知道该常数是否为有理数，但是分析表明如果它是一个有理数，那么它的分母位数将超过10的242080方。目前，已经计算到了几千亿位数，但没有人能证明它是否为有理数。