四色猜想（三大数学难题之三） 世界近代三大数学难题之一。四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。”这个结论能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。 1852年10月23日，他的弟弟就这个问题的证明请教他的老师、著名数学家德.摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家哈密尔顿爵士请教。哈密尔顿接到摩尔根的信后，对四色问题进行论证。但直到1865年哈密尔顿逝世为止，问题也没有能够解决。 1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。 11年后，即1890年，数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久，泰勒的证明也被人们否定了。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题：先辈数学大师们的努力，为后世的数学家揭示四色猜想之谜铺平了道路。 进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，伯克霍夫在肯普的基础上引进了一些新技巧，美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。看来这种推进仍然十分缓慢。电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界。它不仅解决了一个历时100多年的难题，而且有可能成为数学史上一系列新思维的起点。不过也有不少数学家并不满足于计算机取得的成就，他们还在寻找一种简捷明快的书面证明方法。 哥德巴赫猜想（三大数学难题之二） 世界近代三大数学难题之一。哥德巴赫是德国一位中学教师，也是一位著名的数学家，生于1690年，1725年当选为俄国彼得堡科学院院士。1742年，哥德巴赫在教学中发现，每个不小于6的偶数都是两个素数（只能被和它本身整除的数）之和。如6＝3＋3，12＝5＋7等等。 公元1742年6月7日哥德巴赫(Goldbach)写信给当时的大数学家欧拉(Euler)，提出了以下的猜想: (a) 任何一个>=6之偶数，都可以表示成两个奇质数之和。 (b) 任何一个>=9之奇数，都可以表示成三个奇质数之和。 这就是着名的哥德巴赫猜想。欧拉在6月30日给他的回信中说，他相信这个猜想是正确的，但他不能证明。叙述如此简单的问题，连欧拉这样首屈一指的数学家都不能证明，这个猜想便引起了许多数学家的注意。从费马提出这个猜想至今，许多数学家都不断努力想攻克它，但都没有成功。当然曾经有人作了些具体的验证工作，例如: 6 = 3 + 3, 8 = 3 + 5, 10 = 5 + 5 = 3 + 7, 12 = 5 + 7, 14 = 7 + 7 = 3 + 11,16 = 5 + 11, 18 = 5 + 13, . . . . 等等。有人对33×108以内且大过6之偶数一一进行验算，哥德巴赫猜想(a)都成立。但验格的数学证明尚待数学家的努力。 从此，这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。到了20世纪20年代，才有人开始向它靠近。1920年、挪威数学家布爵用一种古老的筛选法证明，得出了一个结论：每一个比大的偶数都可以表示为（99）。这种缩小包围圈的办法很管用，科学家们于是从（9十9）开始，逐步减少每个数里所含质数因子的个数，直到最后使每个数里都是一个质数为止，这样就证明了“哥德巴赫”。 目前最佳的结果是中国数学家陈景润於1966年证明的，称为陈氏定理(Chen‘s Theorem) ? “任何充份大的偶数都是一个质数与一个自然数之和，而后者仅仅是两个质数的乘积。” 通常都简称这个结果为大偶数可表示为 “1 + 2 ”的形式。 在陈景润之前，关於偶数可表示为 s个质数的乘积 与t个质数的乘积之和(简称“s + t ”问题)之进展情况如下: 1920年，挪威的布朗(Brun)证明了 “9 + 9 ”。 1924年，德国的拉特马赫(Rademacher)证明了“7 + 7 ”。 1932年，英国的埃斯特曼(Estermann)证明了 “6 + 6 ”。 1937年，意大利的蕾西(Ricei)先后证明了“5 + 7 ”, “4 + 9 ”, “3 + 15 ”和“2 + 366。 1938年，苏联的布赫 夕太勃(Byxwrao)证明了“5 + 5 ”。 1940年，苏联的布赫 夕太勃(Byxwrao)证明了 “4 + 4 ”。 1948年，匈牙利的瑞尼(Renyi)证明了“1 + c ”，其中c是一很大的自然 数。 1956年，中国的王元证明了 “3 + 4 ”。 1957年，中国的王元先后证明了 “3 + 3 ”和“2 + 3 ”。 1962年，中国的潘承洞和苏联的巴尔巴恩(BapoaH)证明了 “1 + 5 ”， 中国的王元证明了“1 + 4 ”。 1965年，苏联的布赫 夕太勃(Byxwrao)和小维诺格拉多夫(BHHopappB)，及 意大利的朋比利(Bombieri)证明了“1 + 3 ”。 1966年，中国的陈景润证明了 “1 + 2 ”。 最终会由谁攻克 “1 + 1 ”这个难题呢？现在还没法预测。 费尔马大定理及其证明（三大数学难题之一） 近代数学如参天大树，已是分支众多，枝繁叶茂。在这棵苍劲的大树上悬挂着不胜其数的数学难题。其中最耀眼夺目的是四色地图问题、费尔马大定理和哥德巴赫猜想。它们被称为近代三大数学难题。 300多年以来，费尔马大定理使世界上许多著名数学家殚精竭虑，有的甚至耗尽了毕生精力。费尔马大定理神秘的面纱终于在1995年揭开，被43岁的英国数学家维尔斯一举证明。这被认为是“20世纪最重大的数学成就”。 费尔马大定理的由来 故事涉及到两位相隔1400年的数学家，一位是古希腊的丢番图，一位是法国的费尔马。丢番图活动于公元250年前后。 1637年，30来岁的费尔马在读丢番图的名著《算术》的法文译本时，他在书中关于不定方程 x2＋ y2 ＝z2 的全部正整数解这页的空白处用拉丁文写道：“任何一个数的立方，不能分成两个数的立方之和；任何一个数的四次方，不能分成两个数的四次方之和，一般来说，不可能将一个高于二次的幂分成两个同次的幂之和。我已发现了这个断语的美妙证法，可惜这里的空白地方太小，写不下。” 费尔马去世后，人们在整理他的遗物时发现了这段写在书眉上的话。1670年，他的儿子发表了费尔马的这一部分页端笔记，大家才知道这一问题。后来，人们就把这一论断称为费尔马大定理。用数学语言来表达就是：形如xn ＋yn ＝zn 的方程，当n大于2时没有正整数解。 费尔马是一位业余数学爱好者，被誉为“业余数学家之王”。1601年，他出生在法国南部图卢兹附近一位皮革商人的家庭。童年时期是在家里受的教育。长大以后，父亲送他在大学学法律，毕业后当了一名律师。从1648年起，担任图卢兹市议会议员。 他酷爱数学，把自己所有的业余时间都用于研究数学和物理。由于他思维敏捷，记忆力强，又具备研究数学所必须的顽强精神，所以，获得了丰硕的成果，使他跻身于17世纪大数学家之列。 艰难的探索 起初，数学家想重新找到费尔马没有写出来的那个“美妙证法”，但是谁也没有成功。著名数学家欧拉用无限下推法证明了方程 x3＋ y3 ＝z3 和 x4 ＋ y4 ＝z4 不可能有正整数解。希望采纳
即费马猜想、四色猜想和哥德巴赫猜想。费马猜想的证明于1994年由英国数学家安德鲁·怀尔斯（Andrew Wiles）完成，遂称费马大定理；四色猜想的证明于1976年由美国数学家阿佩尔(Kenneth Appel)与哈肯(Wolfgang Haken)借助计算机完成，遂称四色定理；哥德巴赫猜想尚未解决，目前最好的成果（陈氏定理）乃于1966年由中国数学家陈景润取得。这三个问题的共同点就是题面简单易懂，内涵深邃无比，影响了一代代的数学家。
世界七大数学难题
计算机的出现是20世纪数学发展的重大成就，同时极大推动了数学理论的深化和数学在社会和生产力第一线的直接应用。回首20世纪数学的发展， 数学家们深切感谢20世纪最伟大的数学大师大卫•希尔伯特。希尔伯特在1900年8月8日于巴黎召开的第二届世界数学家大会上的著名演讲中提出了23个数学难题。希尔伯特问题在过去百年中激发数学家的智慧，指引数学前进的方向，其对数学发展的影响和推动是巨大的，无法估量的。
世界七大数学难题
20世纪是数学大发展的一个世纪。数学的许多重大难题得到完满解决， 如费马大定理的证明，有限单群分类工作的完成等， 从而使数学的基本理论得到空前发展。
效法希尔伯特， 许多当代世界著名的数学家在过去几年中整理和提出新的数学难题，希冀为新世纪数学的发展指明方向。 这些数学家知名度是高的， 但他们的这项行动并没有引起世界数学界的共同关注。
2000年初美国克雷数学研究所的科学顾问委员会选定了七个“千年大奖问题”，克雷数学研究所的董事会决定建立七百万美元的大奖基金，每个“千年大奖问题”的解决都可获得百万美元的奖励。克雷数学研究所“千年大奖问题”的选定，其目的不是为了形成新世纪数学发展的新方向， 而是集中在对数学发展具有中心意义、数学家们梦寐以求而期待解决的重大难题。
2000年5月24日，千年数学会议在著名的法兰西学院举行。会上，98年费尔兹奖获得者伽沃斯以“数学的重要性”为题作了演讲，其后，塔特和阿啼亚公布和介绍了这七个“千年大奖问题”。克雷数学研究所还邀请有关研究领域的专家对每一个问题进行了较详细的阐述。克雷数学研究所对“千年大奖问题”的解决与获奖作了严格规定。每一个“千年大奖问题”获得解决并不能立即得奖。任何解决答案必须在具有世界声誉的数学杂志上发表两年后且得到数学界的认可，才有可能由克雷数学研究所的科学顾问委员会审查决定是否值得获得百万美元大奖.
世界七大数学难题
这七个“千年大奖问题”是： NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨－米尔斯理论、纳卫尔－斯托可方程、BSD猜想
希尔伯特的23个问题
希尔伯特（Hilbert D.,1862.1.23～1943.2.14）是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中，几乎走遍了现代数学所有前沿阵地，从而把他的思想深深地渗透进了整个现代数学。希尔伯特是哥廷根数学学派的核心，他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者，使哥廷根的传统在世界产生影响。希尔伯特去世时，德国《自然》杂志发表过这样的观点：现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大，在整个数学版图上，留下了他那显赫的名字。
1900年，希尔伯特在巴黎数学家大会上提出了23个最重要的问题供二十世纪的数学家们去研究，这就是著名的"希尔伯特23个问题"。
1975年，在美国伊利诺斯大学召开的一次国际数学会议上，数学家们回顾了四分之三个世纪以来希尔伯特23个问题的研究进展情况。当时统计，约有一半问题已经解决了，其余一半的大多数也都有重大进展。
1976年，在美国数学家评选的自1940年以来美国数学的十大成就中，有三项就是希尔伯特第1、第5、第10问题的解决。由此可见，能解决希尔伯特问题，是当代数学家的无上光荣。
下面摘录的是1987年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特23个问题及其解决情况：
1． 连续统假设 1874年，康托猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设。1938年，哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔集合论公理系统的无矛盾性。1963年，美国数学家科亨证明连续假设和策梅洛--伦克尔集合论公理是彼此独立的。因此，连续统假设不能在策梅洛--弗伦克尔公理体系内证明其正确性与否。希尔伯特第1问题在这个意义上已获解决。
2． 算术公理的相容性 欧几里得几何的相容性可归结为算术公理的相容性。希尔伯特曾提出用形式主义计划的证明论方法加以证明。1931年，哥德尔发表的不完备性定理否定了这种看法。1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性。
1988年出版的《中国大百科全书》数学卷指出，数学相容性问题尚未解决。
3． 两个等底等高四面体的体积相等问题
问题的意思是，存在两个等边等高的四面体，它们不可分解为有限个小四面体，使这两组四面体彼此全等。M.W.德恩1900年即对此问题给出了肯定解答。
4． 两点间以直线为距离最短线问题 此问题提得过于一般。满足此性质的几何学很多，因而需增加某些限制条件。1973年，苏联数学家波格列洛夫宣布，在对称距离情况下，问题获得解决。
《中国大百科全书》说，在希尔伯特之后，在构造与探讨各种特殊度量几何方面有许多进展，但问题并未解决。
5.一个连续变换群的李氏概念，定义这个群的函数不假定是可微的 这个问题简称连续群的解析性，即：是否每一个局部欧氏群都有一定是李群？中间经冯·诺伊曼（1933，对紧群情形）、邦德里雅金（1939，对交换群情形）、谢瓦荚（1941，对可解群情形）的努力，1952年由格利森、蒙哥马利、齐宾共同解决，得到了完全肯定的结果。
6.物理学的公理化 希尔伯特建议用数学的公理化方法推演出全部物理，首先是概率和力学。1933年，苏联数学家柯尔莫哥洛夫实现了将概率论公理化。后来在量子力学、量子场论方面取得了很大成功。但是物理学是否能全盘公理化，很多人表示怀疑。
7.某些数的无理性与超越性 1934年，A.O.盖尔方德和T.施奈德各自独立地解决了问题的后半部分，即对于任意代数数α≠0 ，1，和任意代数无理数β证明了αβ 的超越性。
8.素数问题 包括黎曼猜想、哥德巴赫猜想及孪生素数问题等。一般情况下的黎曼猜想仍待解决。哥德巴赫猜想的最佳结果属于陈景润（1966），但离最解决尚有距离。目前孪生素数问题的最佳结果也属于陈景润。
9．在任意数域中证明最一般的互反律 该问题已由日本数学家高木贞治（1921）和德国数学家E.阿廷（1927）解决。
10． 丢番图方程的可解性 能求出一个整系数方程的整数根，称为丢番图方程可解。希尔伯特问，能否用一种由有限步构成的一般算法判断一个丢番图方程的可解性？1970年，苏联的IO.B.马季亚谢维奇证明了希尔伯特所期望的算法不存在。
11． 系数为任意代数数的二次型 H.哈塞（1929）和C.L.西格尔（1936，1951）在这个问题上获得重要结果。
12． 将阿贝尔域上的克罗克定理推广到任意的代数有理域上去 这一问题只有一些零星的结果，离彻底解决还相差很远。
13． 不可能用只有两个变数的函数解一般的七次方程 七次方程 的根依赖于3个参数a、b、c，即x=x （a，b，c）。这个函数能否用二元函数表示出来？苏联数学家阿诺尔德解决了连续函数的情形（1957），维士斯金又把它推广到了连续可微函数的情形（1964）。但如果要求是解析函数，则问题尚未解决。
14． 证明某类完备函数系的有限性 这和代数不变量问题有关。1958年，日本数学家永田雅宜给出了反例。
15． 舒伯特计数演算的严格基础 一个典型问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学不密切联系。但严格的基础迄今仍未确立。
16． 代数曲线和代数曲线面的拓扑问题 这个问题分为两部分。前半部分涉及代数曲线含有闭的分枝曲线的最大数目。后半部分要求讨论 的极限环的最大个数和相对位置，其中X、Y是x、y的n次多项式.苏联的彼得罗夫斯基曾宣称证明了n=2时极限环的个数不超过3，但这一结论是错误的，已由中国数学家举出反例（1979）。
17． 半正定形式的平方和表示 一个实系数n元多项式对一切数组(x1,x2,...,xn) 都恒大于或等于0，是否都能写成平方和的形式？1927年阿廷证明这是对的。
18． 用全等多面体构造空间 由德国数学家比勃马赫（1910）、荚因哈特（1928）作出部分解决。
19． 正则变分问题的解是否一定解析 对这一问题的研究很少。C.H.伯恩斯坦和彼得罗夫斯基等得出了一些结果。
20． 一般边值问题 这一问题进展十分迅速，已成为一个很大的数学分支。目前还在继续研究。
21． 具有给定单值群的线性微分方程解的存在性证明 已由希尔伯特本人（1905）和H.罗尔（1957）的工作解决。
22． 由自守函数构成的解析函数的单值化 它涉及艰辛的黎曼曲面论，1907年P.克伯获重要突破，其他方面尚未解决。
23． 变分法的进一步发展出 这并不是一个明确的数学问题，只是谈了对变分法的一般看法。20世纪以来变分法有了很大的发展。
这23问题涉及现代数学大部分重要领域，推动了20世纪数学的发展。
世界近代三大数学难题之一.四色猜想的提出来自英国.1852年,毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时,发现了一种有趣的现象：“看来,每幅地图都可以用四种颜色着色,使得有共同边界的国家着上不同的颜色.”这个结论能不能从数学上加以严格证明呢?他和在大学读书的弟弟格里斯决心试一试.兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠,可是研究工作没有进展.
世界近代三大数学难题之一.哥德巴赫是德国一位中学教师,也是一位著名的数学家,生于1690年,1725年当选为俄国彼得堡科学院院士.1742年,哥德巴赫在教学中发现,每个不小于6的偶数都是两个素数（只能被和它本身整除的数）之和.如6＝3＋3,12＝5＋7等等.
费尔马大定理.用数学语言来表达就是：形如xn ＋yn ＝zn 的方程,当n大于2时没有正整数解.
21世纪七大数学难题
最近美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣布了一件被媒体炒得火热的大事：对七个“千僖年数学难题”的每一个悬赏一百万美元。以下是这七个难题的简单介绍。
“千僖难题”之一：P（多项式算法）问题对NP（非多项式算法）问题
在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克（StephenCook）于1971年陈述的。
“千僖难题”之二： 霍奇(Hodge)猜想
二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。
“千僖难题”之三： 庞加莱(Poincare)猜想
如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。
“千僖难题”之四： 黎曼(Riemann)假设
有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2,3,5,7,等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布并不遵循任何有规则的模式；然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密相关于一个精心构造的所谓黎曼蔡塔函数z(s$的性态。著名的黎曼假设断言，方程z(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。
“千僖难题”之五： 杨－米尔斯(Yang-Mills)存在性和质量缺口
量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。基于杨－米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的高能实验中得到证实：布罗克哈文、斯坦福、欧洲粒子物理研究所和筑波。尽管如此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是，被大多数物理学家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设，从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。
“千僖难题”之六：纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性
起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶－斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶－斯托克斯方程中的奥秘。
“千僖难题”之七：贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想
数学家总是被诸如x^2+y^2=z^2那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇(Yu.V.Matiyasevich)指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)，相反，如果z(1)不等于0,那么只存在有限多个这样的点
数学十大猜想难题”之一：P（多项式算法）问题对NP（非多项式算法）问题 难题”之二：霍奇猜想 难题”之三：庞加莱猜想 难题”之四：黎曼假设 难题”之五：杨－米尔斯存在性和质量缺口 难题”之六：纳维叶－斯托克斯方程的存在性与光滑性 难题”之七：贝赫和斯维讷通－戴尔猜想 难题”之八：几何尺规作图问题 难题”之九：哥德巴赫猜想 难题”之十：四色猜想
1、几何尺规作图问题 这里所说的“几何尺规作图问题”是指做图限制只能用直尺、圆规，而这里的直尺是指没有刻度只能画直线的尺。“几何尺规作图问题”包括以下四个问题 1.化圆为方－求作一正方形使其面积等於一已知圆； 2.三等分任意角； 3.倍立方－求作一立方体使其体积是一已知立方体的二倍。 4.做正十七边形。 以上四个问题一直困扰数学家二千多年都不得其解，而实际上这前三大问题都已证明不可能用直尺圆规经有限步骤可解决的。第四个问题是高斯用代数的方法解决的，他也视此为生平得意之作，还交待要把正十七边形刻在他的墓碑上，但后来他的墓碑上并没有刻上十七边形，而是十七角星，因为负责刻碑的雕刻家认为，正十七边形和圆太像了，大家一定分辨不出来。 2、蜂窝猜想 四世纪古希腊数学家佩波斯提出,蜂窝的优美形状,是自然界最有效劳动的代表。他猜想,人们所见到的、截面呈六边形的蜂窝,是蜜蜂采用最少量的蜂蜡建造成的。他的这一猜想称为蜂窝猜想,但这一猜想一直没有人能证明。1943年,匈牙利数学家陶斯巧妙地证明,在所有首尾相连的正多边形中,正多边形的周长是最小的。1943年,匈牙利数学家陶斯巧妙地证明,在所有首尾相连的正多边形中,正多边形的周长是最小的。但如果多边形的边是曲线时,会发生什么情况呢?陶斯认为,正六边形与其他任何形状的图形相比,它的周长最小,但他不能证明这一点。而黑尔在考虑了周边是曲线时,无论是曲线向外突,还是向内凹,都证明了由许多正六边形组成的图形周长最校他已将19页的证明过程放在因特网上,许多专家都已看到了这一证明,认为黑尔的证明是正确的。 3、孪生素数猜想 1849年，波林那克提出孪生素生猜想（the conjecture of twin primes），即猜测存在无穷多对孪生素数。孪生素数即相差2的一对素数。例如3和5 ，5和7，11和13，…，10016957和10016959等等都是孪生素数。1966年，中国数学家陈景润在这方面得到最好的结果：存在无穷多个素数p，使p+2是不超过两个素数之积。孪生素数猜想至今仍未解决，但一般人都认为是正确的。 4、费马最后定理 在三百六十多年前的某一天，费马突然心血来潮在书页的空白处，写下一个看起来很简单的定理这个定理的内容是有关一个方程式 xn +yn = zn 的正整数解的问题，当n=2时就是我们所熟知的毕氏定理（中国古代又称勾股弦定理）。 费马声称当n>2时，就找不到满足 xn +yn = zn 的整数解，例如：方程式 x3 +y3 = z3 就无法找到整数解。 始作俑者的费马也因此留下了千古的难题，三百多年来无数的数学家尝试要去解决这个难题却都徒劳无功。这个号称世纪难题的费马最后定理也就成了数学界的心头大患，极欲解之而后快。 不过这个三百多年的数学悬案终於解决了，这个数学难题是由英国的数学家威利斯（Andrew Wiles）所解决。其实威利斯是利用二十世纪过去三十年来抽象数学发展的结果加以证明。 5、四色猜想 1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。” 1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。 1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界。 6、哥德巴赫猜想 公元1742年6月7日哥德巴赫(Goldbach)写信给当时的大数学家欧拉(Euler)，提出了以下的猜想: (a) 任何一个>=6之偶数，都可以表示成两个奇质数之和。 (b) 任何一个>=9之奇数，都可以表示成三个奇质数之和。 从此，这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。
难题”之一：P（多项式算法）问题对NP（非多项式算法）问题 难题”之二：霍奇猜想 难题”之三：庞加莱猜想 难题”之四：黎曼假设 难题”之五：杨－米尔斯存在性和质量缺口 难题”之六：纳维叶－斯托克斯方程的存在性与光滑性 难题”之七：贝赫和斯维讷通－戴尔猜想 难题”之八：几何尺规作图问题 难题”之九：哥德巴赫猜想 难题”之十：四色猜想参考资料：http://bk.baidu.com/view/830630.html 希望对你有帮助，谢谢。
雨露，是万物生长的灵丹妙药，它能让万物欣欣向荣，给人带来希望和欢乐。起名，是给孩子取名最重要的一步，因为名字，在某种程度上就是一种文化。一个好的名字，可以让孩子从小拥有一个好的起点。那么，旸字取名呢，有着什么样的寓意及含义？
1、旸是五行金之字，五行属水，寓意孩子聪明机智，有大智慧，富有爱心。
根据五行属性来取名，金能克水，就像是金被水淹没了，所以会出现水变少，阳气不充足的情况。而旸字五行属水，表示有希望的样子，寓意孩子聪明机智，有大智慧，富有爱心，有爱心之义，对人非常友好，人缘非常好。由于在起名时需要注意五行八字，所以名字要避开太多不利因素。例如孩子取名为旸这个名字时，可选择五行属金且与水相冲或水火相济或金水相济等字面寓意相搭。
2、旸字是木之金之字，五行属木，为金之态，寓意孩子金木水火土五行协调，和谐发展。
雨露的滋润，日出而作，日落而息，都让人感到无比满足。旸，字音shèng,寓意着孩子有一颗包容和感恩之心。这与“日出而作、日落而息”有异曲同工之妙……旸给人带来欢乐、吉祥的同时，也寓意着孩子金木水火土协调发展……
3、旸是一种很有灵性的字，可形容孩子生机勃勃，乐观向上。
【旸】有光明、温暖、明朗的意思，可用作名字。【阳凯是太阳之意。【阳阳阳】阳代表明亮，阳代表光明及温暖。用阳代表光明的事物，表示孩子生机勃勃，乐观向上。【阳欣可表示欣欣向荣之意。【阳和】可表示温暖的意思。
4、旸字取名，寓意孩子乐观向上，对生活充满希望。
旸字寓意孩子乐观向上，对生活充满希望，乐观积极的生活态度，有助于提高孩子的自信心。另外旸字取名还有着积极向上、乐观开朗、吉祥幸福、生活美满、幸福美满等美好祝愿，其寓意吉祥。而且旸在中国汉字里是非常多见的一个字，我们可以将这个字用在名字中来表达。旸字取名代表着孩子未来很美好而充满希望。如果将其用于起名中，则代表着孩子未来会有很多希望。同时也象征着孩子将来会有所成就。
5、旸作为名字有吉祥富贵之意。
旸这个名字，在很早的时候就被赋予了吉祥富贵的寓意，因为它在名字中的意思很多。所以有很高的吉祥富贵之意。这个名字将孩子命名为【旸】具有美好的寓意。