请问1/p是无理数吗?

1. 请问1/p是无理数吗?

"无理数"的由来公元前500年，古希腊毕达哥拉斯(Pythagoras)学派的弟子希勃索斯(Hippasus)发现了一个惊人的事实，一个正方形的对角线与其一边的长度是不可公度的(若正方形边长是1，则对角线的长不是一个有理数)这一不可公度性与毕氏学派“万物皆为数”(指有理数)的哲理大相径庭。这一发现使该学派领导人惶恐、恼怒，认为这将动摇他们在学术界的统治地位。希勃索斯因此被囚禁，受到百般折磨，最后竞遭到沉舟身亡的惩处。不可通约的本质是什么？长期以来众说纷坛，得不到正确的解释，两个不可通约的比值也一直被认为是不可理喻的数。15世纪意大利著名画家达.芬奇称之为“无理的数”，17世纪德国天文学家开普勒称之为“不可名状”的数。然而，真理毕竟是淹没不了的，毕氏学派抹杀真理才是“无理”。人们为了纪念希勃索斯这位为真理而献身的可敬学者，就把不可通约的量取名为“无理数”——这便是“无理数”的由来．数学不是“数”学——话说无理数　　“数学是一门研究数量关系和空间形式的科学”的说法在中国曾经十分流行，这可能与恩格斯著作的长期影响有关。对于数学，今天人们更加认同于如下的说法：　　“数学是一个完全自成体系的知识领域…数学仅仅讨论它本身想象中的实体及关系”（《科学技术百科全书》[麦格劳-希尔图书公司]第1卷数学，科学出版社1980，235-236页）；　　“到1900年，数学已经从实在性中分裂出来了；它已经明显地而且无可挽回地失去了它对自然界真理的所有权，因而变成了一些没有意义的东西的任意公理的必然推论的随从了”（克莱因《古今数学思想》第4册，上海科学技术出版社1979，111页）。　　照此说法，数学就不是“数”学了。然而，数学与生俱来的强大应用性并不因为“数学已经从实在性中分裂出来了”而有稍微的减弱。既是抽象的又有实在的一面，人们逐渐形成了对数学的主流看法——数学的现状“一方面是其内在的统一性，另一方面是外界应用的更高的自觉性”，数学的两种趋势是“从外部寻求新问题和在内部追求统一”（美国国家研究委员会《振兴美国数学——90年代的计划》，叶其孝等译，世界图书出版公司1993），而不再局限于给数学下一个定义。　　无理数是一个能恰好地描述数学特征的案例。从数学发展史看，人类对无理数的发蒙始于古希腊毕达哥拉斯（Pythagoras，公元前582-497）学派，但二千四百年后才产生包括无理数在内的实数严格定义；从当今教育的知识体系看，学生在初中阶段开始接触无理数，直到大学毕业却仍然不明白无理数的实质含义。历史与现实两者的契合正好说明无理数的两面特征，应用性使得它是常见的数学工具之一，而抽象性又使所有非数学工作者不能真正认识它。　　数系的扩张过程以自然数为基础，德国数学家克罗内克（Kronecker，1823-1891）说“上帝创造了整数，其它一切都是人造的”（克莱因《古今数学思想》第4册，上海科学技术出版社1979，41页）。零与自然数的产生源于人类在生存活动中的原始冲动，这一推测想来不会有问题，人的双手有十指与十进制的广泛使用也当然有密切关系；　　类似于2+3=5的事实产生了加法的概念，然而2加上几会等于1呢？由此需要定义负数：一个数的“负数”即它与该数之和等于0；进而定义减法。产生零、负自然数，合称整数；　　加法的重复进行产生了乘法，2×3=6就是三个2相加。然而2乘以几会等于1呢？由此需要定义倒数：一个数的“倒数”即它与该数之积等于1，进而定义除法，产生既约分数，合称有理数。　　以上过程不论用抽象的数学语言还是通俗语言来描述都容易为人接受，可以说由于计数、测量的需要而扩大了数系。　　最早出现的无理数也与计数、测量有关。乘法的重复进行产生了乘方，23就是三个2相乘，然而哪个数的平方会等于2呢？毕达哥拉斯学派提出了这个问题，边长为1的正方形的对角线的长度不是既约分数，后来用√2表示对角线的长度，无理数的概念初步形成。　　以下是关于√2不是有理数的一个证明，载于欧几里德《几何原本》，但据说是更早的毕达哥拉斯学派所作：设√2是既约分数p/q，即√2=p/q，则2q2=p2，这表明p2是偶数，p也是偶数（否则若p是奇数则p2是奇数），设p=2k，得q2=2k2，于是q也是偶数，这与p/q是既约分数矛盾。　　虽然开方运算可能产生无理数，但仿照上述法来扩张数系会遇到困难。例如仅用开方定义新的数例如√2，3√2（后来被称为初等无理数）是不够的；(1+√2)就不能通过对某有理数开方而得，那么(1+√2)是什么？试作一比较，任何有理数总可以乘以某整数而还原成整数，但(1+√2)的任何次乘方却不可能得到有理数。　　考虑到此，容易想到的法是用有理数的加减乘除、乘方、开方定义新的数，后来被称为复合无理数，显然它包含了初等无理数。毕竟扩张数系的动力之一是使代数方程有解，例如(1+√2)的产生使得方程x2-2x-1=0有解。　　但又有新的问题，挪威数学家阿贝尔（Abel，1802-1829）于1825年证明“一般五次方程不能只用根式求解”，紧接着法国数学家伽罗瓦（Galois，1811-1832）解决“方程须有何种性质才可求根式解”的问题，复合无理数立即黯然失色。　　数学家顽强地推进，索性将新的数系定义为所有有理系数方程的根（后来称为代数数），有理数、初等无理数、复合无理数都被包括在内。数系的扩张本来是从现实需要出发的问题，但现在已经开始变得抽象了，因为代数数中那些不是有理数、初等无理数、复合无理数的“数”究竟什么样子？这不仅不能回答，似乎也并不重要，重要的是这样的“数”确实存在。　　不得不面对的烦恼是，一个代数数的描述与运算都必须通过相关的代数方程的系数，而且代数方程的根通常不是唯一的。彻底摧毁这一定义方式的是1844年柳维尔（Liouville，1809-1882）证明非代数数的存在。早在1830年代，e=1+(1/1!)+(1+2!)++(1/n!)+与圆周率π被证明是无理数，在柳维尔的结论宣布后不久，1873年、1883年数学家埃尔米特(Hermite，1822-1901)与林德曼（Lindemann，1852-1939）先后证明e,π不是代数数。　　由于有理数可表示成有限小数或无限循环小数，人们想到用“无限不循环小数”来定义无理数，这也是直至19世纪中叶以前的实际做法。它看起来很通俗，不明白无理数奥妙的人大体也是这样理解无理数的。但这样做遇到的困难更大：关键的问题是你无法判断一个数是无限不循环的，也不能将两个无限不循环的数进行加减乘除。　　不循环的无限小数当然是难以认识，如果我们翻用一下列夫??托尔斯泰著名小说《安娜??卡列尼娜》中的名句“幸福的家庭都是幸福的；不幸的家庭各有各的不幸”，那就是：循环的小数都是一样的循环，不循环的小数各有各的不循环！16世纪德国数学家施蒂费尔（Stifel，约1486-1567）说“当我们想把它们数出来（用十进小数表示）时，…就发现它们无止境地往远处跑，因而没有一个无理数实质上是能被我们准确掌握住的…。而本身缺乏准确性的东西就不能称其为真正的数…。所以，正如无穷大的数并非数一样，无理数也不是真正的数，而是隐藏在一种无穷迷雾后面的东西”（克莱因《古今数学思想》第1册，上海科学技术出版社1979，292页）　　克莱因指出“所有在Weierstrass（德国数学家外尔斯特拉斯1815-1897——引注）之前引进无理数的人都采用了这样的概念，即无理数是一个以有理数为项的无穷序列的极限。但是这个极限，假如是无理数，在逻辑上是不存在的，除非无理数已经有了定义”（克莱因《古今数学思想》第4册，上海科学技术出版社1979，46页）。　　一本著名的数学教材将“无限不循环小数”称为“中学生的实数”，“用这个定义，实数是非常具体的对象，但在定义加法和乘法时所包含的困难是不容忽视的”，在介绍了加法定义的一种方式及指出乘法可类似处理后说“不过，乘法逆元素的存在将又一次是最困难的”并就此打住（斯皮瓦克《微积分》下册，张毓贤等译，人民教育出版社1981，695页）。　　根据施蒂费尔的说法我们只能说√2不是有理数，而不能说它是无理数，因为我们还没有定义什么是“无理数”。前述古希腊人关于√2无理性的证明应当是“不存在这样的有理数使其平方等于2”。由于除了有理数就没有数，√2根本就不是“数”。　　现在可以看到无理数问题的困难所在：从开方运算的逆运算与确定边长为1的正方形的对角线长度的需要，都应当在有理数的基础上再扩大，这与以往从自然数扩大到整数、从整数扩大到有理数没有什么两样。然而在具体做法上，利用运算的逆向进行或通过对有理数进行代数运算或用代数方程的根而产生的“数”是不完全的，“无限不循环小数”的说法又不合理不严格。这一困难使数学史上数系的扩张停滞了两千多年。　　进一步扩张数系的必要性是不成问题的，在很长时间里人们将无理数理解为其近似值，从实用的角度来说，一个没有严格定义的东西难道就不能存在、不能使用吗？但是数学奉行严密逻辑的理念自欧几里德《几何原本》以来就坚定不移，不以现实为背景的非欧几何的产生（18世纪）加深了数学家对于摆脱实在性的趋同。　　从整数产生有理数曾经主要是根据测量、计数的需要，但现在要回到始点从头做起。例如纯粹从数学发展的内在动力与逻辑来定义有理数：　　设p,q是整数，则数偶(p,q)称为有理数，规定两个有理数的乘法、加法规则，证明它们符合交换律、结合律等等。这是一个用以参考的范式：将某种“对象”定义为实数，其目标与要求应当是能包含以上已有的所有对象，有通常的加法乘法且符合运算规则。　　以下介绍的两种定义中的“数”仅指有理数，而实数是用“数”按特定方式构成的那样一些“对象”或“东西”。　　戴德金（Dadekind，1831-1916）定义：一个实数定义为有理数的一个集合，这个集合是数轴上所有有理数从某处分开的左边“一半”（数学术语为“分割”），且没有最大的数。　　按戴德金的定义，实数集合的每个元是有理数集合的一个子集，一个实数是有理数的一个集合。例如所有小于2的有理数集合确定一个实数，它就是2；所有其平方小于2的有理数集合确定一个实数，它就是√2。须注意这两例有一个重要区别，对应于有理数的“分割”其“右半”有最小的数2，对应于无理数的“分割”其“右半”没有最小的数。戴德金的定义来源于这样的启示：每个有理数作为有长度的线段，对应着数轴上的坐标。边长为1的正方形的对角线线段也应对应数轴上的一个点，这意味着如果只有有理数，数轴上存有“空隙”——尽管有理数非常稠密。应当填补这些“空隙”使数轴成为完美的，欧几里德《几何原本》中曾记载过这一思想的雏形。　　康托（Cantor，1845-1918）定义：一个实数定义为有理数的柯西序列a1,a2,,an，此处an都是有理数，且满足对于任意自然数p必有自然数N，使当m＞N,n＞N时有|am-an|＜1/q。康托的定义来源于如下的启示：若只限于有理数，则“微积分”的命题“单调有界数列必收敛”可能不成立，例如有理数数列x0=1,xn+1=(xn+2/xn)/2是单调递减的、有界的，其极限是√2。　　在以上两种定义中还要分别规定实数之间的大小比较、如何运算然后证明运算是符合熟知的规则的。另一个需要解决的重要问题是，这两种实数定义所规定的这些“东西”在抽象意义上是不是相同的？如果不能肯定回答岂不会带来一片混乱，何况还会有其它形式的实数定义。这些问题当然都已一一妥帖解决。　　试对两种定义做一比较评判：康托的定义较实在，由于明显涉及了无限（必定有时间如何发展的直觉）的概念称为是动态的。例如，说数列1,1.4,1.41,1.414,1.4142,定义无理数√2，必须附加对于数列变化规律的种种说明。戴德金的定义较虚幻，但是是静态的，它摆脱了由时间直觉所附加的束缚。　　为了加深印象，现在我们必须用最简明最通俗的语言来描述一下“实数”：按戴德金的说法，一个实数是有理数的一个集合；按康托的说法，一个实数是有理数的一个（柯西）序列。数学史上还有别的实数定义，在那里实数又有另外一副面孔。　　几乎在构建实数体系的同时，1874年康托还证明了无理数比有理数多得多、非代数数比代数数多得多！这也意味着，无形的、不是根式的无理数竟比直观的、根式的无理数多得多！数轴上代表有理数的点虽然是稠密的——任何两个有理数点之间恒有无数多有理数点，但是除有理数点外的“空隙”。“空隙”一旦填满，稠密概念发展成了连续的概念，数轴上点与实数完全对应，无理数问题画上了永远的句号。这里涉及关于集合中元素“个数”的比较问题，本文限于篇幅就此打住了。　　实数体系的建立，使得诸如3√2表示什么得以明确，“高等数学”中命题“单调有界数列必收敛”、闭区间连续函数的性质得以证明。　　然而从应用角度或对于非数学工作者（绝大多数人）而言，却是再次回到古希腊。无理数仍然是“小数”，人们并不真正关心它的“无尽”、“不循环”，事实上也无法弄清楚，只是按需要取作适当位数的近似值。例如说到圆周率π，为什么要关心它是循环的还是不循环的呢？“十位小数就足以使地球周界准确到一英寸以内，三十位小数便能使整个可见宇宙的四周准确到连最强大的显微镜都不能分辨的一个量”（丹齐克《数：科学的语言》苏仲湘译，上海教育出版社2000年，98页）。　　至于数学家，在定义了无理数之后依然两手空空，数学家所知道的无理数确实少的可怜：知道得最多的只是各式各样的根式，这是古希腊人即已知道的；其次是π与e两个非代数数。那些比代数数多得多的无理数在哪儿？1900年数学家希尔伯特（Hilbert，1862-1943）提出著名的23个数学问题即包括了这一内容。以后的进展是，数学家证明若α是代数数（除0与1）、β是无理的代数数，则αβ是非代数数（1934年）。然而，若稍微追问一句“(π+e)是无理数还是有理数”？则至今都没有严密的答案。数学家心安理得的是建立了无懈可击的实数体系，在坚实的基础上，任何闲言碎语都是不足道的。无理数所体现的完美无缺、一丝不苟的纯粹理性与无孔不入、尽人皆知的世俗应用，可谓占尽天上人间风光，正是数学的魅力之所在。

2. 无理数e是怎么来的？

第一次提到常数e，是约翰·纳皮尔(John Napier)于1618年出版的对数著作附录中的一张表。但它没有记录这常数，只有由它为底计算出的一张自然对数列表，通常认为是由威廉·奥特雷德(William Oughtred)制作。第一次把e看为常数的是雅各·伯努利(Jacob Bernoulli)。
已知的第一次用到常数e，是莱布尼茨于1690年和1691年给惠更斯的通信，以b表示。1727年欧拉开始用e来表示这常数；而e第一次在出版物用到，是1736年欧拉的《力学》(Mechanica)。虽然以后也有研究者用字母c表示，但e较常用，终于成为标准。
扩展资料：
数学中e是无理数，在数学中是代表一个数的符号，其实还不限于数学领域。在大自然中，建构，呈现的形状，利率或者双曲线面积及微积分教科书、伯努利家族等。现e已经被算到小数点后面两千位了。
e的极限表示：

e=lim0>(1+1/x)^x
=lim+∞>{1,2,3,4,…，n}
=lim+∞>∑(0,x)1/i!
注：{1,2,3,4,…,n}=1+1/{1+1/[2+(1/3+{1/4+…+(1/n)]})]…}
参考资料来源：百度百科-自然常数

3. π(派）为什么是无理数？

为什么圆周率π是无理数？这里讲解一个简短的证明。

4. 关于数学家的数学知识故事

（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世纪变分法有了很大发展。 

可见，希尔伯特提出的问题是相当艰深的。正因为艰深，才吸引有志之士去作巨大的努力。

5. 数学家的生平事迹及主要的数学成就

1.刘徽（生于公元250年左右），是中国数学史上一个非常伟大的数学家，在世界数学史上，也占有杰出的地位。他的杰作《九章算术注》和《海岛算经》，是我国最宝贵的数学遗产。

    《九章算术》约成书于东汉之初，共有246个问题的解法。在许多方面：如解联立方程，分数四则运算，正负数运算，几何图形的体积面积计算等，都属于世界先进之列，但因解法比较原始，缺乏必要的证明，而刘徽则对此均作了补充证明。在这些证明中，显示了他在多方面的创造性的贡献。他是世界上最早提出十进小数概念的人，并用十进小数来表示无理数的立方根。在代数方面，他正确地提出了正负数的概念及其加减运算的法则；改进了线性方程组的解法。在几何方面，提出了"割圆术"，即将圆周用内接或外切正多边形穷竭的一种求圆面积和圆周长的方法。他利用割圆术科学地求出了圆周率π=3.14的结果。刘徽在割圆术中提出的"割之弥细，所失弥少，割之又割以至于不可割，则与圆合体而无所失矣"，这可视为中国古代极限观念的佳作。

    《海岛算经》一书中， 刘徽精心选编了九个测量问题，这些题目的创造性、复杂性和富有代表性，都在当时为西方所瞩目。

    刘徽思想敏捷，方法灵活，既提倡推理又主张直观。他是我国最早明确主张用逻辑推理的方式来论证数学命题的人。

    刘徽的一生是为数学刻苦探求的一生。他虽然地位低下，但人格高尚。他不是沽名钓誉的庸人，而是学而不厌的伟人，他给我们中华民族留下了宝贵的财富。
祖冲之（公元429-500年）是我国南北朝时期，河北省涞源县人。他从小就阅读了许多天文、数学方面的书籍，勤奋好学，刻苦实践，终于使他成为我国古代杰出的数学家、天文学家。

   2. 祖冲之在数学上的杰出成就，是关于圆周率的计算。秦汉以前，人们以"径一周三"做为圆周率，这就是"古率"。后来发现古率误差太大，圆周率应是"圆径一而周三有余"，不过究竟余多少，意见不一。直到三国时期，刘徽提出了计算圆周率的科学方法--"割圆术"，用圆内接正多边形的周长来逼近圆周长。刘徽计算到圆内接96边形，求得π=3.14，并指出，内接正多边形的边数越多，所求得的π值越精确。祖冲之在前人成就的基础上，经过刻苦钻研，反复演算，求出π在3.1415926与3.1415927之间。并得出了π分数形式的近似值，取为约率 ，取为密率，其中取六位小数是3.141929，它是分子分母在1000以内最接近π值的分数。祖冲之究竟用什么方法得出这一结果，现在无从考查。若设想他按刘徽的"割圆术"方法去求的话，就要计算到圆内接16，384边形，这需要化费多少时间和付出多么巨大的劳动啊！由此可见他在治学上的顽强毅力和聪敏才智是令人钦佩的。祖冲之计算得出的密率，外国数学家获得同样结果，已是一千多年以后的事了。为了纪念祖冲之的杰出贡献，有些外国数学史家建议把π=叫做"祖率"。

    祖冲之博览当时的名家经典，坚持实事求是，他从亲自测量计算的大量资料中对比分析，发现过去历法的严重误差，并勇于改进，在他三十三岁时编制成功了《大明历》，开辟了历法史的新纪元。

    祖冲之还与他的儿子祖暅（也是我国著名的数学家）一起，用巧妙的方法解决了球体体积的计算。他们当时采用的一条原理是："幂势既同，则积不容异。"意即，位于两平行平面之间的两个立体，被任一平行于这两平面的平面所截，如果两个截面的面积恒相等，则这两个立体的体积相等。这一原理，在西文被称为卡瓦列利原理，但这是在祖氏以后一千多年才由卡氏发现的。为了纪念祖氏父子发现这一原理的重大贡献，大家也称这原理为"祖暅原理"。
 3.欧拉（Leonhard Euler 公元1707-1783年） 1707年出生在瑞士的巴塞尔（Basel）城，13岁就进巴塞尔大学读书，得到当时最有名的数学家约翰·伯努利（Johann Bernoulli，1667-1748年）的精心指导。

    欧拉渊博的知识，无穷无尽的创作精力和空前丰富的著作，都是令人惊叹不已的！他从19岁开始发表论文，直到76岁，半个多世纪写下了浩如烟海的书籍和论文。到今几乎每一个数学领域都可以看到欧拉的名字，从初等几何的欧拉线，多面体的欧拉定理，立体解析几何的欧拉变换公式，四次方程的欧拉解法到数论中的欧拉函数，微分方程的欧拉方程，级数论的欧拉常数，变分学的欧拉方程，复变函数的欧拉公式等等，数也数不清。他对数学分析的贡献更独具匠心，《无穷小分析引论》一书便是他划时代的代表作，当时数学家们称他为"分析学的化身"。

    欧拉是科学史上最多产的一位杰出的数学家，据统计他那不倦的一生，共写下了886本书籍和论文，其中分析、代数、数论占40%，几何占18%，物理和力学占28%，天文学占11%，弹道学、航海学、建筑学等占3%，彼得堡科学院为了整理他的著作，足足忙碌了四十七年。

    欧拉著作的惊人多产并不是偶然的，他可以在任何不良的环境中工作，他常常抱着孩子在膝上完成论文，也不顾孩子在旁边喧哗。他那顽强的毅力和孜孜不倦的治学精神，使他在双目失明以后，也没有停止对数学的研究，在失明后的17年间，他还口述了几本书和400篇左右的论文。19世纪伟大数学家高斯（Gauss，1777-1855年）曾说："研究欧拉的著作永远是了解数学的最好方法。"

    欧拉的父亲保罗·欧拉（Paul Euler）也是一个数学家，原希望小欧拉学神学，同时教他一点教学。由于小欧拉的才人和异常勤奋的精神，又受到约翰·伯努利的赏识和特殊指导，当他在19岁时写了一篇关于船桅的论文，获得巴黎科学院的奖的奖金后，他的父亲就不再反对他攻读数学了。

    1725年约翰·伯努利的儿子丹尼尔·伯努利赴俄国，并向沙皇喀德林一世推荐了欧拉，这样，在1727年5月17日欧拉来到了彼得堡。1733年，年仅26岁的欧拉担任了彼得堡科学院数学教授。1735年，欧拉解决了一个天文学的难题（计算慧星轨道），这个问题经几个著名数学家几个月的努力才得到解决，而欧拉却用自己发明的方法，三天便完成了。然而过度的工作使他得了眼病，并且不幸右眼失明了，这时他才28岁。1741年欧拉应普鲁士彼德烈大帝的邀请，到柏林担任科学院物理数学所所长，直到1766年，后来在沙皇喀德林二世的诚恳敦聘下重回彼得堡，不料没有多久，左眼视力衰退，最后完全失明。不幸的事情接踵而来，1771年彼得堡的大火灾殃及欧拉住宅，带病而失明的64岁的欧拉被围困在大火中，虽然他被别人从火海中救了出来，但他的书房和大量研究成果全部化为灰烬了。

    沉重的打击，仍然没有使欧拉倒下，他发誓要把损失夺回来。在他完全失明之前，还能朦胧地看见东西，他抓紧这最后的时刻，在一块大黑板上疾书他发现的公式，然后口述其内容，由他的学生特别是大儿子A·欧拉（数学家和物理学家）笔录。欧拉完全失明以后，仍然以惊人的毅力与黑暗搏斗，凭着记忆和心算进行研究，直到逝世，竟达17年之久。

    欧拉的记忆力和心算能力是罕见的，他能够复述年青时代笔记的内容，心算并不限于简单的运算，高等数学一样可以用心算去完成。有一个例子足以说明他的本领，欧拉的两个学生把一个复杂的收敛级数的17项加起来，算到第50位数字，两人相差一个单位，欧拉为了确定究竟谁对，用心算进行全部运算，最后把错误找了出来。欧拉在失明的17年中；还解决了使牛顿头痛的月离问题和很多复杂的分析问题。

    欧拉的风格是很高的，拉格朗日是稍后于欧拉的大数学家，从19岁起和欧拉通信，讨论等周问题的一般解法，这引起变分法的诞生。等周问题是欧拉多年来苦心考虑的问题，拉格朗日的解法，博得欧拉的热烈赞扬，1759年10月2日欧拉在回信中盛称拉格朗日的成就，并谦虚地压下自己在这方面较不成熟的作品暂不发表，使年青的拉格朗日的工作得以发表和流传，并赢得巨大的声誉。他晚年的时候，欧洲所有的数学家都把他当作老师，著名数学家拉普拉斯（Laplace）曾说过："欧拉是我们的导师。" 欧拉充沛的精力保持到最后一刻，1783年9月18日下午，欧拉为了庆祝他计算气球上升定律的成功，请朋友们吃饭，那时天王星刚发现不久，欧拉写出了计算天王星轨道的要领，还和他的孙子逗笑，喝完茶后，突然疾病发作，烟斗从手中落下，口里喃喃地说："我死了"，欧拉终于"停止了生命和计算"。

    欧拉的一生，是为数学发展而奋斗的一生，他那杰出的智慧，顽强的毅力，孜孜不倦的奋斗精神和高尚的科学道德，永远是值得我们学习的。〔欧拉还创设了许多数学符号，例如π（1736年），i（1777年），e（1748年），sin和cos（1748年），tg（1753年），△x（1755年），∑（1755年），f(x)（1734年）等。
4. 我们现在所用的直角坐标系，通常叫做笛卡儿直角坐标系。是从笛卡儿 （Descartes R.,1596.3.31~1650.2.11）引进了直角坐标系以后，人们才得以用代数的方法研究几何问题，才建立并完善了解析几何学，才建立了微积分。

  法国数学家拉格朗日（Lagrange J.L.,1736.1.25~1813.4.10）曾经说过："只要代数同几何分道扬镳，它们的进展就缓慢，它们的应用就狭窄。但是，当这两门科学结合成伴侣时，它们就互相吸取新鲜的活力。从那以后，就以快速的步伐走向完善。"

  我国数学家华罗庚（1910.11.12~1985.6.12）说过："数与形，本是相倚依，焉能分作两边飞。数缺形时少直觉，形少数时难入微。形数结合百般好，隔裂分家万事非。切莫忘，几何代数统一体，永远联系，切莫分离！"

  这些伟人的话，实际上都是对笛卡儿的贡献的评价。

  笛卡儿的坐标系不同于一个一般的定理，也不同于一段一般的数学理论，它是一种思想方法和技艺,它使整个数学发生了崭新的变化，它使笛卡儿成为了当之无愧的现代数学的创始人之一。

  笛卡儿是十七世纪法国杰出的哲学家，是近代生物学的奠基人，是当时第一流的物理学家，并不是专业的数学家。

  笛卡儿的父亲是一位律师。当他八岁的时候，他父亲把他送入了一所教会学校，他十六岁离开该校，后进入普瓦界大学学习，二十岁毕业后去巴黎当律师。他于1617年进入军队。在军队服役的九年中，他一直利用业余时间研究数学。后来他回到巴黎，为望远镜的威力所激动，闭门钻研光学仪器的理论与构造，同时研究哲学问题。他于1682年移居荷兰，得到较为安静自由的学术环境，在那里住了二十年，完成了他的许多重要著作，如《思想的指导法则》、《世界体系》、《更好地指导推理和寻求科学真理的方法论》（包括三个著名的附录：《几何》、《折光》和《陨星》），还有《哲学原理》和《音乐概要》等。其中《几何》这一附录，是笛卡儿写过的唯一本数学书，其中清楚地反映了他关于坐标几何和代数的思想。笛卡儿于1649年被邀请去瑞典作女皇的教师。斯德哥尔摩的严冬对笛卡儿虚弱的身体产生了极坏的影响，笛卡儿于1650年2月患了肺炎，得病十天便与世长辞了。他逝世于1650年2月11日，差一个月零三周没活到54岁。

  笛卡儿虽然从小就喜欢数学，但他真正自信自己有数学才能并开始认真用心研究数学却是因为一次偶然的机缘。

  那是1618年11月，笛卡儿在军队服役，驻扎在荷兰的一个小小的城填布莱达。一天，他在街上散步，看见一群人聚集在一张贴布告的招贴牌附近，情绪兴奋地议论纷纷。他好奇地走到跟前。但由于他听不懂荷兰话，也看不懂布告上的荷兰字，他就用法语向旁边的人打听。有一位能听懂法语的过路人不以为然的看了看这个年青的士兵，告诉他，这里贴的是一张解数学题的有奖竞赛。要想让他给翻译一下布告上所有的内容，需要有一个条件，就是士兵要给他送来这张布告上所有问题的答案。这位荷兰人自称，他是物理学、医学和数学教师别克曼。出乎意料的是，第二天，笛卡儿真地带着全部问题的答案见他来了；尤其是使别克曼吃惊地是，这位青年的法国士兵的全部答案竟然一点儿差错都没有。于是，二人成了好朋友，笛卡儿成了别克曼家的常客。

  笛卡儿在别克曼指导下开始认真研究数学，别克曼还教笛卡儿学习荷兰语。这种情况一直延续了两年多，为笛卡儿以后创立解析几何打下了良好的基础。而且，据说别克曼教笛卡儿学会的荷兰话还救过笛卡儿一命：

  有一次笛卡儿和他的仆人一起乘一艘不大的商船驶往法国，船费不很贵。没想到这是一艘海盗船，船长和他的副手以为笛卡儿主仆二人是法国人，不懂荷兰语，就用荷兰语商量杀害他们俩抢掠他们钱财的事。笛卡儿听懂了船长和他副手的话，悄悄做准备，终于制服了船长，才安全回到了法国。

  在法国生活了若干年之后，他为了把自己对事物的见解用书面形式陈述出来，他又离开了带有宗教偏见和世俗的专制政体的法国，回到了可爱而好客的荷兰，甚至于和海盗的冲突也抹然不了他对荷兰的美好回忆。正是在荷兰，笛卡儿完成了他的《几何》。此著作不长，但堪称几何著作中的珍宝。

  笛卡儿在斯德哥尔摩逝世十六年后，他的骨灰被转送回巴黎。开始时安放在巴维尔教堂，1667年被移放到法国伟人们的墓地--神圣的巴黎的保卫者们和名人的公墓。法国许多杰出的学者都在那里找到了自己最后的归宿。
5.高斯（C.F.Gauss,1777.4.30～1855.2.23）是德国数学家、物理学家和天文学家，出生于德国布伦兹维克的一个贫苦家庭。父亲格尔恰尔德·迪德里赫先后当过护堤工、泥瓦匠和园丁，第一个妻子和他生活了10多年后因病去世，没有为他留下孩子。迪德里赫后来娶了罗捷雅，第二年他们的孩子高斯出生了，这是他们唯一的孩子。父亲对高斯要求极为严厉，甚至有些过份，常常喜欢凭自己的经验为年幼的高斯规划人生。高斯尊重他的父亲，并且秉承了其父诚实、谨慎的性格。1806年迪德里赫逝世，此时高斯已经做出了许多划时代的成就。

  在成长过程中，幼年的高斯主要是力于母亲和舅舅。高斯的外祖父是一位石匠，30岁那年死于肺结核，留下了两个孩子：高斯的母亲罗捷雅、舅舅弗利德里希（Friederich）。弗利德里希富有智慧，为人热情而又聪明能干投身于纺织贸易颇有成就。他发现姐姐的儿子聪明伶利，因此他就把一部分精力花在这位小天才身上，用生动活泼的方式开发高斯的智力。若干年后，已成年并成就显赫的高斯回想起舅舅为他所做的一切，深感对他成才之重要，他想到舅舅多产的思想，不无伤感地说，舅舅去世使“我们失去了一位天才”。正是由于弗利德里希慧眼识英才，经常劝导姐夫让孩子向学者方面发展，才使得高斯没有成为园丁或者泥瓦匠。

  在数学史上，很少有人象高斯一样很幸运地有一位鼎力支持他成才的母亲。罗捷雅直到34岁才出嫁，生下高斯时已有35岁了。他性格坚强、聪明贤慧、富有幽默感。高斯一生下来，就对一切现象和事物十分好奇，而且决心弄个水落石出，这已经超出了一个孩子能被许可的范围。当丈夫为此训斥孩子时，他总是支持高斯，坚决反对顽固的丈夫想把儿子变得跟他一样无知。

  罗捷雅真诚地希望儿子能干出一番伟大的事业，对高斯的才华极为珍视。然而，他也不敢轻易地让儿子投入当时尚不能养家糊口的数学研究中。在高斯19岁那年，尽管他已做出了许多伟大的数学成就，但她仍向数学界的朋友W.波尔约（W.Bolyai,非欧几何创立者之一J.波尔约之父）问道：高斯将来会有出息吗？W.波尔约说她的儿子将是“欧洲最伟大的数学家”，为此她激动得热泪盈眶。

  7岁那年，高斯第一次上学了。头两年没有什么特殊的事情。1787年高斯10岁，他进入了学习数学的班次，这是一个首次创办的班，孩子们在这之前都没有听说过算术这么一门课程。数学教师是布特纳（Buttner），他对高斯的成长也起了一定作用。

  在全世界广为流传的一则故事说，高斯10岁时算出布特纳给学生们出的将1到100的所有整数加起来的算术题，布特纳刚叙述完题目，高斯就算出了正确答案。不过，这很可能是一个不真实的传说。据对高斯素有研究的著名数学史家E·T·贝尔（E.T.Bell）考证，布特纳当时给孩子们出的是一道更难的加法题：81297+81495+81693+…+100899。

  当然，这也是一个等差数列的求和问题（公差为198，项数为100）。当布特纳刚一写完时，高斯也算完并把写有答案的小石板交了上去。E·T·贝尔写道，高斯晚年经常喜欢向人们谈论这件事，说当时只有他写的答案是正确的，而其他的孩子们都错了。高斯没有明确地讲过，他是用什么方法那么快就解决了这个问题。数学史家们倾向于认为，高斯当时已掌握了等差数列求和的方法。一位年仅10岁的孩子，能独立发现这一数学方法实属很不平常。贝尔根据高斯本人晚年的说法而叙述的史实，应该是比较可信的。而且，这更能反映高斯从小就注意把握更本质的数学方法这一特点。

  高斯的计算能力，更主要地是高斯独到的数学方法、非同一般的创造力，使布特纳对他刮目相看。他特意从汉堡买了最好的算术书送给高斯，说：“你已经超过了我，我没有什么东西可以教你了。”接着，高斯与布特纳的助手巴特尔斯(J.M.Bartels)建立了真诚的友谊，直到巴特尔斯逝世。他们一起学习，互相帮助，高斯由此开始了真正的数学研究。

  1788年，11岁的高斯进入了文科学校，他在新的学校里，所有的功课都极好，特别是古典文学、数学尤为突出。经过巴特尔斯等人的引荐，布伦兹维克公爵召见了14岁的高斯。这位朴实、聪明但家境贫寒的孩子赢得了公爵的同情，公爵慷慨地提出愿意作高斯的资助人，让他继续学习。

  布伦兹维克公爵在高斯的成才过程中起了举足轻重的作用。不仅如此，这种作用实际上反映了欧洲近代科学发展的一种模式，表明在科学研究社会化以前，私人的资助是科学发展的重要推动因素之一。高斯正处于私人资助科学研究与科学研究社会化的转变时期。

  1792年，高斯进入布伦兹维克的卡罗琳学院继续学习。1795年，公爵又为他支付各种费用，送他入德国著名的哥丁根大学，这样就使得高斯得以按照自己的理想，勤奋地学习和开始进行创造性的研究。1799年，高斯完成了博士论文，回到家乡布伦兹维克，正当他为自己的前途、生计担忧而病倒时----虽然他的博士论文顺利通过了，已被授予博士学位，同时获得了讲师职位，但他没有能成功地吸引学生，因此只能回老家，又是公爵伸手救援他。公爵为高斯付诸了长篇博士论文的印刷费用，送给他一幢公寓，又为他印刷了《算术研究》，使该书得以在1801年问世；还负担了高斯的所有生活费用。所有这一切，令高斯十分感动。他在博士论文和《算术研究》中，写下了情真意切的献词：“献给大公”，“你的仁慈，将我从所有烦恼中解放出来，使我能从事这种独特的研究”。

  1806年，公爵在抵抗拿破仑统帅的法军时不幸阵亡，这给高斯以沉重打击。他悲痛欲绝，长时间对法国人有一种深深的敌意。大公的去世给高斯带来了经济上的拮据，德国处于法军奴役下的不幸，以及第一个妻子的逝世，这一切使得高斯有些心灰意冷，但他是位刚强的汉子，从不向他人透露自己的窘况，也不让朋友安慰自己的不幸。人们只是在19世纪整理他的未公布于众的数学手稿时才得知他那时的心态。在一篇讨论椭圆函数的手搞中，突然插入了一段细微的铅笔字：“对我来说，死去也比这样的生活更好受些。”

  慷慨、仁慈的资助人去世了，因此高斯必须找一份合适的工作，以维持一家人的生计。由于高斯在天文学、数学方面的杰出工作，他的名声从1802年起就已开始传遍欧洲。彼得堡科学院不断暗示他，自从1783年欧拉去世后，欧拉在彼得堡科学院的位置一直在等待着象高斯这样的天才。公爵在世时坚决劝阻高斯去俄国，他甚至愿意给高斯增加薪金，为他建立天文台。现在，高斯又在他的生活中面临着新的选择。

  为了不使德国失去最伟大的天才，德国著名学者洪堡（B.A.Von Humboldt）联合其他学者和政界人物，为高斯争取到了享有特权的哥丁根大学数学和天文学教授，以及哥丁根天文台台长的职位。1807年，高斯赴哥丁根就职，全家迁居于此。从这时起，除了一次到柏林去参加科学会议以外，他一直住在哥丁根。洪堡等人的努力，不仅使得高斯一家人有了舒适的生活环境，高斯本人可以充分发挥其天才，而且为哥丁根数学学派的创立、德国成为世界科学中心和数学中心创造了条件。同时，这也标志着科学研究社会化的一个良好开端。

  高斯的学术地位，历来为人们推崇得很高。他有“数学王子”、“数学家之王”的美称、被认为是人类有史以来“最伟大的三位（或四位）数学家之一”（阿基米德、牛顿、高斯或加上欧拉）。人们还称赞高斯是“人类的骄傲”。天才、早熟、高产、创造力不衰、……，人类智力领域的几乎所有褒奖之词，对于高斯都不过份。

   高斯的研究领域，遍及纯粹数学和应用数学的各个领域，并且开辟了许多新的数学领域，从最抽象的代数数论到内蕴几何学，都留下了他的足迹。从研究风格、方法乃至所取得的具体成就方面，他都是18----19世纪之交的中坚人物。如果我们把18世纪的数学家想象为一系列的高山峻岭，那么最后一个令人肃然起敬的巅峰就是高斯；如果把19世纪的数学家想象为一条条江河，那么其源头就是高斯。

  虽然数学研究、科学工作在18世纪末仍然没有成为令人羡慕的职业，但高斯依然生逢其时，因为在他快步入而立之年之际，欧洲资本主义的发展，使各国政府都开始重视科学研究。随着拿破仑对法国科学家、科学研究的重视，俄国的沙皇以及欧洲的许多君主也开始对科学家、科学研究刮目相看，科学研究的社会化进程不断加快，科学的地位不断提高。作为当时最伟大的科学家，高斯获得了不少的荣誉，许多世界著名的科学泰斗都把高斯当作自己的老师。

  1802年，高斯被俄国彼得堡科学院选为通讯院士、喀山大学教授；1877年，丹麦政府任命他为科学顾问，这一年，德国汉诺威政府也聘请他担任政府科学顾问。

  高斯的一生，是典型的学者的一生。他始终保持着农家的俭朴，使人难以想象他是一位大教授，世界上最伟大的数学家。他先后结过两次婚，几个孩子曾使他颇为恼火。不过，这些对他的科学创造影响不太大。在获得崇高声誉、德国数学开始主宰世界之时，一代天骄走完了生命旅程。
 
 
6.毕达哥拉斯(Pythagoras,572BC?～497BC?),古希腊数学家、哲学家。 


毕达哥拉斯和他的学派在数学上有很多创造，尤其对整数的变化规律感兴趣。例如，把(除其本身以外)全部因数之和等于本身的数称为完全数(如6，28，496等)，而将本身大于其因数之和的数称为盈数；将小于其因数之和的数称为亏数。他们还发现了“直角三角形两直角边平方和等于斜边平方”，西方人称之为毕达哥拉斯定理，我国称为勾股定理。 


在几何学方面，毕达哥拉斯学派证明了“三角形内角之和等于两个直角”的论断；研究了黄金分割；发现了正五角形和相似多边形的作法；还证明了正多面体只有五种——正四面体、正六面体、正八面体、正十二面体和正二十面体。 
 
7.钱学森1911年出生在上海市，1934年毕业于上海交通大学。他为了更好地报效祖国，于1935年考取美国麻省理工学院进行深造学习，并于1936年转入加州理工学院继续学习，并拜著名的航空科学家冯·卡门为师，学习航空工程理论。钱学森学习十分努力，三年后便获得了博士学位并留校任教。在冯·卡门的指导下，钱学森对火箭技术产生了浓厚的兴趣，并在高速空气动力学和喷气推进研究领域中突飞猛进。不久，经冯·卡门的推荐，钱学森成了加州理工学院最年轻的终身教授。 


从1935年到1950年的15年间，钱学森在学术上取得了巨大的成就，生活上享有丰厚的待遇，但是他始终想念着自己的祖国。 


1950年朝鲜战争爆发，钱学森想回国报效祖国的愿望落空了，钱学森因为是中国人而遭到了迫害。直到1955年6月，钱学森写信给当时的全国人大常委会副委员长陈叔通同志，请求党和政府帮助他早日回到祖国的怀抱。周总理得知后非常重视此事，并指示有关人员在适当时机办理此事。经过努力，1955年10月18日，钱学森一家人终于回到阔别20年的祖国。不久，他便被任命为中国科学院力学研究所所长。 


为了提高我国的国防能力，保卫我们国家的安全，1956年10月8日，我国第一个导弹研究机构――国防部第五研究院成立，钱学森被任命为第一任院长。在钱学森的指导下，经过艰苦的努力，1960年10月，我国第一枚国产导弹终于制造成功。

6. 数学问题

数学悖论与三次数学危机 
世界经理人·科技 TECH.ICXO.COM ( 日期：2004-01-12 09:06) 

-------------------------------------------------------------------------------- 

什么是悖论？笼统地说，是指这样的推理过程：它看上去是合理的，但结果却得出了矛盾。悖论在很多情况下表现为能得出不符合排中律的矛盾命题：由它的真，可以推出它为假；由它的假，则可以推出它为真。由于严格性被公认为是数学的一个主要特点，因此如果数学中出现悖论会造成对数学可靠性的怀疑。如果这一悖论涉及面十分广泛的话，这种冲击波会更为强烈，由此导致的怀疑还会引发人们认识上的普遍危机感。在这种情况下，悖论往往会直接导致“数学危机”的产生。按照西方习惯的说法，在数学发展史上迄今为止出现了三次这样的数学危机。 

希帕索斯悖论与第一次数学危机 

希帕索斯悖论的提出与勾股定理的发现密切相关。因此，我们从勾股定理谈起。勾股定理是欧氏几何中最著名的定理之一。天文学家开普勒曾称其为欧氏几何两颗璀璨的明珠之一。它在数学与人类的实践活动中有着极其广泛的应用，同时也是人类最早认识到的平面几何定理之一。在我国，最早的一部天文数学著作《周髀算经》中就已有了关于这一定理的初步认识。不过，在我国对于勾股定理的证明却是较迟的事情。一直到三国时期的赵爽才用面积割补给出它的第一种证明。 

在国外，最早给出这一定理证明的是古希腊的毕达哥拉斯。因而国外一般称之为“毕达哥拉斯定理”。并且据说毕达哥拉斯在完成这一定理证明后欣喜若狂，而杀牛百只以示庆贺。因此这一定理还又获得了一个带神秘色彩的称号：“百牛定理”。 




图为毕达哥拉斯 

毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别：毕达哥拉斯学派。由毕达哥拉斯提出的著名命题“万物皆数”是该学派的哲学基石。而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。然而，具有戏剧性的是由毕达哥拉斯建立的毕达哥拉斯定理却成了毕达哥拉斯学派数学信仰的“掘墓人”。毕达哥拉斯定理提出后，其学派中的一个成员希帕索斯考虑了一个问题：边长为1的正方形其对角线长度是多少呢？他发现这一长度既不能用整数，也不能用分数表示，而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2 的诞生。小小√2的出现，却在当时的数学界掀起了一场巨大风暴。它直接动摇了毕达哥拉斯学派的数学信仰，使毕达哥拉斯学派为之大为恐慌。实际上，这一伟大发现不但是对毕达哥拉斯学派的致命打击。对于当时所有古希腊人的观念这都是一个极大的冲击。这一结论的悖论性表现在它与常识的冲突上：任何量，在任何精确度的范围内都可以表示成有理数。这不但在希腊当时是人们普遍接受的信仰，就是在今天，测量技术已经高度发展时，这个断言也毫无例外是正确的！可是为我们的经验所确信的，完全符合常识的论断居然被小小的√2的存在而推翻了！这应该是多么违反常识，多么荒谬的事！它简直把以前所知道的事情根本推翻了。更糟糕的是，面对这一荒谬人们竟然毫无办法。这就在当时直接导致了人们认识上的危机，从而导致了西方数学史上一场大的风波，史称“第一次数学危机”。 

图为欧多克索斯 

二百年后，大约在公元前370年，才华横溢的欧多克索斯建立起一套完整的比例论。他本人的著作已失传，他的成果被保存在欧几里德《几何原本》一书第五篇中。欧多克索斯的巧妙方法可以避开无理数这一“逻辑上的丑闻”，并保留住与之相关的一些结论，从而解决了由无理数出现而引起的数学危机。但欧多克索斯的解决方式，是借助几何方法，通过避免直接出现无理数而实现的。这就生硬地把数和量肢解开来。在这种解决方案下，对无理数的使用只有在几何中是允许的，合法的，在代数中就是非法的，不合逻辑的。或者说无理数只被当作是附在几何量上的单纯符号，而不被当作真正的数。一直到18世纪，当数学家证明了基本常数如圆周率是无理数时，拥护无理数存在的人才多起来。到十九世纪下半叶，现在意义上的实数理论建立起来后，无理数本质被彻底搞清，无理数在数学园地中才真正扎下了根。无理数在数学中合法地位的确立，一方面使人类对数的认识从有理数拓展到实数，另一方面也真正彻底、圆满地解决了第一次数学危机。 

贝克莱悖论与第二次数学危机 

第二次数学危机导源于微积分工具的使用。伴随着人们科学理论与实践认识的提高，十七世纪几乎在同一时期，微积分这一锐利无比的数学工具为牛顿、莱布尼兹各自独立发现。这一工具一问世，就显示出它的非凡威力。许许多多疑难问题运用这一工具后变得易如翻掌。但是不管是牛顿，还是莱布尼兹所创立的微积分理论都是不严格的。两人的理论都建立在无穷小分析之上，但他们对作为基本概念的无穷小量的理解与运用却是混乱的。因而，从微积分诞生时就遭到了一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。 

（图为贝克莱主教）1734年，贝克莱以“渺小的哲学家”之名出版了一本标题很长的书《分析学家；或一篇致一位不信神数学家的论文，其中审查一下近代分析学的对象、原则及论断是不是比宗教的神秘、信仰的要点有更清晰的表达，或更明显的推理》。在这本书中，贝克莱对牛顿的理论进行了攻击。例如他指责牛顿，为计算比如说 x2 的导数，先将 x 取一个不为0的增量 Δx ，由 (x + Δx)2 - x2 ，得到 2xΔx + (Δx2) ，后再被 Δx 除，得到 2x + Δx ，最后突然令 Δx = 0 ，求得导数为 2x 。这是“依靠双重错误得到了不科学却正确的结果”。因为无穷小量在牛顿的理论中一会儿说是零，一会儿又说不是零。因此，贝克莱嘲笑无穷小量是“已死量的幽灵”。贝克莱的攻击虽说出自维护神学的目的，但却真正抓住了牛顿理论中的缺陷，是切中要害的。 

数学史上把贝克莱的问题称之为“贝克莱悖论”。笼统地说，贝克莱悖论可以表述为“无穷小量究竟是否为0”的问题：就无穷小量在当时实际应用而言，它必须既是0，又不是0。但从形式逻辑而言，这无疑是一个矛盾。这一问题的提出在当时的数学界引起了一定的混乱，由此导致了第二次数学危机的产生。 



左图为牛顿 右图为布尼兹 

针对贝克莱的攻击，牛顿与莱布尼兹都曾试图通过完善自己的理论来解决，但都没有获得完全成功。这使数学家们陷入了尴尬境地。一方面微积分在应用中大获成功，另一方面其自身却存在着逻辑矛盾，即贝克莱悖论。这种情况下对微积分的取舍上到底何去何从呢？ 

“向前进，向前进，你就会获得信念！”达朗贝尔吹起奋勇向前的号角，在此号角的鼓舞下，十八世纪的数学家们开始不顾基础的不严格，论证的不严密，而是更多依赖于直观去开创新的数学领地。于是一套套新方法、新结论以及新分支纷纷涌现出来。经过一个多世纪的漫漫征程，几代数学家，包括达朗贝尔、拉格朗日、贝努力家族、拉普拉斯以及集众家之大成的欧拉等人的努力，数量惊人前所未有的处女地被开垦出来，微积分理论获得了空前丰富。18世纪有时甚至被称为“分析的世纪”。然而，与此同时十八世纪粗糙的，不严密的工作也导致谬误越来越多的局面，不谐和音的刺耳开始震动了数学家们的神经。下面仅举一无穷级数为例。 

无穷级数S＝1－1＋1－1＋1………到底等于什么？ 

当时人们认为一方面S＝（1－1）＋（1－1）＋………＝0；另一方面，S＝1＋（1－1）＋（1－1）＋………＝1，那么岂非0＝1？这一矛盾竟使傅立叶那样的数学家困惑不解，甚至连被后人称之为数学家之英雄的欧拉在此也犯下难以饶恕的错误。他在得到 

1 + x + x2 + x3 + ..... = 1/(1- x) 

后，令 x = －1，得出 

S＝1－1＋1－1＋1………＝1／2！ 

由此一例，即不难看出当时数学中出现的混乱局面了。问题的严重性在于当时分析中任何一个比较细致的问题，如级数、积分的收敛性、微分积分的换序、高阶微分的使用以及微分方程解的存在性……都几乎无人过问。尤其到十九世纪初，傅立叶理论直接导致了数学逻辑基础问题的彻底暴露。这样，消除不谐和音，把分析重新建立在逻辑基础之上就成为数学家们迫在眉睫的任务。到十九世纪，批判、系统化和严密论证的必要时期降临了。 




图为柯西 

使分析基础严密化的工作由法国著名数学家柯西迈出了第一大步。柯西于1821年开始出版了几本具有划时代意义的书与论文。其中给出了分析学一系列基本概念的严格定义。如他开始用不等式来刻画极限，使无穷的运算化为一系列不等式的推导。这就是所谓极限概念的“算术化”。后来，德国数学家魏尔斯特拉斯给出更为完善的我们目前所使用的“ε-δ ”方法。另外，在柯西的努力下，连续、导数、微分、积分、无穷级数的和等概念也建立在了较坚实的基础上。不过，在当时情况下，由于实数的严格理论未建立起来，所以柯西的极限理论还不可能完善。 

柯西之后，魏尔斯特拉斯、戴德金、康托尔各自经过自己独立深入的研究，都将分析基础归结为实数理论，并于七十年代各自建立了自己完整的实数体系。魏尔斯特拉斯的理论可归结为递增有界数列极限存在原理；戴德金建立了有名的戴德金分割；康托尔提出用有理“基本序列”来定义无理数。1892年，另一个数学家创用“区间套原理”来建立实数理论。由此，沿柯西开辟的道路，建立起来的严谨的极限理论与实数理论，完成了分析学的逻辑奠基工作。数学分析的无矛盾性问题归纳为实数论的无矛盾性，从而使微积分学这座人类数学史上空前雄伟的大厦建在了牢固可靠的基础之上。重建微积分学基础，这项重要而困难的工作就这样经过许多杰出学者的努力而胜利完成了。微积分学坚实牢固基础的建立，结束了数学中暂时的混乱局面，同时也宣布了第二次数学危机的彻底解决。 

罗素悖论与第三次数学危机 

十九世纪下半叶，康托尔创立了著名的集合论，在集合论刚产生时，曾遭到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了，并且获得广泛而高度的赞誉。数学家们发现，从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。“一切数学成果可建立在集合论基础上”这一发现使数学家们为之陶醉。1900年，国际数学家大会上，法国著名数学家庞加莱就曾兴高采烈地宣称：“………借助集合论概念，我们可以建造整个数学大厦……今天，我们可以说绝对的严格性已经达到了……” 




图为康托尔 

可是，好景不长。1903年，一个震惊数学界的消息传出：集合论是有漏洞的！这就是英国数学家罗素提出的著名的罗素悖论。 

罗素构造了一个集合S：S由一切不是自身元素的集合所组成。然后罗素问：S是否属于S呢？根据排中律，一个元素或者属于某个集合，或者不属于某个集合。因此，对于一个给定的集合，问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果S属于S，根据S的定义，S就不属于S；反之，如果S不属于S，同样根据定义，S就属于S。无论如何都是矛盾的。 




图为罗素 

其实，在罗素之前集合论中就已经发现了悖论。如1897年，布拉利和福尔蒂提出了最大序数悖论。1899年，康托尔自己发现了最大基数悖论。但是，由于这两个悖论都涉及集合中的许多复杂理论，所以只是在数学界揭起了一点小涟漪，未能引起大的注意。罗素悖论则不同。它非常浅显易懂，而且所涉及的只是集合论中最基本的东西。所以，罗素悖论一提出就在当时的数学界与逻辑学界内引起了极大震动。如G.弗雷格在收到罗素介绍这一悖论的信后伤心地说：“一个科学家所遇到的最不合心意的事莫过于是在他的工作即将结束时，其基础崩溃了。罗素先生的一封信正好把我置于这个境地。”戴德金也因此推迟了他的《什么是数的本质和作用》一文的再版。可以说，这一悖论就象在平静的数学水面上投下了一块巨石，而它所引起的巨大反响则导致了第三次数学危机。 

危机产生后，数学家纷纷提出自己的解决方案。人们希望能够通过对康托尔的集合论进行改造，通过对集合定义加以限制来排除悖论，这就需要建立新的原则。“这些原则必须足够狭窄，以保证排除一切矛盾；另一方面又必须充分广阔，使康托尔集合论中一切有价值的内容得以保存下来。”1908年，策梅罗在自已这一原则基础上提出第一个公理化集合论体系，后来经其他数学家改进，称为ZF系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。除ZF系统外，集合论的公理系统还有多种，如诺伊曼等人提出的NBG系统等。公理化集合系统的建立，成功排除了集合论中出现的悖论，从而比较圆满地解决了第三次数学危机。但在另一方面，罗素悖论对数学而言有着更为深刻的影响。它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前，导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如围绕着数学基础之争，形成了现代数学史上著名的三大数学流派，而各派的工作又都促进了数学的大发展等等。 

以上简单介绍了数学史上由于数学悖论而导致的三次数学危机与度过，从中我们不难看到数学悖论在推动数学发展中的巨大作用。有人说：“提出问题就是解决问题的一半”，而数学悖论提出的正是让数学家无法回避的问题。它对数学家说：“解决我，不然我将吞掉你的体系！”正如希尔伯特在《论无限》一文中所指出的那样：“必须承认，在这些悖论面前，我们目前所处的情况是不能长期忍受下去的。人们试想：在数学这个号称可靠性和真理性的模范里，每一个人所学的、教的和应用的那些概念结构和推理方法竟会导致不合理的结果。如果甚至于数学思考也失灵的话，那么应该到哪里去寻找可靠性和真理性呢？”悖论的出现逼迫数学家投入最大的热情去解决它。而在解决悖论的过程中，各种理论应运而生了：第一次数学危机促成了公理几何与逻辑的诞生；第二次数学危机促成了分析基础理论的完善与集合论的创立；第三次数学危机促成了数理逻辑的发展与一批现代数学的产生。数学由此获得了蓬勃发展，这或许就是数学悖论重要意义之所在吧。
参考资料：http://tech.icxo.com/htmlnews/2004/01/12/62846.htm

7. 中国的数学题是全世界最难的吗

Hilbert 23个数学问题 
在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。 
希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第23问题属于数学分析。 
[01]康托的连续统基数问题。 
1874年，康托猜测在可数集基数和实数集基数之间没有别的基数，即著名的连续统假设。1938年，侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF集合论公理系统的无矛盾性。1963年，美国数学家科恩（P•Choen）证明连续统假设与ZF公理彼此独立。因而，连续统假设不能用ZF公理加以证明。在这个意义下，问题已获解决。 
[02]算术公理系统的无矛盾性。 
欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明，哥德尔1931年发表不完备性定理作出否定。根茨（G•Gentaen，1909-1945）1936年使用超限归纳法证明了算术公理系统的无矛盾性。 
[03]只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。 
问题的意思是：存在两个登高等底的四面体，它们不可能分解为有限个小四面体，使这两组四面体彼此全等德恩（M•Dehn）1900年已解决。 
[04]两点间以直线为距离最短线问题。 
此问题提的一般。满足此性质的几何很多，因而需要加以某些限制条件。1973年，苏联数学家波格列洛夫（Pogleov）宣布，在对称距离情况下，问题获解决。 
[05]拓扑学成为李群的条件（拓扑群）。 
这一个问题简称连续群的解析性，即是否每一个局部欧氏群都一定是李群。1952年，由格里森（Gleason）、蒙哥马利（Montgomery）、齐宾（Zippin）共同解决。1953年，日本的山迈英彦已得到完全肯定的结果。 
[06]对数学起重要作用的物理学的公理化。 
1933年，苏联数学家柯尔莫哥洛夫将概率论公理化。后来，在量子力学、量子场论方面取得成功。但对物理学各个分支能否全盘公理化，很多人有怀疑。 
[07]某些数的超越性的证明。 
需证：如果 是代数数， 是无理数的代数数，那么 一定是超越数或至少是无理数（例如， 和 ）。苏联的盖尔芳德（Gelfond）1929年、德国的施奈德（Schneider）及西格尔（Siegel）1935年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。 
[08]素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。 
素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均属中国数学家陈景润。 
[09]一般互反律在任意数域中的证明。 
1921年由日本的高木贞治，1927年由德国的阿廷（E•Artin）各自给以基本解决。而类域理论至今还在发展之中。 
[10]能否通过有限步骤来判定不定方程是否存在有理整数解？ 
求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。 
[11]一般代数数域内的二次型论。 
德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A•Weil）取得了新进展。 
[12]类域的构成问题。 
即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。 
[13]一般七次代数方程以二变量连续函数之组合求解的不可能性。 
七次方程 的根依赖于方程中的3个参数 、 、 ； 。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在 上连续的实函数 可写成形式 ，这里 和 为连续实函数。柯尔莫哥洛夫证明 可写成形式 ，这里 和 为连续实函数， 的选取可与 完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。 
[14]某些完备函数系的有限的证明。 
即域 上的以 为自变量的多项式 ， 为 上的有理函数 构成的环，并且 试问 是否可由有限个元素 的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。 
[15]建立代数几何学的基础。 
荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。 
注：舒伯特（Schubert）计数演算的严格基础。 
一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。 
[16]代数曲线和曲面的拓扑研究。 
此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备 的极限环的最多个数 和相对位置，其中 、 是 、 的 次多项式。对 （即二次系统）的情况，1934年福罗献尔得到 ；1952年鲍廷得到 ；1955年苏联的波德洛夫斯基宣布 ，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了 不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了 的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是 结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第[16]问题提供了新的途径。 
[17]半正定形式的平方和表示。 
实系数有理函数 对任意数组 都恒大于或等于0，确定 是否都能写成有理函数的平方和？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世纪变分法有了很大发展。

8. 1900年Hilbert提出23个值得数学家思考的问题，这些问题是什么？现在解开了多少？

　　1900年德国数学家大卫·希尔伯特（Hilbert）提出23个值得数学家思考的问题，其中第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第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）共同解决[4]  。1953年，日本的山迈英彦已得到完全肯定的结果。
　　（6）对数学起重要作用的物理学的公理化。
　　1933年，苏联数学家柯尔莫哥洛夫将概率论公理化。后来，在量子力学、量子场论方面取得成功。但对物理学各个分支能否全盘公理化，很多人有怀疑。
　　（7）某些数的超越性的证明。
　　需证：如果α是代数数，β是无理数的代数数，那么α^β一定是超越数或至少是无理数（例如，2^√2和exp(π)）。苏联的盖尔封特（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年已解决。
　　注一舒伯特（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世纪变分法有了很大发展。
                                                                                           　以上资料摘自百度百科