网站开发公司挣钱吗,qq刷赞网站怎么做的,小程序开发平台哪家产品较好,建设外贸网站价格来源#xff1a;中国数学会编辑#xff1a;nhyilin谢谢主持人的介绍#xff0c;谢谢大家在周末星期六的下午听这个报告。我今天要说的是“数学的意义”。数学#xff0c;要说爱你不容易#xff0c;不管你是天才还是庸人#xff0c;都是它虐待的对象#xff0c;差别在于有… 来源中国数学会编辑nhyilin谢谢主持人的介绍谢谢大家在周末星期六的下午听这个报告。我今天要说的是“数学的意义”。数学要说爱你不容易不管你是天才还是庸人都是它虐待的对象差别在于有人在这虐待的过程中得到快乐但大部分人得到的是痛苦。痛苦的一个根源是其实我们并不认识它撇开我们在与数学打交道的过程中的不愉快或愉快今天让我们从另一个角度、一个轻松的带着喝下午茶的心情带着一个旁观者的心态来看一看数学的意义。提起数学我们会想到什么从小学到大学都有数学课它在最重要的课程行列。我们也知道在日常生活和科学技术中它很有用。除此之外可能就想的不多了。换句话说对数学的本质它为什么有用甚至更进一步为什么有数学数学除了实用以外还有什么别的含义就不大想了这似乎是和我国文化的实用主义是有关系的。在这样的背景下可以说我们对数学的认识是很不足的我们看见的实用只是数学的一个面是冰山一角。数学理论的源头在古希腊我们有谁不知道欧几里得几何原本呢它的数学发展的水平之高即便在今天看来都是让人感到非常吃惊的。它为什么会是这个样子它的产生当然与希腊当时的文化和哲学是分不开的。跨越时空让我们来到 2000 多年前的希腊看他们是怎样认识数学的。他们说“数学是现实的核心万物皆数数统治着宇宙”等观点都是出自毕达哥拉斯学派柏拉图学派是深受毕达哥拉斯学派的影响。我们都知道数学研究量与形但这么说还难以感受数学的重要性也很难联想到数学是现实的核心。大家想一下有什么东西没有量与形的属性呢换句话说量与形是物质与事物的基本属性不管是什么东西它的这两个属性是摆脱不掉的。数学研究就是这些基本的属性这决定了数学的价值也使我们明白数学它是基础而重要的。说它是现实的核心也就不奇怪了。如果我们想要对数学有很好的认识的话就有必要回顾一下历史上它是怎么产生的。为什么能够产生数学、人们是怎样一步步建立数学体系的就是说在遥远的过去数学是什么样子其实整个历史过程是非常的漫长数学有很长的历史不像有些学科非常的短可能就是 20 世纪开始的但数学不一样它作为一个独立的、有理论的学科出现还是 2000 多年前。应该说公元前 600 年到公元前 300 年期间欧几里得《几何原本》它就是一个光辉的典范它把古代时候的数学都系统的整理出来用公里化的方法处理整个思维体系影响了后面两千多年。他的几何《原本》也在 2000 多年间是标准的教科书。几乎同时亚里士多德的学生欧德摩斯就写有数学史的著作所以数学史人们很早就关注它了。1482年由Erhard Ratdolt印刷的《几何原本》第一版(图自维基)不过比起人类和人类文明的历史数学的历史要短暂的多。在一万多年前人类就开始定居于一处靠农牧业生活在中国的考古中包括周口店的头骨我们都能看出来。不过文字的出现却要晚的多大约在公元前 3200 年的时候。文字的出现对整个文明来讲是极其重大的事情在我国古代认为这一是件泣鬼神的事情在没有文字的时候你想要在数学上有重要的发展那是不可想象的所以文字出现以前数学的发展其实是非常缓慢的。我们都有一个深刻的印象就是数学的抽象特点。即便是一个非常简单的概念数就是一个抽象的概念你在大自然中间看不到一个抽象的数比如 1。抽象的数的发展其实也是非常缓慢的类似的概念包括线段、直线、三角形、圆等等也是一样。数的概念据人们研究也并不是仅仅只有人独有据说有些动物也有数的概念。人们提炼数的概念其实经过了一个很漫长的时间开始的时候人们对数的观念是与具体的物品联系在一起的比如说一棵树、一块石头、两个人、两条鱼等等对形也是一样的。逐渐的人们发现了一棵树、一块石头等具体物体的共同的数字属性数的抽象概念就这样形成了。数是自然界若干物体的共同数字属性这是一个抽象的概念你在自然界当中不能直接找到。我们今天可能没有意识到其实这在人类认识自然的过程中间是一个巨大的飞跃。实际生活的需要产生了数字间的计算比如说要分配食物、交换物品、到指定日期前的天数等等这都需要对数进行一个计算。我们日常生活中间对数学的认识说数学有用很多时候都停留在这个阶段比如说会算帐、会分配什么东西等等它其实是对数学的一个误解。还有一件很重要的事情就是要给数一个名称并且能够记下来告诉别人这件事情也并不是一件很简单的事情所以在文字刚产生之初就引进了数学符号这在算术的发展上是非常重要的。一般的算术符号和公式、未知数的符号等是很晚才完成的包括我们现在熟悉的常用的加减乘除的符号、代数符号都是很晚很晚才完成的。像现在的代数符号是到了 16、17 世纪意大利数学家韦达引进的他对代数学的发展起了一个巨大的作用。算术最早是在巴比伦和埃及那里发展起来的它由于实际生活的需要包括税收、丈量土地、贸易、建筑和天文等等。虽然数学发展到今天已经非常抽象但它的来源还是实际的生活与生产。不过需要说清楚的是这里所产生的只是一些计算的规则和问题的解答算术的这种形式并不是数学理论原因在于它没有关于数的普遍的定义。前些年也许现在还有有一个电视台的《最强大脑》里面可以看到有些人算的很快。一个运算能力非常强的人大家会有一些误解以为这些人都有很强的数学能力其实这是一个误会他有数字的运算能力却不一定有数学的能力。从实际后来发展的情况来看他们其实并没有数学的能力原因在于他对于数的普遍规律没有什么深刻的认识所以不具备数学的天赋。向理论算术的过渡也是逐渐进行的在古代像中国、巴比伦、埃及就已经知道百万以上的数了。我们看《史记》上的记载在战国时代它的战争规模就已经非常庞大了打起仗来动用士兵经常几十万、上百万等等虽然我们今天都习以为常。我们现在的孩子数数 1、2、3……都会数下去但是在他的意识里边是不是会想着这个数能够一直数下去可能知道也可能不知道。数是不是会到某个地方截止了这个也是不清楚的。在古代最伟大的科学家阿基米德专门有一本书叫《数砂法》里面明确指出了命名大量砂粒的数目的方法这在当时是一件需要详细解释的事情。其实今天遇到天文数字我们也很难具体的数一数我们可能到百万、到亿、到万亿等等再往大了一般人也用不到那些数字也不知道怎么称呼最后笼统的就会用一个数字——天文数字来表述它。对于很大的数字要给它命名在古代不容易在今天其实也没那么容易。在公元前三世纪的时候希腊人明确意识到两个重要的思想数列可以无限地延续下去不但可以运用具体的数还可以讨论一般的数从而证明关于数的普遍定理。比方说《几何原本》里面就证明了素数有无穷多个这是关于数的普遍的定理。这个时候数学理论就产生了。算术概念其实反映了物体集合量的关系这些概念是在分析和概括大量实际经验的基础上加以抽象化而产生的并且是逐渐产生的。刚开始是与具体对象相连的数然后是抽象的数再就是一般的数。但有意思的一件事情是每一个阶段都依赖先前的概念和积累的经验这是数学概念形成的基本规律之一其实其他的科学也是一样的要形成一个概念都要依赖于前面的积累。算术让人信服的一个根源在于它的结论和概念是运用逻辑方法得到的逻辑方法和概念都是以数千年的实践为基础以世界的客观规律为基础。我们对数学的逻辑都是非常信服的逻辑也不是凭空产生的它也经过了一个漫长的过程以数千年的实践为基础以世界的客观规律为基础。这种想法以为我们的逻辑能够独立这个世界客观它是不合适的这当然也就意味着逻辑也有它的局限逻辑是非常诡异的它的诡异性远远超出我们的想象。算术尽管它的概念是抽象的但有广泛的应用原因在于它的概念和结论概括了大量实践经验在抽象的形式里面表现出现实世界那些经常和到处碰到的关系。计算的对象可以是不同的是动物、农产品、星球等等它舍弃了所有局部和具体的东西抽取了某些普遍的性质这就是数字的共同属性。性质的普遍性其实决定了应用的广泛性抽象的价值就在这个地方。算术的抽象性保证了广泛应用的可能性这种抽象并不是空洞的而是来源于长期实践的经验。对于全部的数学对于任何抽象概念和理论它其实都是一样的。理论应用广泛的可能性取决于其中所概括的原始材料的广泛性。要说清楚一点抽象与空洞不是一回事我们经常会看到某个人说的话真空洞他说的话好像没什么内容等等不管报纸上还是很多领导的讲话也好都有这个印象原因在于它里面并不概括什么实际的内容而仅仅是形式上给你一些正确的东西这种形式上正确的东西其实并没有什么价值。而数学上的抽象并不是一个形式的东西它来源于长期的实践经验。对于任何数学对于任何其他的科学包括哲学等等都是一样的需要概括一些非常广泛的东西并且有实际的丰富的内容。还是这么说理论应用广泛的可能性取决于概括的原始材料的广泛性如果概念本身概括的东西很少的话希望它能够有广泛的应用那是不现实的。毫无疑问抽象也会有它的局限性因为在抽象的过程中间会丢弃掉很多东西只反映对象部分的属性。常常也是这样仅有数据是不够的我们现在生活在一个信息时代大数据的时代大家对数据的强调到了非同寻常的地步认为数据要主宰这个世界的一切一样。但是从过去的经验来看它可能还做不到这一点。数据只是事物的一部分属性而已换句话说不能无限制的运用抽象的概念就像把一只羊和一头狼加在一起一升水和一升酒混在一起它都不是算术一加一的应用虽然可能有些商人会在酒里兑水我们也有个非常有名的动画片《喜洋洋与灰太郎》等等。真理是具体的虽然数学是抽象的。把抽象应用到具体是一种艺术和一种技术。有意思的一件事情就是我们的思维常常是会超出实践提出的任务这些要求以外很远这非常有意思比如十亿或者百亿这样的大数字概念它当然是在计算中间产生的很早很早就有了。但这些概念出现的时候其实没什么用处直到后来才有用。科学里有很多这样的东西刚开始出现的时候没有什么用处我们后面还会举一些例子这就是说我们实用的一些哲学观点可能要避免。这种例子在科学上很多举个简单的例子大家在高中的数学里面有复数我们知道求方程的时候都要求根是一个实根等等但是对于 X²10 这样一个方程我们就没有根了没有根怎么办那就不存在了。得出这个结论但是我们又不满足最后又引进了一个根虚数。从这个概念本身就知道它是一个虚构的它是想象出来的不存在。但是到了后来这个数非常的重要由于虚数的引进之后我们就有了复数的概念复数上的数学是非常庞大和深刻的。陈省身先生对复数就非常着迷他说复数太迷人你怎么都参不透它里面有很多的东西是那么神秘那么深刻。他晚年致力于的一项工作就是证明一个六维的球面上有复结构但一直都没有做下来。当然这个问题到现在谁也没有做下来所以他没有做出来也一点不奇怪。类似的线段、直线、圆和三角形等等抽象概念也是逐步发展起来的它是一些物体的共同的空间属性是形方面的属性。和算术一样它产生于实践然后逐步形成数学的理论现在已经是及其庞大的理论了。形的概念也从我们熟悉的点、线、面等等变得非常陌生比方说在三维空间里面把所有过圆点的实线拉出来它也是一个非常好的结构是一个射影空间。几何的抽象当然也是很明显的因为这里头点没有大小、线没有宽度厚度面也没有厚度它只是现实世界物体的一个空间属性的抽象在现实中间你看不到这样的点、线和面。对这些抽象的空间形式是没有办法做实验的所以只能用逻辑推理的方法从一些结论导出另一些结论重要的是我们需要认识到这些结论其实是现实世界的抽象的一个反映。几何和算术一样它原始概念的明显性、推理的方法、结论的令人信服都如同算术那样以实践和世界客观规律为基础。既然以实践为基础也就意味着它会有局限就会有人想我们直观提炼出这些概念是不是很好的反映了现实很久很久以前人们是很有信心的但随着科学的发展或者说随着人们对几何公里深入分析的时候这个信念就动摇了。大家知道对欧几里得几何第五公式的讨论和思考最后导致了非欧几何那非欧几何中的黎曼几何对相对论是非常重要的更好的描述了我们的宇宙。所以我们来源于实践中的很多东西到后来又经过不断的修正通过实践和理性的思考。在数学里面量与形是事物的基本属性那毫无疑问分开讨论量的属性和形的属性都是不够的他们两者必然会有联系、互相有制约。数学分支之间的联系互相渗透是有特别重大的意义的它有力的推动了数学的前进并揭示了这些分支所反映的现实世界关系的丰富多彩。我们现在非常强调交叉原因就在于不同的学科其实都是现实中间不同角度的反映而已只有把它结合起来才能对这个现实有更全面的认知。这有点类似于盲人摸象每个学科可能只摸到一个局部、一个侧面而已把所有的合起来我们就会对这个“象”有个更完整的认识了。回到算术与几何它同样有密切的联系不仅互相作用而且是产生进一步的一般概念、方法和理论的来源。这一点非常的重要就像我们现在的交叉它不断产生新的概念、方法、理论等等。数学和化学结合到一起就会有计算化学数学和物理的结合一直是非常紧密的它们的结合有数学物理还有计算生物学等像现在很多数学家转去做生物我知道有些美国的数学家转去做生物之后结果成为美国科学生物方向的院士这样的例子还有很多。算术和几何是数学成长的两个根源其密切的联系在刚开始就有了。比方说简单的一个长度测量就已经是算术和几何的结合了。当你测量物体的时候会把单位长度的东西放在物体上面然后数一数共放了多少次其中第一步“放”的时候就是一个几何的性质——全等第二步“数”当然是算术的做法。在测量时候常常会发现选用的单位不能在被测的物体上放置整数次这时候就必须把单位加以分割以便利用单位的一部分来更准确的表示量这就已经超出整数的范围了要用分数来表示这个量分数就这样产生了。这是几何与算术相互作用的结果它引起了数的概念从整数到分数的推广这也是数的概念非常重要的一步分数就这样产生了。直接在自然界中间还形成不了分数的概念但是通过几何与算术的联系它就产生了。不过无理数的发现还不能通过测量实现因为在实际测量中间如果分割和度量达到过于细小的程度时候这些细小的量就会被直接忽略掉也做不到无限精确的测量而且无限精确也没有意义。勾股定理告诉我们单位边长的正方形对角线的长度就是 √2这样数的概念就进一步发展了。而且逐渐的人们把数理解为某个量与被取做单位量的比值可以不再把数与具体物体量的属性联系起来这意味着对数的认识又比前面进了一大步它是两个量的比比如 3/5就是 3 和 5 的比值和测量、和数shǔ数shù都没有任何的关系。这里要特别强调一下无理数的发现。我们可能都知道在古希腊的时候人们利用勾股定理他们叫做毕达哥拉斯定理发现了单位边长的正方形不能够被有理数度量的时候希腊人是感到震惊的。他们认为这些事情好像破坏了世界的美一样不能理解这件事情。但它既然这样自然的产生当然在数学里面有重大的意义。从哲学上来讲它的发现也是数学理论在揭示自然规律和现象的威力深刻性上一个典型的例子。可能我们平常没有意识到这一点就是无理数没有数学理论是发现不了的其他的手段包括测量、抽象、实验等等都发现不了只有数学理论能够告诉你世界存在无理数而且会有很多很多。后面我们还会谈到一些其他东西比如说无穷也同样只有数学能做到别的科学做不到。数的概念进一步的发展就是实数然后就是复数到了后来就是代数结构这个地步已经到了比较高深的数学了。换句话在我们日常生活中间不一定能够直接感受到可能也不需要感受到专家会给我们忙这些事情把它们运用到物理、通信、航天等地方。关于数与形的联系华罗庚先生有一个非常深刻的见解他说“数缺形时少直观形缺数时难入微”。确实是这样你把这两个统一起来考虑的时候对这两者的认识都会变得更深刻。如果你孤立的来考虑不会走的那么远。简单的谈一下历史之后我们应该说数学了。数学应该是从数shǔ数shù开始的我们有谁不会数数呢在幼儿园里的孩子都会 1、2、3……这么数下去。一般孩子数到 100可能他的爸爸妈妈就让他过去了。不过有些望子成龙的家长可能会让他一直数到 N数到一个抽象的 N。一般可能想不到用正整数把所有整数都数一数其实这是可能的一个数法就是从零开始然后一个负数一个正数、一个负数一个正数结果就把整数这么一个个排下去了。这件事情有点意思也说明数数好像没有那么简单。接下来我们就可能会想着用正整数去数有理数刚开始看这似乎是不可能的一件事情但出人意料这也是可能的。有理数是两个整数的比当然前面还有一个正负号我们可以要求这个分子分母没有大于 1 的公因子把分子分母都加起来先按这个值大小分成若干部分这时可以用整数去数。然后对于固定的和这里的有理数肯定是有限的那这部分又能数。这样操作下去之后结果发现有理数也能数从零开始然后接下来就是分子分母都是 1 的数只有 1 和负 1那分子分母加起来是 3 的时候那就是 1/22-1/2-2加起来是 4 的时候就是 1/33-1/3-3 等等。这个样子就把有理数全部都数下去了这应该说数数还是非常有意思的一件事情。那接下来你可能想继续用整数来数实数但很遗憾实数确实没办法用整数来数。这显示出实数和有理数、整数之间从无穷的观点来看它是有巨大差别的。而且有理数虽然看起来乱糟糟我们还是能够把它数清楚但实数我们做不到这一点。证明并不难我们这里不用去管它了。这里马上就会产生一个问题在自然数全体和实数全体之间有没有一个数的集合,它一方面没有办法数或者说我们不能像整数那样数下去;另一方面它和实数全体也不一样多,也就是说你不能和实数集建立一一对应一一对应通俗的语言说来就是旗鼓相当数学的语言就是等式就是势力相等的意思。这个问题看起来很自然问的就是像在 1 和 2 之间有没有整数一样。不过大家可能意识不到的事情是这个问题在数学里面是特别重要的一个问题一个很基础的问题。康托是集合论的创始人他提出这样一个假设——连续统假设说这样的集合没有。大家可能知道在 1900 年国际数学大会上伟大的数学家希尔伯特提了 23 个问题这 23 个问题中的第一个问题就是连续统假设可见这个问题在数学中的重要性。数学家们花了很大的力气来研究它哥德尔伟大的奥地利数学逻辑学家他在 1940 年就证明了连续统假设和我们现在这个逻辑体系是没有矛盾的没有矛盾还不能说它对。又过了 23 年到 1963 年一位美国数学家科恩他发明了一种非常有利的办法叫做力波法证明这个结论否定的一面和我们现在的逻辑体系也是没有矛盾的。这个事情就变得诡异起来了换句话说这么简单自然的一个问题在逻辑上来讲我们证明不了它是对或者错就像在我们日常生活中一句话一样“说你行你就行说你不行你就不行”这让我们对逻辑产生了很奇怪的感觉原来它也有它不能的时候。科恩因为这项工作在 1966 年获得了菲尔兹奖在取得了这项伟大的成就之后他心气高昂觉得数学里面没什么问题值得他研究除了有一个问题叫黎曼猜想数学里面最著名的一个问题。科恩后来的余生就致力于研究黎曼猜想他这个心劲有点类似于我们古代唐诗所描述的境界“曾经沧海难为水”。很可惜科恩已经去世了黎曼猜想还依然活着谁也没办法证明它。在这个地方我们可以看出来逻辑实际上比我们想的诡异的多很多时候我们对它的认识可能还不那么透彻。关于逻辑我愿意在这里再多说一点点一般人对于数学的逻辑都非常有信心不仅数学家相信物理学家相信一般老百姓也相信。但随着我们对数学的认识不断的加深的时候就有很多的悖论包括罗斯的悖论等等。这些悖论也就意味着数学的逻辑不像我们平时想得那样无所不能、无所不利。我们能做的事就是给它建立一个很坚实的基础比如这个世界有狼那我们就圈一块地把狼赶到外面去然后在圈里面放羊。把数学就建立在这个领域这个大厦就非常牢固了。数学家对这个努力的方向是非常乐观的罗素与怀特海就写过数学原理三大本书试图来做这件事情。罗素是一位非常杰出的数学家数学家拿诺贝尔奖的人很多但是这位数学家是通过文学拿的诺贝尔奖实际他是通过这三本书——《数学原理》拿的诺贝尔奖。据说当时正好在诺贝尔奖评选委员会里有一个人对他这项工作很了解结果就颁给他了。拿诺贝尔奖文学奖的数学家目前只有一个。伟大的数学家希尔伯特对这样一个努力的方向也非常的乐观认为我们一定能够做到这一点我们必须做到也将会做到。但他这种乐观的话说出来之后朗朗的笑声没有多久在 1931 年哥德尔还是这个哥德尔他就证明了两个不完备性定理。第一个定理说如果你的公里体系包含算术公里体系就是我们最常用的体系因为我们总要处理整数、算术这些东西如果包含这个体系了必然会有一个命题是没法判断它的正确与否的。就像我们刚才提到的一样。歌德这个构造还要简单一些那是更早完成的。另一个不完备定理说如果有一个公里体系包含了这个算术公里体系那么它的不完备性是不能够由自身证明。就像在法庭上你不能自证清白。这对希尔伯特的形式化纲领是一个致命的打击也宣告他的形式化纲领是不可能实现的。希尔伯特得知这个消息后当然非常的沮丧更遭的是那个冬天他还把腿给摔断了这显然是一个不祥之兆。从数数引发出来的问题我们可以看到逻辑的诡异性也揭示了我们认知上的局限性。数理逻辑还和计算机科学是密切相关的计算机科学能做到哪一步哪些地方不能做这个界限有时候还不是特别的清楚。但是我们通过数理逻辑知道有些东西做不了还有很多东西能做不能做我们并不知道比如 P 和 NP 问题等等它反应了一些诡异的东西。哥德尔这项工作不仅在数学界里面而且在哲学界里面都产生了巨大的影响他实质上和我们的常识或者是一般所想的差的太远了。在上个世纪 70 年代有一本书是获得美国普利策奖的书名就是《G.E.B》——一条永恒的金带。这个 G 就是哥德尔E 就是埃舍尔一位荷兰的画家B 就是音乐家巴赫。他把哥德尔的不完备性定理和埃舍尔的绘画以及巴赫的音乐给联系起来。你在看埃舍尔绘画的时候也是很有意思的它在整个局部上都是非常合理的水不断地往高处流结果最后整体上看它流到原来地方或者甚至比原来更低的地方。巴赫的音乐也是有时候听了你会感觉到它不断的深厚结果回到原来的地方。那本书就揭示了这中间的一些联系是一本很有影响的书。我们国内也有翻译。埃舍尔的画科学家也很感兴趣因为它揭示了一些非常奇怪的矛盾现象。印象中间像杨振宁写的《基本历史简史》里面就有一幅插图是用了埃舍尔的绘画。埃舍尔绘画作品《瀑布》在我们有限的生命里面要认识无限似乎是一件困难的事情甚至可能是一件让人不安的事情。在古诗里面就说了“生年不满百常怀千岁忧”这就表明我们并不甘心局限于自己有限的时空。但无限是令人敬畏的帕斯卡说到“当我想到我生命的短暂停留被前后的永恒所吞噬我所占据的小小空间被我也一无所知的无限广阔的空间所淹没我感到恐惧这些无边无际的空间的永恒的寂静使我害怕”。在数数的游戏中间我们就感受到了整数的无穷和实数的无穷的差别。数学非常重要的一个作用是能够认识无限这是别的学科做不到的。你没有看到任何其他的学科能够做这件事情哲学讨论无限讨论不出个所以然只有数学能够研究无限这是它神奇的地方。我们利用无限还可以研究有限例子包括极限、级数、无限集合等等。在无限里面也有差别我们刚才已经看到了整数的无限和实数的无限的差别在数学里面专门有个分支研究这种差别那就是集合论。对于无限希尔伯特的认识是非常深刻的他说“没有其他的问题能够如此深刻的触动人的精神也没有其他的思想能如此富有成果地激发人的思想逻辑领悟力然而也没有其他的概念比无限的概念更需要澄清”。我们常常有个朴素的想法希望长生不老其实是跟无穷联系在一起的。我们现在转过来看一些观点数学是那么的有魅力伟人们从不吝啬他们对数学的敬畏和赞美之词说出了一些非常深刻的观点。像古希腊毕达哥拉斯学派、柏拉图学派他们认为数学是现实的核心。我们常常听到的观点“万物皆数”源自毕达哥拉斯他的学派还有类似的表述“数统治着宇宙数是万物的本质”。柏拉图学派深受毕达哥拉斯学派的影响把数学摆在至高的位置“纯粹思想的最高形式是数学。”在柏拉图学院的大门上写着“无几何学识者勿入此门”。在柏拉图的名著《理想国》里面第七篇有很长的对话讨论算术与几何的重要性结论就是 “算术迫使灵魂使用纯粹理性通向真理几何是认识永恒事物的并把算术和几何作为青年人必须学习的第一门和第二门功课。”古希腊认为“数学是自然界最真实的一个本质”有这样的认识古希腊在数学上能够取得开天辟地的成就似乎也就不奇怪了。这句话在我们今天的时代应该会有更深的体会在我们今天的社会信息时代里面什么东西都要数字化、数字地球、数字这个、数字那个等等其实背后都离不开数学。伽利略认为 “宇宙就是用数学语言写成的如果你不懂数学要想认识宇宙是不可能的这些语言的字母就是三角形、圆以及其他的几何形状等等。”高斯认为“数学是科学的皇后”。也许大家看过徐迟的报告文献《哥德巴赫猜想》里面提到过这句话。高斯是被称为 19 世纪的数学王子是 19 世纪最伟大的数学家也是杰出的物理学家、天文学家、大地测量学家他的这句话常被人引用只是不知道高斯把皇帝弄哪儿去了。不过也许大家可以想一下。维格纳是一位获诺贝尔奖的物理学家他提到 “在自然科学中数学是不可思议地有效已经达到了不合理的程度。”他的这个观点问世以后引起了长久的讨论和引申。狄拉克也是一位杰出的物理学家他认为“上帝是一位非常高等级的数学家他用非常先进的数学来构造这个宇宙我们只要在数学里面有进一步的认识的话都会有助于我们认识这个宇宙。”我只是有点奇怪他为什么不认为上帝是一个最高等级的数学家他是不是认为最高等级数学家还有什么别的人在欧洲甚至一些文人对数学也是赞叹不已这和我们国家的文人不太一样我们国家的文人好像赞美数学的很少。我只是看到很多文人写的作品里面对数学是表现极其的厌恶之情以不懂数学而自豪等等。伏尔泰认为“数学必须驾驭我们理智的奔驰他是盲人的拐杖没有它寸步难行。一切确凿无疑的事实都应该归公于数学和经验。”这是一种认识也是一种信念。法国数学的强大不仅是法国数学界的功绩也有深刻的文化因素。甚至他们的皇帝对数学也是赞叹有佳把它和国家的繁荣富强联系起来。拿坡仑是 19 世纪法国伟大的军事家、政治家、法兰西第一帝国的提倡者。人们一般都关注他的军政成就其实他在科教方面的成就对法国以后的发展也同样是至关重要的。在法兰西第一帝国期间法国制定了保留至今的国民教育制度成立了公立中学和法兰西学院来培养人才鼓励科学研究与技术研究事业的兴起。拿坡仑本人对科学文化事业是极为关注的掌权以后他定期出席法兰西科学院的会议邀请院士们报告科学进展把许多奖赏授予科学家包括外国的科学家。拿坡仑的关注促进了法国科学的繁荣出现了像拉普拉斯、拉格朗日、蒙日、卡诺、傅里叶、吕萨克、拉马克、居维叶等一大批耀眼的科学明星。我们国家的领导人现在对数学也是非常重视的。西方国家强调数学的还有哲学家康德是 18 世纪德国的哲学家被认为是所有时代最伟大的哲学家之一他拥有渊博的自然科学知识对道德有着深刻的理解。他的哲学对德国古典哲学和西方哲学都有深远的影响对马克思主义哲学的诞生也有深刻的影响。《纯粹理性批判》是其最有名的著作他认为“数学科学呈现出一个最辉煌的例子不借助实验纯粹的推理就能够成功的大大扩大人们的认知领域。”关于这点我们前面提到的无理数就是一个典型的例子当然虚数也是个典型的例子我们后面还会有更多的例子来说明这一点。我们常常会听到“飞行的马赫数”很多人觉得数学很难或者什么之类等等但是马赫的观点完全不一样他说“也许听起来奇怪数学的力量在于它躲避了一切不必要的思考和它令人愉快的节省了脑力劳动”。其实做数学节省了很多的脑力劳动你不用辛苦的考虑很多东西因为很多东西的数量关系就决定了它们的主要性质。如果像这位雷尼的话就更有意思了他说“如果我感到忧伤我会做数学变得快乐如果我正快乐我会做数学保持快乐。”我是完全同意他的观点做数学多好。黑格尔是德国 18 至 19 世纪的科学家德国古典维新主义的集大成者创立了欧洲哲学史上最庞大的客观维新主义体系并且极大的发展了维新辩证法。他的上述观点“数学是上帝描述自然的符号。”和伽利略的观点是一脉相承的。现在数学在社会科学里面应用也变得越来越广泛在经济里面是一个典型的例子你要是不懂数学的话只做经济学它的出路并不是很好。爱因斯坦无疑是上个世纪最伟大的科学家他的观点更让人深思他说“纯数学能使我们发现概念和联系这些概念的规律给了我们理解自然现象的钥匙。”他进一步说到“数学之所以比一切其它科学受到尊重”虽然他自己是一个物理学家“一个理由是因为它的命题是绝对可靠的无可争辩的而其它的科学经常处于被新发现的事实推翻的危险。数学之所以有高的声誉另一个理由就是数学使得自然科学实现定理化给予自然科学某种程度的可靠性。”你看到其他的学科一篇论文半衰期非常短我们常听说某些学科五年前的论文到现在已经没什么价值了但你看欧几里得《几何原本》用了两千多年勾股定理到现在我们还是一直不停的在用所以数学的生命是永恒的不像其他的学科。即便是伟大的牛顿定理后来也发现只是低速世界的定理在更大的空间里面、更小的空间里面它其实都不适用。小的空间里有量子力学大的空间有相对论。对数学在现实中的用处华罗庚先生的观点是非常透彻的“从宇宙之大、粒子之微火箭之速化工之巧地球之变生物之谜日用之繁无处不用数学。”你可能会注意到这一点它其实还是迎合了我们国家一种实用主义的思维。从华罗庚先生这些话里面每一句都能引申出很多的东西。比如第一句话中对于无垠的宇宙离开了相对论要认识宇宙其实是很困难的前两年发现了引力波其实来源于相对论在粒子之微这里有量子力学包括薛定谔方程火箭之速也会用到数学必须要计算好不然坐火箭出去旅行很有可能就回不来化工里面也是一样的它有很多的化学反应微小的实验尺度里面就会用到微分大的实验尺度里面会用到积分地球之变不用说现在的天气预报能够预报的比以前更准确毫无疑问数学起了很重要的作用包括建模之类的生物之谜也是一样的人为什么演变到今天它的基因怎么演变的这里概率和统计就起了很重要的作用。这里还可以说一个故事本拉登前几年被击毙了当时美国的情报人员花了很大的力气弄清楚他的落脚点。那科学家怎么来看这件事情呢科学家用了一个模型来推测本拉登的落脚点他认为本拉登这个时候的行为跟濒危动物的行为差不多所以利用濒危动物的行为来预测本拉登的落脚点最后推测出来他可能在两个地方落脚其中一个就是白沙瓦这就是本拉登最后被击毙的地方。你可以看一下运用科学所得到的结论是常常出人意料的。美国的情报人员其实花了很大的力量同时很多时候是冒着生命危险的所以现在情报机关里面雇佣了很多科学家一点儿都不奇怪。在华罗庚先生的话里面日用之繁不用说我们一个最切身的感受就是深受堵车之害这里数学可以帮助解决很多的问题运筹优化之类的。还有一件事情也可能有悖于大家的常识很多时候路多的时候交通不一定更顺畅封掉几条路交通反而更顺畅了这是经过实际证明的。在二次大战期间交通因素变得非常的重要因为要保证物资有效的调度到前线去。苏联数学家为此建立了线性规划的理论来解决这个问题当时发挥了很重要的作用。有意思的事情是美国经济学家后来把这个理论用到了经济学里也取得了巨大的成功结果在上个世纪 70 年代这位苏联科学家康托诺维奇就和美国的经济学家一起拿了诺贝尔奖。数学家拿经济奖的人还挺多包括纳什《美丽心灵》的主角大家都看过这个故事。纳什拿诺贝尔经济奖的论文很短只有两页纸的样子不像经济学家写起论文来都是长篇大论说起来也头头是道不把你说糊涂一般是不罢休的。为什么这么说呢也有个笑话说就某个经济现象发表看法的话五个经济学家会有五个观点如果这中间还有一个是哈佛毕业的话五个经济学家就会有六个观点要把他们的观点统一起来基本是没有希望的。我们回到数学这里来数学的抽象当然来源于长期的实践。它并不是凭空起来的它的结论是从概念中运用逻辑方法得出来的而逻辑方法和概念同样是以数千年的实践为基础没有这些实践的基础也不会有今天的逻辑它同样以世界的客观规律为基础。数学的规律实际上是自然规律的一部分只是以抽象的形式反映出来不过抽象的面目基本上是人见人不爱。现在数学的发展既有外部问题的驱动也有内在问题的驱动内在问题的驱动其实也是现实世界的一个曲折的反映而已只不过是以抽象的形式表达出来而已那抽象推导出来的数学在现实中间有用就一点儿也不奇怪了数学的理论还是自然规律的一部分。我们看一下两千多年前希腊人关于圆锥曲线的研究在 17 世纪被用于描写天体的运动过了将近两千年它才变得有用。黎曼几何是广义相对论的框架。欧几里得出来后来人们对于第五公式进行了一些反思因为有些地方跟我们的直觉是不太一样的。比如过直线外一点做这条直线的平行线只有一条但是从我们视觉上来讲比如两条平行线的接轨一直往远方看最后交于一点这个直观对于绘画非常重要。对于绘画的讨论包括光线的投影等等最后产生了摄影几何它其实是一种非欧几何。对于欧几里得第五公式的讨论形成两个几何一个是双曲几何一个是球面几何。另一种就是黎曼几何黎曼几何是完全从数学内部产生的。但是到后来相对论出来之后人们发现欧式几何是不适用的相对论的数学框架用黎曼几何正合适它对引力的解释也和原来完全不一样并不是说两个物体的质量之间轻而是说物体质量非常大的时候空间是有弯曲的。另外比方说纤维丛理论在规范场理论中的应用也是一样的当时杨振宁对这个事情感到非常的惊讶就跟陈省身先生交流说“你们数学里面凭空做出来的东西怎么会在物理里面非常重要”陈省身就说“我们的几何本来就是现实中的一部分所以不能说它是凭空产生的。”当然还有很多的例子包括矩阵和无限维空间在量子力学中的作用海森堡刚开始把他的量子力学叫做矩阵力学因为矩阵的乘法具有非交换性。概率论在统计力学、生物和金融中也有广泛的应用概率论的来源其实是赌博很多的数学在很久很久以前是人们完全凭兴趣研究的后来在自然科学或者其他地方都有想不到的大用处。怀特海德就感叹到“对那些只把知识和研究局限于明显有用的那些人不会有比如下示例给出更深印象的告诫了圆锥曲线只是作为抽象科学的内容被研究了一千八百年除了满足数学家的求知欲外没有任何实用的考虑然而在这漫长的抽象研究的最后它们被发现是获得最重要的自然规律之一的知识所必不可少的钥匙。”我觉得怀特海德的话对我们国家来讲不管是政府也好还是一般的百姓也好都是有它的意义的。我们一般都非常关注“有用”我们学过很多东西包括学经管它就是为了挣钱、有用。只是为了兴趣去探索未知的东西这种精神在我们国家应该是比较少的。我自己在教学的过程中间也遇到一些这个现象甚至一年级的大学生就问“线性代数有什么用呢”线性代数这么技术的东西当然非常有用包括在通信里面。这个学生提的问题让我感到非常惊讶换句话说他这个时候没有体会到学习的乐趣而只是关心有什么用这其实很难走远不应该这样问。我觉得他是问错了他应该问有没有意思有意思驱动的话做下去就会走的更远因为一直觉得它有意思。你想你在生活中间不就追求一个有意思吗这个“有用”当一个人成为“有用”的时候我是怀疑这个“有用”有什么含义呢你是被别人利用还是你要利用别人所以“有用”这个东西推敲下去结果好像不太好。知识通过感性的感觉而产生逐渐成为考察的对象最后变成理性的财产。所以我们现在都说知识是人类的财富等等它确实是一个财富。在我们古代所说的“书中自有黄金屋”它有一定正确的成分但还不完全正确因为它太现实了包括“颜如玉”等等。我不知道女孩子看到这样的句子会有什么感受是不是还希望加一句“还有帅哥在里头”。数学的思维方式当然也是一种智慧这一点尤其重要。在学习数学的过程中间掌握了数学的思维方式怎么考虑问题等等这比知识有价值得多。知识可以上网去搜可以看书、翻书等都没问题但怎么考虑问题是能力中一个重要组成部分。我们用两个例子看一下数学的智慧。第一个例子是哥尼斯堡七桥问题。如下图这是一个城市河流是这个样子有七座桥问题就是能否设计一条路线通过每一个桥正好过一次。据说当时市民周末一个很受欢迎的消遣就是能否设计一条路线通过每座桥正好一次。但这个问题当时市民都没有解决最后大概是一个城市的市长把这个问题交给了欧拉一个著名的数学家欧拉把这个问题解决了。我们看一下欧拉是怎样解决这个问题的这个过程体现了抽象的价值和数学的思维。首先这条河流把城市分成四部分每一部分大小其实都不重要重要的是过桥的路径设计从而可以把陆地抽象为一个点大小反正无所谓干脆没有大小就得了。而桥就抽象成点与点之间的连线这个图就画成这个样子。简化成这样之后这个问题的本质就全部展示出来了除了起点和终点走过中间那些点走到这个点的次数和走出那个点的次数加起来必然是一个偶数就是说连接那个点的桥数必然是偶数。可是上图连接四个点的线路也就是桥数分别是 5、3、3、3所以不可能设计一条路线通过每座桥正好一次。欧拉解决这个问题的方式显出了抽象的价值和数学的智慧这是图论的开始也是拓扑学的一个先声。图论在信息科学中间包括网络和芯片设计都非常有用。说到数学思维我们还举一个例子二战期间很多数学家参与了战争包括图灵等人破译密码也包括很多统计学家分析数据等等。其中有一件事情就是很多战机出去空战的时候很多被击落了也有很多又回来了回来的很多战机上面就布满了弹痕、弹眼之类的这就需要分析在哪些地方需要加固。空军提的建议是应该在弹孔最多的地方加固但数学家提出的意见是应该在弹孔最少的地方加固。为什么弹孔最多的都能飞回来意味着这个地方多打几个弹孔也没关系这就是个缺失数据的问题。弹孔少的地方比如说发动机因为被击中后基本就是栽下去回来的不多。数学家提出的观点和军方是完全相反的后来事实证明数学家是对的他挽救了很多飞机和飞行员的生命。另外再举个例子就是晶体的分类。我们都很喜欢钻石非常的漂亮还有雪花也很美他们都是晶体。晶体有多少种这是很实际的问题。晶体的主要特点是对称由外部的对称和内部的对称结构来决定晶体的对称性对晶体的种类带来了很强的约束。数学中间研究对称的分支是群论。外部的对称是很容易确定的关于内部的对称舍去了晶体的所有物理性质。仅从几何对称性的角度考虑晶体在 1885 年到 1890 年期间俄国的晶体学家费德洛夫就确定了晶体的微观的对称形式 230 种。他的这项工作后来是晶体实验工作数学理论的基础对晶体的内部结构的确定发挥了巨大的作用。包括 1912 年德国人劳尔以及包括后来英国人布拉格父子他们对晶体内部结构的确定等等这些数学理论都起了非常重要的作用。劳尔和布拉格父子先后于 1914 年和 1915 年获得了诺贝尔奖。群论是研究对称的一个基本工具在物理中间非常重要不过它的来源非常有意思它是解方程产生的。很多人都感到数学有一种特殊的美感他们也曾经做过生理上的分析发现这个美感和看到漂亮风景、帅哥靓女之类神经的反应好像差不多的。事实上还有一些物理学家对数学之美的感受是很强烈的对数学的美的追求也是无尽的。外尔对数学美的态度就是这样“我的工作总是设法把真与美统一起来但如果只能选择这个或另一个时我常常选择美。”。一般我们追求真善美但好像从道德上来讲这样做是不对的但数学里面的美很可能是更高层次的真实。就像在我们所认识的世界里面你的认识是有一定局限的但美是一个原则让你发现更高层次的真实。外尔写的《群论量子力学》1928 年首次出版非常的有名据说当时的理论物理学家都会把这本书放在书架上但都不看因为里面的数学太难了。物理学家对数学家写的书好像好感并不多他们的评价大概是这样的认为数学家写的书有两种第一种是看了一页就看不下去了第二种是看了一行就看不下去了。哈代是 20 世纪杰出的分析学家也是他所在的时代英国最杰出的数学家他的一个数学家的独白表达了他对数学的看法影响颇广。他也是一个唯美主义者他认为“美是数学的第一道检验难看的数学在这个世界上没有长驻之地。”狄拉克认为“物理定律必须有数学的美上帝用美丽的数学创造了这个世界。”狄拉克方程就是一个典型的例子它是个很有名的方程杨振宁对它也是非常赞叹的专门有文章提到这件事情就是利用这个方程人们发现了正电子。当初根据已有的实验结果来讲它的方程不是这样的。但他认为根据实验结果得出的方程不美所以就给修改了修改之后很多东西又解释不了他就大胆地预言应该还有一个例子没有发现后来果然通过实验发现了。他对这个公式当然也是非常的喜欢。也有一个很牛的物理学家费曼课讲的非常好有次大概因为开会这两个人费曼和狄拉克碰在一起了长时间的沉默之后狄拉克就冒了一句话“我有一个方程你有吗”估计费曼当时非常的郁闷。物理学家也好数学家也好独特的人是非常多的英文有个词叫 eccentric中文译为怪人在我们国家对 eccentric 好像没那么宽容西方文化对他们要宽容一些。罗素说“数学如果正确地看不但拥有真理而且也有至高的美。”罗素是数学家也是哲学家获得过诺贝尔奖文学奖。他所写的《西方哲学史》从一个哲学家的角度而非哲学史家的角度看待西方的哲学史那独特的视角、脉络清晰文笔也非常的流畅但又不乏幽默所以他对美的认知自然有非常广阔的背景。如果你觉得数学不美的话从某种意义上讲我不太建议你去学数学或者你至少培养了美感之后再去学数学。数学美的含义到底是什么这个问题提得多了之后我觉得就要想一想它到底什么内容后来我发现它大概有以下的内容形式上要清晰、简洁还有就是要简单、原创、新颖不新颖的话老生常谈不会有美的感觉还有就是很优美以及一个很重要的就是不同对象之间的联系这一点大家以前可能没有意识到其实是非常重要的。它的内涵必须要非常深刻、重要还有基本和蕴意丰富从这个基本的对象出发能解释很多其他的东西。它的证明要清晰、干净利落、巧妙。我们用一些例子来说明一下这些观点。第一个就是勾股定理勾三股四弦五我们常常理解起来就是 3^24^25^2 这样一个等式而已。但实际上它揭示了 3、4、5 这三个数的联系这是非常重要的。勾股定理我们知道三角形的直角边的平方和等于斜边的平方以前我们理解起来就是这两个边能够求出第三边其实这只是它价值很小的一部分更重要的是这三个边之间的联系。我国古代赵爽给了一个很漂亮的证明他把四个直角三角形拼起来得到一个大的正方形里面包含一个小的正方形比较一下面积就能够得到勾股定理的证明。这里你能感受到这个证明的清晰、干净、利落和巧妙和一种美感。定义的本身也是非常简洁优美的它的内涵是非常丰富的。比方说我们应用这个定理我们就知道平面上以原点为圆心、半径为 r 的方程它就是一个很漂亮的方程x^2y^2r^2。关于它的蕴意的丰富我们其实可以从这里提出很多的问题来这些问题在中学就可以让老师告诉学生但是一般老师好像并没有这样启发学生。比方说什么样的正整数能够成为直角三角形的边长这样的问题有趣但还不算太难。另一个问题如果边长都是整数它的直角三角形面积是不是也是整数这也比较简单。到了第三个问题你就会发现它是惊人的难如果直角三角形的边长都是有理数什么情况下它的面积是整数我们可以举一个例子3/2、20/3、41/6它是一个直角三角形的三个边长它的面积是 5。看起来这个问题好像不太简单这个问题其实已经有一千年的历史是古埃及人提出来的。157 就是这样一个整数以 157 为面积的最简单的有理直角三角形的三个边长大家可以看一下分子分母都会有 40 多位。大家可能想不到这里面会有这么复杂的数据在这里头你更想不到这个问题它会和 BSD 猜想联系在一起。BSD 猜想到目前为止谁也没能够证明它已有的结果离完全解决遥远得很因为它是关于椭圆曲线的一个问题也是克雷数学研究所几个千禧年的问题之一。换句话说如果你能够证明它能拿到 100 万美元也有着享誉全世界的学术声誉。我们前面提到过欧几里得的一个证明说素数有无穷多个。素数是一个数学的基本对象里面神秘的东西非常的多。欧几里得证明同样干净利落富有美感。假设这个结论不对只有有限个素数那我把这有限个素数乘起来再加 1那这个新的数 M前面 N 个素数都不会是它的因子。所以 M 的素因子就会和前面那 n 个素因子不一样这是一个矛盾所以素数有无穷多个这个定理就非常完美的被证明好像就没什么事情可以做了。但数学家他从来都不会这样考虑问题就像庞加莱所说“我们从来没有完全理解过一个问题我们只是对这个问题理解的更深了一点、更多了一点。”素数看起来很容易明白但可能是数学里面最神秘、最难以琢磨的一个对象。你会有很多问题接二连三的产生比方说素数在自然数中间占有多大的比例这个问题很难回答你可以把它变得更容易琢磨一点就 1 到 N 之间有多少个素数这个问题到现在为止没有一个人能够回答。关于素数有无穷多个后来欧拉有个更好的证明欧拉的证明对数学产生了一个巨大的影响包括产生了欧拉函数Euler totient function等等今天我们不会有时间谈这些。还有一个看上去非常简单的问题——哥德巴赫猜想每个大于 2 的偶数都是两个素数的和比方说 6 可以写成 3320 可以写成 137 等等但是谁也没有能够证明这个结果。到目前为止最好的结果还是四、五十年前我国数学家陈景润做的他证明了“12”它的含义就是充分大的偶数都能够写成一个数字加上另一个数另一个数的素因子不超过两个。陈景润的这项工作随着徐迟的报告文献传遍我国大江南北敬仰、爱慕的信件如雪片般的飞过来这个盛况后来再也没有出现过。徐迟报告文献的副产品就是大家都知道数学家连 11 都弄不清楚原来 11 还是这么高深的数学。曾有人和我说起陈景润的工作他是完全从字面上来理解“12”的。我试图给他解释陈景润工作中“12”的含义他听后斜看了我一眼说我不懂。我当时无语觉得做科普还是很不容易的同时也发现人们是多么的执着于自己不合事实的理解可能这和他的自尊心、心智安全感也是分不开的。另一个看起来简单的问题就是卵生素数猜想比如 3 和 541 和 43他们都是相差 2 的素数对。它的问题是这样的素数对有没有无限多个2013 年华裔数学家张益唐在这个问题上取得巨大的突破他证明了存在无穷多对素数每一对素数的差都不超过 7000 万。张益唐结果哄动一时他本人在逆境中也保持对理想追求的故事也是非常立志的他感动了世界。讲到数学美的时候我们还可以提一个例子前面提到过根号 2 不是有理数我们可以给一个很严格的证明。假设这个结论不正确它是两个整数的比xa/b我们可以要求分子分母没有公因子那么去分母之后得到 xba。然后做平方得到 x^2b^2a^2从而就是 2b^2a^2所以 a 肯定是偶数。然后再把 2b^2a^2 代进去之后会得到 b 也是偶数这样就会有一个矛盾了所以这个假设是错的所以它必然是一个无理数。我们在小学的时候都学过圆也知道圆周率π大家都计算过圆周求面积等等不过好像没有想过圆周率这个数是不是有理数或者无理数这里反应一个问题就是我们提问题的能力是比较弱的。不知道大家注意到没有很多的问题都是外国人提出来的我们自己提的问题或者我们自己开创的理论是比较少的这其实反应出来我们思维上的一个局限愿意跟随而不愿意开创。π 这个数不仅是一个无理数而且还是个非常无理的数它是一个超越数。这个事情到 1882 年才由林德曼证明他也证明了古希腊的画圆为方的问题是不可能的。我们前面谈的美基本上都是思维和逻辑的美其实数学里面当然也不缺少形美毕竟形是数学研究的对象形里面充满了更为感知的美。这两个图像来自于极小曲面与分形几何分形几何是研究海岸线发现的后来成为一个很漂亮的应用数学分子在细胞分裂的研究中也有应用。极小曲面很漂亮也很有用。就如同他们证明正质量猜想的时候极小曲面就是很关键的工具。 左右滑动见更多 还有动力系统动力系统大家知道跟浑沌是有关的两个天体之间的运动轨迹通过万有引力就可以确定但三体运动这个事情就变得比较复杂了当时瑞典皇家科学院提出这个问题要求把这个问题搞清楚。对这个问题庞加莱做了创新性的工作他刚开始的论文获奖但有严重的错误后来更正了。数学动力系统就从那里产生他发现这个问题非常的不简单存在多种情况。动力系统过去几年在数学里面是非常活跃的好几位数学家因为动力系统的工作拿了菲尔兹奖包括 C.T.Mcmullen包括两年前去世的一位女数学家米尔扎哈尼Maryam Mirzakhani这是目前唯一一位拿菲尔兹奖的女数学家她也是 C.T.Mcmullen 的学生是个伊朗人很可惜。去世的还有一位数学家就是弗拉基米德·福沃特斯基。动力系统在直观上来讲是非常简单的一个微小的初始变幻可以带来巨大的结果上的差别。在气象学里面有一个很形象的说法在巴西雨林里面的一个蝴蝶抖一下翅膀纽约可能就会下一场大雨。 左右滑动见更多 右边这个图形是一个卡拉比丘流行这应该是丘成桐最有名的工作他证明了卡拉比猜想。卡拉比当时猜想有一类流行丘成桐试图去证明这个猜想后来他发现这个猜想可能是错的就去证明这个猜想是错的然后就在一个会上做报告。做完报告后台下的听众觉得他讲的很有道理所以也就对这个猜想不再关心了。卡拉比也正好在台下听完报告回去后觉得哪个地方不太明白就让丘成桐再解释一下。丘成桐当然要试图解释这个疑问但是一个星期过去之后好像没办法解释两个星期过去了也没解释了后来意识到他做错了。换句话说丘成桐先生也有窘迫的时候。这其实告诉我们每个人都有可能出错包括伟大的数学家。很多老师可能在上课的时候都有卡住的情况但“牛人”的做法一般人可能未必做得到比方说大数学家希尔伯特在讲课的时候也会突然卡住愣在台上他愣一下后会转过身来对学生说“啊这显然的你们自己去证吧”丘成桐意识到自己最初对卡拉比猜想工作有错误之后他就朝另一个方向努力再次证明这个猜想过了三年终于把这个猜想证明了。因为这个工作和正质量猜想的工作后来他拿了菲尔兹奖。他的这个工作的影响在数学里面是非常大的丘成桐先生是几何分析这个方向一位非常重要的创始人。不但如此这类流形在物理中间也非常重要人们发现在弦的里面正好需要这样一个空间所以他在物理界里面也是名动江湖。数学家对美是非常有热情的很多东西不美的话他不会追求。当然数学家也是一群有特殊天赋的人他的个性也是多种多样的。维纳控制论的创始人也是一位杰出的数学家他在上世纪 30 年代访问过中国对华罗庚非常欣赏。有一天他要搬家了到一个新地方可他对于这种事情不上心。他的家人老早就告诉他当天还给了他一张新地址的纸条让他这一天一定回到新的家里。但他回家的时候把纸条弄丢了习惯地回到老地方却发现家不见了。他看见一个女孩就问“对不起也许你认识我我是诺伯特.韦纳我们刚搬家你知道我们搬到哪儿去了吗”那女孩非常愉快的回答说“是的爸爸妈妈就知道你会忘记的”。德林才气过人因为证明了韦伊猜想获得了菲尔兹奖。他说“能否做数学难题只是心理问题。”这颇有点“说我行我就行说我不行我就不行”的味道。这个说法也呼应了一个广为流传的真假莫辩的故事。说某个很牛的大学里面有一天也许因为天气不好班上一位非常杰出的学生就迟到了。他到了一看课已经结束了黑板上只留了一些题目这位学生是非常优秀的学生就当作课后作业拿回去做了。做的过程中他发现这些题挺难的花了一个星期时间只做出来其中的六道然后他就有点狼狈的拿给教授说“真是抱歉这题目有点难我只做出六道”。教授毫无疑问的感到震惊“什么你把这些给解决掉了这些都是我们这个领域里面大家正在努力解决的难题”这个学生感到非常吃惊。所以做数学有时候是个心理问题你觉得它是个作业的话大概就能把它做出来如果觉得它是个难题很可能就做不出来。有点糟糕的是这个学生后来再也没有做出更好的工作他当了系主任之后这样说“我们是这样选系主任的谁不能做研究的话我们就选他当系主任。”匈牙利数学家厄尔迪斯是有传奇色彩的他无固定的居所总在旅行到一处就与那儿的数学家合作所以合作的数量惊人。他认为“数学家就是把咖啡变成定理的装置。”西格尔是第一届沃尔夫奖的得主非常聪明也很努力。小平邦彦杰出的日本数学家他在上个世纪 50 年代就拿了菲尔兹奖他常说自己天资不好做事一丝不苟全身心的投入第一次学范德瓦尔登的《代数学》时什么也没看明白看不明白怎么办他就抄一直抄到明白为止。我想有他这样的劲头的话没有什么学不明白。数学家经常犯错我们刚才提到丘成桐先生也会犯错误。对这个犯错来讲有些错误是好的有些不太好。丘成桐犯的错误就是个好的错误最后导致了问题的解决。一位数学家这样评价他的一位同事“他犯了很多错误但都是朝着好的方向犯的。我试着这样做但发现犯好的错误是很困难的。”开尔文大家知道开氏温度他是这样评价数学家的他说“数学家就是这样的人他觉得下面这个公式是很显然的。”如果你也觉得这个公式显然的话呢你们就会是数学家。他说刘维尔就是一个数学家。刘维尔还办了一个非常高水平的杂志刘维尔杂志。笛卡儿是数学家也是哲学家。数学上他创立了《解析几何》哲学上他提出“我思故我在”引起人们对意识与存在的关系的一个审视。有一个传言说他与瑞典公主克里斯蒂娜恋爱文字传情会被皇室审查受阻于是他就用了一个极坐标方程表达他的爱情。幸好那个女孩也是对数学非常明白的一个人她把这个方程转化成一个心型从而明白了笛卡儿的心意。这么说来数学不仅是描写大自然的语言也是描写爱情的语言。我说完了我的报告谢谢大家QA问学数学的出路何在、以后可以干什么、要是不转行一直留在数学专业的话有什么经验之谈答我想有迷茫是非常正常的但其实在报告里面也讲到了数学是现实的一个核心把这个核心都掌握了的话我想将来的出路是非常宽广的。你现在最重要的事情就是把数学学好如果不转行一直留在数学这个专业里根据自己的兴趣如果愿意做研究就做研究如果愿意做应用可以做应用它的整个的就业前景是非常广泛的。其实过去很多年来在美国学数学的职业前景一直都是排在前十的很多年都是排在第一位数学的就业是不用担心的。更重要的是第一把自己的功课学好第二找到自己的兴趣所在是愿意做学术、还是愿意解决实际的问题等等。可以通过自己不断地探索同时也可以跟老师探索、跟同学探索到底哪个地方自己真正有兴趣探索清楚这样一件事情我想方向也就明确了。问能否讲讲群环域这些代数结构的发展背景并给一些学习上的建议答抽象代数的发展应是 20 世纪初有一本比较好的数学史的书能够帮助你了解它的历史就是克莱因写的《古今数学思想》。在学习中你要重视了解的是抽象与具体的联系要知道群的产生跟解方程是密不可分的它实际上是产生于一些很具体的对象。在数论里面也有很多群的概念包括交换群同于能够产生有限环等等。所以你一定要理解抽象与具体的联系对每一个抽象的概念包括重要的定理应该尽可能的用很多具体的例子来帮助你理解。一旦把抽象和具体的联系关系处理好近世代数里面所有的抽象就变得内容丰富了而通过具体的例子也能够帮你了解、思考、提出问题以及把握中间的真正实质。问请问应该如何结合数学的意义在数学教学中去发展学生对数学的学习兴趣呢或者对数学教学进行优化答这应该是一个非常普遍的问题不仅中国存在这个问题世界上其他地方也存在这个问题。我想这并没有一般的灵丹妙药数学里面有很多有趣的东西必须针对具体学生的领悟程度等通过适当的方式把它们展现出来。数学的一个特点是抽象但它的抽象包含了很多实际的内容用这些实际的内容来展示数学比方说之前提到的数学的形美可以通过画一个漂亮的椭圆来展示就直观上让学生感受到很多有趣的东西通过慢慢给他们这些直观的感受使他们能感到有趣。我想经过努力他们会感到数学是非常有意思的并且愿意学下去但是到底能学到哪一步还是因人而异的。问如何看待数学天赋基本功与数学成果的关系答从这个网友的名字来看他对 Andrew Wiles 是非常敬仰的。那么其实 Andrew Wiles 的故事就能够给他很多启发首先 Andrew Wiles 当然很有天赋他在很小的时候在童年的时候对费马大定理就非常的有兴趣所以兴趣和天赋对于数学来讲是需要的。但是 Andrew Wiles 是非常努力的一个人当他感到他能做出某项研究来的时候就有几年的时间其中就没有做过其他事情其他的活动尽可能少的参与。没有一个很好的基本功要做很好的数学是不可能的一件事情。但是怎么样把基本功打好这也并不是一件很容易的事情。除了自己努力学以外很多东西必须要很好的老师给你指点让你明白这个枯燥的东西背后的本质是什么。所以既要有天赋也要努力再加上优秀的老师指点的话最后取得优秀的数学成果是顺理成章的一件事情水到渠成。问现在在上研究生但感觉一直游离在数学的边缘就像接触了一个物体只知道这个物体重要现实也很多地方用到它却不知道内部是怎样的。如何才能真正进入到数学的领域怎么样的状态才算是真正进入数学领域答我想这位同学这个感觉非常的好他至少知道自己没有弄明白东西这就给他一个提升的空间。如果他觉得弄明白的话这可能是更糟糕的事情。既然觉得没弄明白就表明他还可以继续努力。他需要把这个问题具体化比方说觉得看书看不懂哪里不懂必须要弄明白必须要跟老师、跟别人来交谈。对于哪一本具体的书哪个具体的问题不懂如果仅仅是空泛谈不懂的话是解决不了问题的。必须把这个问题落实到某个具体一旦他在某个地方突破了这个障碍之后我想他可能对整个数学的感受就完全不一样了。把一个让他最最苦恼不明白的一本书拿出来这本书里面到底是哪个地方不明白不明白在什么地方通过仔细跟人讨论把这个不明白的问题给明确下来。很多时候这就是个探索的过程就像庞加莱说的“其实我们从来就没弄明白过一件事情只是我们不断的加深理解。”所以没有弄明白这个事情很正常需要不断地探索可以自己探索、看书、跟别人讨论但一定要把自己在哪个地方不明白弄清楚如果自己在哪个地方都不明白的话那就说明你还要在搞清楚不明白哪个问题这件事情上花更多的时间。问学高等代数的时候是很久以前了没有机会读“基础代数”不过听说还没有第三卷什么时候出版呀高等代数没学好所有东西用起来感觉都是镜里观花很机械。怎样能把代数学好用好答第一个问题比较简单第三卷已经送到出版社去了应该在 9 月份左右(出版我希望它 9 月份能够出来。那高等代数没有学好呢有几个原因第一个可能用的教材不够好第二个可能老师教的不够好。他需要理解高等代数里面最本质的东西是什么其实高等代数里面最重要的一点它是从解方程这里发展起来的表面上看起来通过消元法可以解出所有的方程但事实上你发现变量的个数一大之后这个办法肯定是不管用的。那在这个时候对这个方程来讲它就有很多内在的结构包括系数矩阵的秩增广矩阵的秩等等这个秩就反应这个方程可解不可解。还有你做消元法的时候你发现是对它们系数作些运算这里面产生向量空间方程的关系实际就是向量之间的线性组合、线性关系、相关无关等等。还有就是矩阵你抓住了线性方程以及相关的概念之后呢你发现很多东西应该都是比较容易理解的它的目的还是解方程。那么你发展的很多东西反过来一方面是数学理论拓展了这个空间一方面它也对这个线性方程达到一个更深的理解。这个也是不断深入、不断交替的过程已经有了线性空间之后包括欧式空间里面包括各种各样变换产生的群就会变得更为丰富应用更为广泛。这个欧式空间里面这个距离最后的话对无解的方程可以有最小二乘法等等给出一个近似解。你发现通过解方程这样一个脉络下去理解高等代数的话很多东西都会变得比较容易理解不管是对方程也好对理论也好这个在我书里你多读几遍能够看得出来。未来智能实验室的主要工作包括建立AI智能系统智商评测体系开展世界人工智能智商评测开展互联网城市大脑研究计划构建互联网城市大脑技术和企业图谱为提升企业行业与城市的智能水平服务。每日推荐范围未来科技发展趋势的学习型文章。目前线上平台已收藏上千篇精华前沿科技文章和报告。 如果您对实验室的研究感兴趣欢迎加入未来智能实验室线上平台。扫描以下二维码或点击本文左下角“阅读原文”
