世界数学十大未解难题
（其中“一至七”为七大“千僖难题”；附录“希尔伯特23个问题里尚未解决
的问题”）
一：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,那么只存在有限多个这样的点。
八：几何尺规作图问题
这里所说的“几何尺规作图问题”是指作图限制只能用直尺、圆规，而这里的直尺是指没有刻度只能画直线的尺。“几何尺规作图问题”包括以下四个问题 1.化圆为方－求作一正方形使其面积等於一已知圆； 2.三等分任意角； 3.倍立方－求作一立方体使其体积是一已知立方体的二倍。 4.做正十七边形。以上四个问题一直困扰数学家二千多年都不得其解，而实际上这前三大问题都已证明不可能用直尺圆规经有限步骤可解决的。第四个问题是高斯用代数的方法解决的，他也视此为生平得意之作，还交待要把正十七边形刻在他的墓碑上，但后来他的墓碑上并没有刻上十七边形，而是十七角星，因为负责刻碑的雕刻家认为，正十七边形和圆太像了，大家一定分辨不出来。
九：哥德巴赫猜想
公元1742年6月7日哥德巴赫(Goldbach)写信给当时的大数学家欧拉(Euler)，提出了以下的猜想: (a) 任何一个>=6之偶数，都可以表示成两个奇质数之和。
(b) 任何一个>=9之奇数，都可以表示成三个奇质数之和。从此，这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。
【哥德巴赫猜想最新最好的成果是中国数学家陈景润的陈氏定理，通俗地讲：哥德巴赫猜想如果简称“1+1”，如今解决的是“1+2”。但是这样说使得许多大众容易产生误会。】
十：四色猜想
1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。” 1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。 1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界。
希尔伯特23问题里尚未解决的问题：
1、问题1连续统假设。
全体正整数（被称为可数集）的基数和实数集合（被称为连续统）的基数c之间没有其它基数。
背景：1938年奥地利数学家哥德尔证明此假设在集合论公理系统，即策莫罗-佛朗克尔公理系统里，不可证伪。
1963年美国数学家柯恩证明在该公理系统，不能证明此假设是对的。
所以，至今未有人知道，此假设到底是对还是错。
2、问题2 算术公理相容性。
背景：哥德尔证明了算术系统的不完备，使希尔伯特的用元数学证明算术公理系统的无矛盾性的想法破灭。
3、问题7 某些数的无理性和超越性。
背景
此题为希尔伯特第7问题中的一个特例。
已经证明了e^π的超越性，却至今未有人证明e+π的超越性。
4、问题 8 素数问题。
证明：
ζ(s)=1+(1/2)^s+(1/3)^s+(1/4)^s+(1/5)^s + …
(s属于复数域)
所定义的函数ζ(s)的零点，除负整实数外，全都具有实部1/2。
背景：
此即黎曼猜想。也就是希尔伯特第8问题。
美国数学家用计算机算了ζ(s)函数前300万个零点确实符合猜想。
希尔伯特认为黎曼猜想的解决能够使我们严格地去解决歌德巴赫猜想（任一偶数可以分解为两素数之和）和孪生素数猜想（存在无穷多相差为2的素数）。
引申的问题是：素数的表达公式？素数的本质是什么？
5、问题 11 系数为任意代数数的二次型。
背景：德国和法国数学家在60年代曾取得重大进展。
6、问题 12 阿贝尔域上的克罗内克定理在任意代数有理域上的推广。
背景：此问题只有些零散的结果，离彻底解决还十分遥远。
7、问题13 仅用二元函数解一般7次代数方程的不可能性。
背景：1957苏联数学家解决了连续函数情形。如要求是解析函数则此问题尚未完全解决。
8、问题15 舒伯特计数演算的严格基础。
背景：代数簌交点的个数问题。和代数几何学有关。
9、问题 16 代数曲线和曲面的拓扑。
要求代数曲线含有闭的分枝曲线的最大数目。和微分方程的极限环的最多个数和相对位置。
10、问题 18 用全等多面体来构造空间。
无限个相等的给定形式的多面体最紧密的排列问题，现在仍未解决。
11、问题 20 一般边值问题。
偏微分方程的边值问题，正在蓬勃发展。
12、问题 23 变分法的进一步发展。
希尔伯特23个数学问题及其解决情况
（1）康托的连续统基数问题。
1874年，康托猜测在可数集基数和实数集基数之间没有别的基数，即著名的连续统假设。1938年，侨居美
国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF集合论公理系统的无矛盾性。1963年，美国数学家科
思（P.Choen）证明连续统假设与ZF公理彼此独立。因而，连续统假设不能用ZF公理加以证明。在这个意
义下，问题已获解决。
（2）算术公理系统的无矛盾性。
欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以
证明，哥德尔1931年发表不完备性定理作出否定。根茨（G.Gentaen，1909-1945）1936年使用超限归纳法
证明了算术公理系统的无矛盾性。
（3）只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。
问题的意思是：存在两个登高等底的四面体，它们不可能分解为有限个小四面体，使这两组四面体彼此全
等德思（M.Dehn）1900年已解决。
（4）两点间以直线为距离最短线问题。
此问题提的一般。满足此性质的几何很多，因而需要加以某些限制条件。1973年，苏联数学家波格列洛夫
（Pogleov）宣布，在对称距离情况下，问题获解决。
（5）拓扑学成为李群的条件（拓扑群）。
这一个问题简称连续群的解析性，即是否每一个局部欧氏群都一定是李群。1952年，由格里森（Gleason
）、蒙哥马利（Montgomery）、齐宾（Zippin）共同解决。1953年，日本的山迈英彦已得到完全肯定的结
果。
（6）对数学起重要作用的物理学的公理化。
1933年，苏联数学家柯尔莫哥洛夫将概率论公理化。后来，在量子力学、量子场论方面取得成功。但对物
理学各个分支能否全盘公理化，很多人有怀疑。
（7）某些数的超越性的证明。
需证：如果α是代数数，β是无理数的代数数，那么αβ一定是超越数或至少是无理数（例如，2√2和e
π）。苏联的盖尔封特（Gelfond）1929年、德国的施奈德（Schneider）及西格尔（Siegel）1935年分别
独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。
（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。
素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以
及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均
属中国数学家陈景润。
（9）一般互反律在任意数域中的证明。
1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发
展之中。
（10）能否通过有限步骤来判定不定方程是否存在有理整数解？
求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美
国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克
尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇
最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中
不少和计算机科学有密切联系。
（11）一般代数数域内的二次型论。
德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil
）取得了新进展。
（12）类域的构成问题。
即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还
很远。
（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。
七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c)。这一函数能否用两变量函数表示
出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在［0，1］上连续的实函
数f(x1，x2，x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9)，这里hi和ξi为连续实函数。柯尔莫哥洛夫
证明f(x1，x2，x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实
函数，
ξij的选取可与f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未
解决。
（14）某些完备函数系的有限的证明。
即域K上的以x1,x2,…,xn为自变量的多项式fi（i=1,…，m），R为K［X1，…，Xm]上的有理函数F（X1，
…，Xm）构成的环，并且F（f1，…，fm）∈K[x1，…，xm]试问R是否可由有限个元素F1，…，FN的多项
式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解
决。
（15）建立代数几何学的基础。
荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。
（15）注一舒伯特（Schubert）计数演算的严格基础。
一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个
直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几
何学有密切的关系。但严格的基础至今仍未建立。
（16）代数曲线和曲面的拓扑研究。
此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X 的极限环的最多
个数N（n）和相对位置，其中X、Y是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得
到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3，这个曾震动一时的结果
，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了（E2）
不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n＝2的方程具有至少3个成串极限环的实例
。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。
1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，从而最终地解决了二次
微分方程的解的结构问题，并为研究希尔伯特第（16）问题提供了新的途径。
（17）半正定形式的平方和表示。
实系数有理函数f(x1,…，xn)对任意数组（x1，…,xn）都恒大于或等于0，确定f是否都能写成有理函数
的平方和？1927年阿廷已肯定地解决。
（18）用全等多面体构造空间。
德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。
（19）正则变分问题的解是否总是解析函数？
德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。
（20）研究一般边值问题。
此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。
（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。
此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重
要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。
（22）用自守函数将解析函数单值化。
此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要
突破。其它方面尚未解决。
（23）发展变分学方法的研究。
这不是一个明确的数学问题。20世纪变分法有了很大发展。
可见，希尔伯特提出的问题是相当艰深的。正因为艰深，才吸引有志之士去作巨大的努力。
希尔伯特的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
21世纪物理学的25个难题 大卫·格罗斯1[①] 编者按：1900年，在巴黎国际数学家代表大会上，德国数学家大卫·希尔伯特（David Hilbert，1864－1943）根据19世纪数学研究成果和发展趋势，提出了新世纪数学家应该致力解决的23个数学问题。希尔伯特的演讲，对20世纪的数学发展，产生了极大的影响。100余年之后的2004年，另一个大卫，因发现量子色动力学中的“渐近自由”现象而荣获2004年诺贝尔物理学奖的美国物理学家大卫·格罗斯教授，同样就未来物理学的发展，提出了25个问题。也许人们会说，在物理学领域提出问题要比数学领域容易得多，因为物理学就像大江大河，而数学则像尼罗河三角洲中纵横交错的河网。但若是反过来想一想，既然物理学界对前沿问题具有更广泛的共识，我们就不难明白，格罗斯教授所提出的问题对未来物理学发展的重要意义。有趣的是，这25个问题中，有1/3落在物理学的边缘地带，其中3个与计算机科学相关，3个与生物学相关，4个与哲学和社会学相关。格罗斯教授的演讲，最初是为美国加州大学卡维利理论物理研究所成立25周年庆典而准备的，该庆典云集了物理学各领域的世界一流学者。此后数月，格罗斯教授先后在欧洲核子中心（CERN）、中国科学院理论物理研究所、浙江大学等地作过内容相近的讲演。这里的译文，系根据格罗斯教授所提供的讲稿译出，中科院理论物理所网站有免费下载的讲演录相（https://www.doczj.com/doc/0813407782.html,/ Video/2005/000.asf），读者也可以参考。 作者简介：大卫·格罗斯（David Gross），美国国家科学院院士，加州大学圣巴巴拉分校（University of California at Santa Barbara）卡维利理论物理研究所（Kavli Institute for Theoretical Physics ）所长。格罗斯教授是量子色动力学的奠基人之一，当代弦理论专家，因发现强相互作用中的渐近自由现象2004年与弗兰克·维尔切克（Frank Wilczek）和戴维·波利策（David Politzer）分享了当年度的诺贝尔物理学奖。 这份讲稿来自于我在2004年10月7日卡维利理论物理研究所（KITP）25周年庆祝会议上所作的演讲。在这次会议中，与会者被邀请提出一些可能引导物理学研究的问题，广泛地说，在未来25年可能引导物理学研究的问题，讲稿中的一部分内容就来自于与会者所提出的问题。 1、宇宙起源 第1个问题关于宇宙的起源。这个问题不仅对于科学而且对于哲学和宗教都是一个永久的问题。现在它是理论物理学和宇宙学亟待解决的问题：“宇宙是如何开始的？” 根据最新的观察，我们知道宇宙正在膨胀。因此，如果我们让时光倒流，宇宙将会收缩。如果我们应用爱因斯坦方程和我们关于粒子物理学的知识，我们可以或多或少对哪儿会出现“初始奇点”做出近似的推断。在“初始奇点”，宇宙收缩成为一种难以置信的高密度和高能量的状态——即通常所称的“大爆炸”。我们不知道在大爆炸点（at the big bang）发生了什么，我们所知的基础物理的所有方法——不仅是广义相对论和标准模型，甚至包括我所知的弦理论——都失灵了。 1[①]作者简介：大卫·格罗斯（David Gross），美国国家科学院院士，加州大学圣巴巴拉分校（University of California at Santa Barbara）卡维利理论物理研究所（Kavli Institute for Theoretical Physics ）所长。格罗斯教授是量子色动力学的奠基人之一，当代弦理论专家，因发现强相互作用中的渐近自由现象2004年与弗兰克·维尔切克（Frank Wilczek）和戴维·波利策（David Politzer）分享了当年度的诺贝尔物理学奖。
[Word格式]《成本会计》习题及答案（自学推荐，23页） [Word格式]《成本会计》配套习题集参考答案 [Word格式]《实用成本会计》习题答案 [Word格式]《会计电算化》教材习题答案（09年） [JPG格式]会计从业《基础会计》课后答案 [Word格式]《现代西方经济学（微观经济学）》笔记与课后习题详解（第3版，宋承先）[Word格式]《宏观经济学》习题答案（第七版，多恩布什） [Word格式]《国际贸易》课后习题答案（海闻 P.林德特王新奎） [PDF格式]《西方经济学》习题答案（第三版，高鸿业）可直接打印 [Word格式]《金融工程》课后题答案（郑振龙版） [Word格式]《宏观经济学》课后答案（布兰查德版） [JPG格式]《投资学》课后习题答案（英文版，牛逼版） [PDF格式]《投资学》课后习题答案（博迪，第四版） [Word格式]《微观经济学》课后答案（高鸿业版） [Word格式]《公司理财》课后答案（英文版，第六版） [Word格式]《国际经济学》教师手册及课后习题答案（克鲁格曼，第六版） [Word格式]《金融市场学》课后习题答案（张亦春，郑振龙，第二版） [PDF格式]《金融市场学》电子书（张亦春，郑振龙，第二版） [Word格式]《微观经济学》课后答案（平狄克版） [Word格式]《中级财务会计》习题答案（第二版，刘永泽） [PDF格式]《国际经济学》习题答案（萨尔瓦多，英文版） [JPG格式]《宏观经济学》课后答案（曼昆，中文版） [PDF格式]《宏观经济学》答案（曼昆，第五版，英文版）pdf格式 [Word格式]《技术经济学概论》（第二版）习题答案 [Word格式]曼昆《经济学原理》课后习题解答 [PDF格式]西方经济学（高鸿业版）教材详细答案 [Word格式]完整的英文原版曼昆宏观、微观经济学答案 [Word格式]《金融市场学》课后答案（郑振龙版） 化学物理 [Word格式]《固体物理》习题解答（方俊鑫版） [Word格式]《简明结构化学》课后习题答案（第三版，夏少武） [Word格式]《生物化学》复习资料大全（3套试卷及答案+各章习题集） [PDF格式]《光学教程》习题答案（第四版，姚启钧原著） [Word格式]《流体力学》实验分析答案（浙工大版） [Word格式]《高分子化学》课后习题答案（第四版，潘祖仁主编） [PDF格式]《化工热力学》习题与习题答案（含各种版本） [Word格式]《材料力学》习题答案 [Word格式]《量子力学导论》习题答案（曾谨言版，北京大学） [PDF格式]《理论力学》习题答案（动力学和静力学）
难题”之一：P（多项式算法）问题对NP（非多项式算法）问题 难题”之二：霍奇(Hodge)猜想 难题”之三：庞加莱(Poincare)猜想 难题”之四：黎曼(Riemann)假设 难题”之五：杨－米尔斯(Yang-Mills)存在性和质量缺口 难题”之六：纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性 难题”之七：贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想 难题”之八：几何尺规作图问题 难题”之九：哥德巴赫猜想 难题”之十：四色猜想 美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣布了一件被媒体炒得火热的大事：对七个“千僖年数学难题”的每一个悬赏一百万美元。以下是这七个难题的简单介绍。 “千僖难题”之一：P（多项式算法）问题对NP（非多项式算法）问题 在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克（StephenCook）于1971年陈述的。 “千僖难题”之二：霍奇(Hodge)猜想 二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。“千僖难题”之三：庞加莱(Poincare)猜想 如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。 “千僖难题”之四：黎曼(Riemann)假设
世界数学十大未解难题 （其中“一至七”为七大“千僖难题”；附录“希尔伯特23个问题里尚未解决 的问题”） 一：P（多项式算法）问题对NP（非多项式算法）问题 在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数 13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克（StephenCook）于1971年陈述的。 二：霍奇(Hodge)猜想 二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。 三：庞加莱(Poincare)猜想
数学专业参考书——学数学的必看 学数学要多看书，但是初学者很难知道那些书好，我从网上收集并结合自己的经验进行了整理： 从《数学分析》开始讲起： 《数学分析》是数学系最重要的一门课，经常一个点就会引申出今后的一门课，并且是今后数学系大部分课程的基础。也是初学时比较难的一门课，这里的难主要是对数学分析思想和方法的不适应，其实随着课程的深入会一点点容易起来。当大四考研复习再看时会感觉轻松许多。数学系的数学分析讲三个学期共计15学分270学时。将《数学分析》中较难的一部分删去再加上常微分方程的一些最简单的内容就是中国非数学专业的《高等数学》，或者叫数学一的高数部分。 记住以下几点： 1.对于数学分析的学习，勤奋永远比天分重要。 2.学数学分析不难，难得是长期坚持做题和不遗余力的博览群书。 3.别指望第一遍就能记住和掌握什么，请看第二遍，第三遍，…,第阿列夫遍。 4.看得懂的仔细看，看不懂的硬着头皮看。 5.课本一个字一个字的看完，至少再看一本参考书，尽量做一本习题集。 6.开始前三遍，一本书看三遍效果好于三本书看一遍；第四遍开始相反。 7.经常回头看看自己走过的路 以上几点请在学其他课程时参考。 《数学分析》书： 初学从中选一本教材，一本参考书就基本够了。我强烈推荐11，推荐1，2，7，8。另外建议看一下当不了教材的16，20。 中国人自己写的： 1《数学分析》陈传璋，金福临，朱学炎，欧阳光中著（新版作者顺序颠倒） 应该是来自辛钦的《数学分析简明教程》，是数学系用的时间最长，用的最多的书，大部分学校考研分析的指定教材。我大一用第二版，现在出了第三版，但是里面仍有一些印刷错误，不过克可以一眼看出来。网络上可以找到课后习题的参考答案，不过建议自己做。不少经济类工科类学校也用这一本书。里面个别地方讲的比较难懂，而且比其他书少了一俩个知识点，比如好像没有讲斯托尔滋(stolz)定理，实数的定义也不清楚。不过仍然不失为一本好书。能广泛被使用一定有它自己的一些优势。 2《数学分析》华东师范大学数学系著 师范类使用最多的书，课后习题编排的不错，也是考研用的比较多的一本书。课本最后讲了一些流形上的微积分。虽然是师范类的书，难度比上一本有一些降低，不过还是值得一看的。 3《数学分析》陈纪修等著 以上三本是考研用的最多的三本书。 4《数学分析》李成章，黄玉民 是南开大学一个系列里的数学分析分册，这套教材里的各本都经常被用到，总体还是不错的，是为教学改革后课时数减少后的数学系各门课编写的教材。 5《数学分析讲义》刘玉链 我的数学分析老师推荐的一本书，不过我没有看，最近应该出了新版，貌似是第五？版，最初是一本函授教材，写的应该比较详细易懂。不要因为是函授教材就看不起，事实上最初的函授工作都是由最好的教授做的。细说就远了，总之可以看看。
21世纪四大化学难题 到了21世纪，数学界、物理学界和生物学界都相继提出了各自领域的重大难题或奋斗目标。但在化学界，一直没有人明确提出哪些是化学要解决的世纪难题。 近年来，在世界范围内出现了淡化化学的思潮。那么化学界果真提不出重大难题吗？有人对这一问题，提出21世纪的四大化学难题供大家一起探讨。如何建立精确有效而又普遍适用的化学反应的含时多体量子理论和统计理论？ 化学是研究化学变化的科学，所以化学反应理论和定律是化学的第一根本规律。应该说，目前的一些理论方法对描述复杂化学体系还有困难。因此，建立严格彻底的微观化学反应理论，既要从初始原理出发，又要巧妙地采取近似方法，使之能解决实际问题，包括决定某两个或几个分子之间能否发生化学反应？能否生成预期的分子？需要什么催化剂才能在温和条件下进行反应？如何在理论指导下控制化学反应？ 如何计算化学反应的速率？如何确定化学反应的途径等，是21世纪化学应该解决的第一个难题。对于这一世纪难题，应予首先研究的课题有：(1)充分了解若干个重要的典型的化学反应的机理，以便设计最好的催化剂，实现在最温和的条件进行反应，控制反应的方向和手性，发现新的反应类型，新的反应试剂。 (2)在搞清楚光合作用和生物固氮机理的基础上，设计催化剂和反应途径，以便打断CO2, N2等稳定分子中的惰性化学键。(3)研究其它各种酶催化反应的机理。酶对化学反应的加速可达100亿倍，专一性达100%。如何模拟天然酶，制造人工催化剂，是化学家面临的重大难题。(4)充分了解分子的电子、振动、转动能级，用特定频率的光脉冲来打断选定的化学键——选键化学的理论和实验技术。 如何确立结构和性能的定量关系？这里“结构”和“性能”是广义的，前者包含构型、构象、手性、粒度、形状和形貌等，后者包含物理、化学和功能性质以及生物和生理活性等。这是21世纪化学的第二个重大理论难题。要优先研究的课题有：(1)分子和分子间的非共价键的相互作用的本质和规律。(2)超分子结构的类型，生成和调控的规律。(3)给体-受体作用原理。(4)进一步完善原子价和化学键理论，特别是无机化学中的共价问题。(5)生物大分子的一级结构如何决定高级结构？高级结构又如何决定生物和生理活性？(6)分子自由基的稳定性和结构的关系。(7)掺杂晶体的结构和性能的关系。(8)各种维数的空腔结构和复杂分子体系的构筑原理和规律。(9)如何设计合成具有人们期望的某种性能的材料？(10)如何使宏观材料达到微观化学键的强度？例如“金属胡须”的抗拉强度比通常的金属丝大一个量级，但还远未达到金属-金属键的强度，所以增加金属材料强度的潜力是很大的。以上各方面是化学的第二根本问题，其迫切性可能比第一问题更大，因为它是解决分子设计和实用问题的关键。 如何揭示生命现象的化学机理？充分认识和彻底了解人类和生物的生命运动的化学机理，无疑是21世纪化学亟待解决的重大难题之一。例如：(1)研究配体小分子和受体生物大分子相互作用的机理，这是药物设计的基础。(2)化学遗传学为哈佛大学化学教授Schreiber所创建。他的小组合成某些小分子，使之与蛋白质结合，并改变蛋白质的功能，例如使某些蛋白酶的功能关闭。这些方法使得研究者们不通过改变产生某一蛋白质的基因密码就可以研究它们的功能，为开创化学蛋白质组学，化学基因组学(与生物学家以改变基因密码来研究的方法不
一百年前的数学界有两位泰斗：庞加莱和希尔伯特，而尤以后者更加出名，我想主要原因是他曾经在1900 年的世界数学家大会上提出了二十三个著名的希尔伯特问题，指引了本世纪前五十年数学的主攻方向，不过还有一个原因呢，我想就是著名的希尔伯特空间了。 希尔伯特空间是希尔伯特在解决无穷维线性方程组时提出的概念，原来的线性代数理论都是基于有限维欧几里得空间的，无法适用，这迫使希尔伯特去思考无穷维欧几里得空间，也就是无穷序列空间的性质。 大家知道，在一个欧几里得空间R^n 上，所有的点可以写成为：X= （x1，x2，x3，...， xn ）。那么类似的，在一个无穷维欧几里得空间上点就是：X= （x1，x2，x3 ，xn，.................................................................... ），一个 点的序列。 欧氏空间上有两个重要的性质，一是每个点都有一个范数（绝对值，或者说是一个点到原点的距离），||X||^2= ∑xn^2，可是这一重要性质在无穷维时被破坏了：对于无穷多个xn，∑xn^2 可以不存在（为无穷大）。于是希尔伯特将所有∑ xn^2 为有限的点做成一个子空间，并赋以X*X'= ∑ xn*xn' 作为两点的内积。这个空间我们现在叫做l^2 ，平方和数列空间，这是最早 的希尔伯特空间了。 注意到我只提了内积没有提范数，这是因为范数可以由点与自身的内积推出，所以内积是一个更加强的条件，有内积必有范数，反之不然。只有范数的空间叫做Banach 空间，（以后有时间再慢慢讲:- ）。 如果光是用来解决无穷维线性方程组的话，泛函就不会被称为现代数学的支柱了。 Hilbert 空间中我只提到了一个很自然的泛函空间：在无穷维欧氏空间上∑ xn^2 为有限的点。这个最早的Hilbert space 叫做l^2 （小写的l 上标2，又叫小l2 空间），非常类似于有限维的欧氏空间。
希尔伯特的二十三个数学问题 1900年，德国数学家D.希尔伯特在巴黎第二届国际数学家大会上作了题为《数学问题 》的著名讲演，其中对各类数学问题的意义、源泉及研究方法发表了精辟的见解，而整个 讲演的核心部分则是希尔伯特根据19世纪数学研究的成果与发展趋势而提出的23个问题。 ①连续统假设1963年，P.J.科恩证明了：连续统假设的真伪不可能在策梅洛－弗伦克尔公理系统内判明。 ②算术公理的相容性1931年,K.哥德尔的“不完备定理”指出了用希尔伯特“元数学”证明算术公理相容性之不可能。数学相容性问题尚未解决。 ③两等高等底的四面体体积之相等M.W.德恩1900年即对此问题给出了肯定解答。 ④直线作为两点间最短距离问题希尔伯特之后，在构造与探讨各种特殊度量几何方面有许多进展，但问题并未解决。 ⑤不要定义群的函数的可微性假设的李群概念A.M.格利森、D.蒙哥马利和L.齐平等于1952年对此问题作出了最后的肯定解答。 ⑥物理公理的数学处理公理化物理学的一般意义仍需探讨。至于希尔伯特问题中提到的概率论公理化，已由А.Н.柯尔莫哥洛夫(1933)等人建立。 ⑦某些数的无理性与超越性1934年,A.O.盖尔丰德和T.施奈德各自独立地 解决了问题的后半部分，即对于任意代数数□≠0，1，和任意代数无理数□证明了□□的超越性。 ⑧素数问题包括黎曼猜想、哥德巴赫猜想及孪生素数问题等。一般情况下的黎曼猜想仍待解决。哥德巴赫猜想最佳结果属于陈景润(1966)，但离最终解决尚有距离。 ⑨任意数域中最一般的互反律之证明已由高木□治(1921)和E.阿廷(1927)解决。 ⑩丢番图方程可解性的判别1970年，□.В.马季亚谢维奇证明了希尔伯特所期望的一般算法不存在。 11 系数为任意代数数的二次型H.哈塞(1929)和C.L.西格尔(1936，1951)在这问题上获得重要结果。 12 阿贝尔域上的克罗内克定理推广到任意代数有理域尚未解决。 13 不可能用只有两个变数的函数解一般的七次方程连续函数情形于1957年由В.И.阿诺尔德解决。解析函数情形则尚未解决。 14 证明某类完全函数系的有限性1958年,永田雅宜给出了否定解决。 15 舒伯特计数演算的严格基础代数几何基础已由B.L.范·德·瓦尔登(1938～1940)与A.韦伊(1950)建立，但舒伯特演算的合理性仍待解决。 16 代数曲线与曲面的拓扑对该问题的后半部分，И.Г.彼得罗夫斯基曾声明证明了□=2时极限环个数不超过3，但这一结论是错误的，已由中国数学家举出反例(1979)。
大学几乎所有学科的课本答案 ！ 任明嘉的日志 经济金融 [PDF格式]《会计学原理》同步练习题答案 [Word格式]《成本会计》习题及答案（自学推荐，23页） [Word格式]《成本会计》配套习题集参考答案 [Word格式]《实用成本会计》习题答案 [Word格式]《会计电算化》教材习题答案（09年） [JPG格式]会计从业《基础会计》课后答案 [Word格式]《现代西方经济学（微观经济学）》笔记与课后习题详解（第3版，宋承先）[Word格式]《宏观经济学》习题答案（第七版，多恩布什） [Word格式]《国际贸易》课后习题答案（海闻P.林德特王新奎） [PDF格式]《西方经济学》习题答案（第三版，高鸿业）可直接打印 [Word格式]《金融工程》课后题答案（郑振龙版） [Word格式]《宏观经济学》课后答案（布兰查德版） [JPG格式]《投资学》课后习题答案（英文版，牛逼版） [PDF格式]《投资学》课后习题答案（博迪，第四版） [Word格式]《微观经济学》课后答案（高鸿业版） [Word格式]《公司理财》课后答案（英文版，第六版）
[Word格式]《国际经济学》教师手册及课后习题答案（克鲁格曼，第六版） [Word格式]《金融市场学》课后习题答案（张亦春，郑振龙，第二版）[PDF格式]《金融市场学》电子书（张亦春，郑振龙，第二版） [Word格式]《微观经济学》课后答案（平狄克版） [Word格式]《中级财务会计》习题答案（第二版，刘永泽） [PDF格式]《国际经济学》习题答案（萨尔瓦多，英文版） [JPG格式]《宏观经济学》课后答案（曼昆，中文版） [PDF格式]《宏观经济学》答案（曼昆，第五版，英文版）pdf格式 [Word格式]《技术经济学概论》（第二版）习题答案 [Word格式]曼昆《经济学原理》课后习题解答 [PDF格式]西方经济学（高鸿业版）教材详细答案 [Word格式]完整的英文原版曼昆宏观、微观经济学答案 [Word格式]《金融市场学》课后答案（郑振龙版） 化学物理 [Word格式]《固体物理》习题解答（方俊鑫版） [Word格式]《简明结构化学》课后习题答案（第三版，夏少武） [Word格式]《生物化学》复习资料大全（3套试卷及答案+各章习题集）[PDF格式]《光学教程》习题答案（第四版，姚启钧原著） [Word格式]《流体力学》实验分析答案（浙工大版） [Word格式]《高分子化学》课后习题答案（第四版，潘祖仁主编）
希尔伯特23个数学问题及其解决情况 已有 95 次阅读2011-10-3 21:02|个人分类:Mathematics&Statistics|系统分类:科研笔记|关键词:数学世纪亚历山大希尔伯特全世界 希尔伯特（HilbertD.，1862.1.23～1943.2.14）是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中，几乎走遍了现代数学所有前沿阵地，从而把他的思想深深地渗透进了整个现代数学。希尔伯特是哥廷根数学学派的核心，他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者，使哥廷根的传统在世界产生影响。希尔伯特去世时，德国《自然》杂志发表过这样的观点：现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大，在整个数学版图上，留下了他那显赫的名字。 1900年，希尔伯特在巴黎数学家大会上提出了23个最重要的问题供二十世纪 的数学家们去研究，这就是著名的“希尔伯特23个问题”。 1975年，在美国伊利诺斯大学召开的一次国际数学会议上，数学家们回顾了四分之三个世纪以来希尔伯特23个问题的研究进展情况。当时统计，约有一半问题已经解决了，其余一半的大多数也都有重大进展。 1976年，在美国数学家评选的自1940年以来美国数学的十大成就中，有三项 就是希尔伯特第1、第5、第10问题的解决。由此可见，能解决希尔伯特问题，是当代数学家的无上光荣。 下面摘录的是1987年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特23个问题及其解决情况： （1）康托的连续统基数问题。 1874年，康托猜测在可数集基数和实数集基数之间没有别的基数，即著名的连续统假设。1938年，侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF 集合论公理系统的无矛盾性。1963年，美国数学家科恩（P.Choen）证明连续统假设与ZF公理彼此独立。因而，连续统假设不能用ZF公理加以证明。在这个意义下，问题已获解决。 （2）算术公理系统的无矛盾性。 欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明，哥德尔1931年发表不完备性定理作出否定。 根茨（G.Gentaen，1909-1945）1936年使用超限归纳法证明了算术公理系统的
学数学要多看书，但是初学者很难知道那些书好，我从网上收集并结合自己的经验进行了整理： 从数学分析开始讲起： 数学分析是数学系最重要的一门课，经常一个点就会引申出今后的一门课，并且是今后数学系大部分课程的基础。也是初学时比较难的一门课，这里的难主要是对数学分析思想和方法的不适应，其实随着课程的深入会一点点容易起来。当大四考研复习再看时会感觉轻松许多。数学系的数学分析讲三个学期共计15学分270学时。将《数学分析》中较难的一部分删去再加上常微分方程的一些最简单的内容就是中国非数学专业的《高等数学》，或者叫数学一的高数部分。 记住以下几点： 1，对于数学分析的学习，勤奋永远比天分重要。 2，学数学分析不难，难得是长期坚持做题和不遗余力的博览群书。 3，别指望第一遍就能记住和掌握什么，请看第二遍，第三遍，…,第阿列夫遍。 4，看得懂的仔细看，看不懂的硬着头皮看。 5，课本一个字一个字的看完，至少再看一本参考书，尽量做一本习题集。 6，开始前三遍，一本书看三遍效果好于三本书看一遍；第四遍开始相反。 7，经常回头看看自己走过的路 以上几点请在学其他课程时参考。 数学分析书： 初学从中选一本教材，一本参考书就基本够了。我强烈推荐11，推荐1，2，7，8。另外建议看一下当不了教材的16，20。 中国人自己写的： 1《数学分析》陈传璋，金福临，朱学炎，欧阳光中著（新版作者顺序颠倒） 应该是来自辛钦的《数学分析简明教程》，是数学系用的时间最长，用的最多的书，大部分学校考研分析的指定教材。我大一用第二版，现在出了第三版，但是里面仍有一些印刷错误，不过克可以一眼看出来。网络上可以找到课后习题的参考答案，不过建议自己做。不少经济类工科类学校也用这一本书。里面个别地方讲的比较难懂，而且比其他书少了一俩个知识点，比如好像没有讲斯托尔滋(stolz)定理，实数的定义也不清楚。不过仍然不失为一本好书。能广泛被使用一定有它自己的一些优势。 2《数学分析》华东师范大学数学系著
21世纪七大数学难题 最近美国麻州的克雷（Clay）数学研究所于2019年5月24日在巴黎法兰西学院宣布了一件被媒体炒得火热的大事：对七个“千僖年数学难题”的每一个悬赏一百万美元。以下是这七个难题的简单介绍。“千僖难题”之一：P（多项式算法）问题对NP（非多项式算法）问题在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克（StephenCook）于1971年陈述的。 “千僖难题”之二：霍奇（Hodge）猜想 二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数
不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的（有理线性）组合。 “千僖难题”之三：庞加莱（Poincare）猜想 如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面（四维空间中与原点有单位距离的点的全体）的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。 “千僖难题”之四：黎曼（Riemann）假设 有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2，3，5，7，等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布并不遵循任何有规则的模式；然而，德国数学家黎曼（1826~1866）观察到，素数的频率紧密
连续统假设
提示：本条目的主题不是连续体假设。 在数学中，连续统假设（英语：Continuum hypothesis，简称 CH）是一个猜想， 也是希尔伯特的 23 个问题的第一题，由康托尔提出，关于无穷集的可能大小。 其为：
在一个基数绝对大于可列集而绝对小于实数集的集合。
康托尔引入了基数的概念以比较无穷集间的大小， 也证明了整数集的基数绝对小 于实集的基数。康托尔也就给了出连续统假设，就是说，在无限集中，比自然数 集{0，1，2，3，4......}基数大的集合中，基数最小的集合是实数集。而连续 统就是实数集的一个旧称。 更加形式地说，自然数集的基数为 为 。而连续统假设的观点认为实数集的基数
。由是，康托尔定义了绝对无限。
等价地，整数集的序数是 出不存在一个集合 使得
("艾礼富数")而实数的序数是
，连续续假设指
假设选择公理是对的， 那就会有一个最小的基数 连续统假设也就等价于以下的等式：
大于
， 而
连续统假设有个更广义的形式，叫作广义连续统假设（GCH），其命题为：
对于所有的序数 ,
库尔特·哥德尔在 1940 年用内模型法证明了连续统假设与 ZFC 的相对协调性， 保罗·柯恩在 1963 年用力迫法证明了连续统假设不能由 ZFC 推导。也就是说连 续统假设成立与否无法由 ZFC 确定。
作为希尔伯特第一问题
主条目：希尔伯特的 23 个问题
1900 年, 大卫· 希尔伯特以 “连续统假设是否成立” 作为 “希尔伯特第一问题” 。 Kurt Godel 和 Paul Cohen 确定了连续统假设在 ZFC 系统下，加上了选择公理， 也不能证明或证否。 Cohen 的结果并没有被广泛认同作为连续统假设问题的解决，而希尔伯特的问题 依然为当代研究的热门课题。(见 Woodin 2001a).
集合的大小
主条目：基数 要正式地列出这个猜想， 我们需要一些定义：假如两个集合 S 与 T 之间存在着一 个双射，我们会说这两个集合拥有相同的基数。直观的意思是在“T 的每个元素 只能配上仅仅一个 S 的元素，反之亦然”这个前提下，把 S 与 T 的元素拿出来配 对是可能的。因此，集合{蕉, 苹果, 橙}与集合{黄, 红, 绿}拥有相同基数。 当情况去到如整数集或有理数集等无穷集的情况时，事件就变得复杂得多。当考 虑所有有理数的集合时， 有些门外汉可能会天真地认为有理数理所当然地多于整 数，而有理数又显然少于实数，因此把连续统假设证否。但透过简单集合论的方 法， 我们能证明有理数集能与整数集形成一双射，因此有理集跟整数集有着一样 的大小， 而它们都被称为可列集。 对角论证法则证明了整数集跟连续统 （实数集） 的基数并不一样。 连续统假设亦指出，实数集中每一个子集，要么和整数集有相同的基数，要么和 实数集有相同的基数。
证明或证否的不可能性（在 ZFC 系统下）
康托尔相信连续统假设是对的，花了很多年尝试证明它，结果徒劳无功。它成为 了希尔伯特那重要难题名单中的第一条，并在 1900 年巴黎的国际数学家大会上 宣布此事。在那个时候，还没有公理化集合论的概念。 库尔特·哥德尔在 1940 年指出连续统假设不能在 ZFC 系统下证否，即使接受了 选择公理为前提。这个定理称为哥德尔定理。Paul Cohen 在 1963 年证明了连续 统假设同样不能在 ZFC 下被证明。因此，连续统假设“逻辑地独立于”ZFC。这 些结果都是以 ZFC 的公设系统本身并不存在自相矛盾（相容性）为假设大前提， 而这个大前提是被广泛接受为对的。 连续统假设并非被证明跟 ZFC 互相独立的第一个命题。 哥德尔不完备定理一个立 即的结论在 1931 年被发表，那是“‘存在着一个正式命题表达 ZFC 的相容性’ 乃独立于 ZFC”。有别于纯粹数学的，这个一致的命题乃是有着在数学之上的特 性。连续统假设和选择公理乃是最先被证明跟 ZF 集合论独立的命题。在 Paul Cohen 在 1960 年代发展出力迫法以前，这些独立性的证明并没有完成。
21世纪100个科学难题 1、对深层物质结构的探索 2、协调相对论和量子论的困难 3、引力波探测 4、质子自旋“危机”及其实验探索 5、力学的世纪难题――湍流 6、金属微粒中的量子尺寸效应和超导电性 7、高温超导电性 8、固体的破坏 9、宇宙结构的形成与星系的起源 10、太阳中微子之谜 11、活动星核的能源和演化 12、星际分子去和恒星的形成 13、宇宙常数问题 14、太阳活动的起源 15、磁元的争辩 16、黑洞的证认 17、宇宙论中的暗物质问题 18、地外文明与太空移居 19、寻找地外理性生命 20、星系演化的途径
21、最终解决人类能源问题的课题 22、未来的空间太阳能发电 23、太阳风的起源及其加速机制 24、日冕加热和太阳风加速 25、表面张力梯度驱动对流 26、磁层亚暴和磁暴的整体过程 27、富勒烯化学 28、单原子识别与分子设计和合成 29、室温有机超导体 30、催化的高选择性合成 31、原子簇物质 32、非线性光学聚合物实用化的若干问题 33、分子工程学 34、分子元件的单原子加工和自组装 35、可持续发展对化学的挑战 36、地球科学中的非线性和复杂性 37、地球构造运动驱动机制的反演 38、人类对全球环境变化影响的预测 39、气候系统动力学 40、自然控制论 41、地震成因与地球内部流体 42、地球的自转运动及其与地球各圈层的相
互作用 43、现今岩石圈构造解析中的若干难题 44、生物多样性保护 45、细胞凋亡 46、生物学的理论大综合：遗传、发育和进化的统一 47、分子识别、化学信息学和化学反应智能化问题 48、人能否在地球以外长期生存 49、脑神经系统动力学 50、生命、人的思维、意识、目的等的物理学基础 51、探索生命和遗传语言 52、疯牛病――中心法则――Affinsen原理 53、分子进货的驱动力与分子进化理论 54、脑的诸模型能带我们走多远 55、如何控制化学反应的方向（反应通道） 56、未来的认知神经科学能束给意识以新的解释 57、地球深化的统一理论：“两均论”与“两非论” 58、有机体信息系统的深化在物种生存、适
希尔伯特（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.物理学的公理化希尔伯特建议用数学的公理化方法推演出全部物理，首先是概率和力