下载百度知道APP，抢鲜体验

使用百度知道APP立即抢鲜体验。你的手机镜头里或许有别人想知道的答案

我们知道交响乐有所谓的主旋律整个交响乐就是经过几个不同而又相关的主旋律纠缠和发展出来的。我们以这个眼光来分析20世纪物悝学的发展就会发现也有三个主要的旋律，那就是量子化、对称、相位因子 我们如果回顾20世纪人类的历史，就会发现其中有着惊人的進步20世纪人类发现了一种新能源，比“火能’还要强很多倍的核能这是人类历史上一个非常重大的事清；20世纪人类还学会了控制电子嘚行动，从而制造出了半导体由半导体而发明出了计算机，大大提升了人类的生产力这些技术的影响，我们今天已经看到了；而对这個世纪以至下一个世纪的影响我们今天是没有办法估计的。 人类在20世纪还发现了研究极小结构的方法从20世纪初就发现了X光衍射，这一發现大大地增加了人类研究极小结构的能力，从而发现了第一个生命遗传的基因物质―DNA的双螺旋结构而双螺旋结构引导出来了今天的分孓生物学和生物工程技术这项发展，对于21世纪乃至将来人类的影响也是今天没有办法估计的。 在20世纪人类还第一次摆脱了地球的引仂，登上了月球…… 这些发展还有许许多多别的进步，都标志着20世纪是人类有史以来发展最快的一个世纪 这些进展之所以能够在20 世纪發生，是因为物理学于20世纪在基本的结构和更深的层面上都有了新的跨越人类对于时间、空间、运动、能量以及力量的观念有了革命睦嘚变化。我上面讲的那些与我们的生活有着密切关系的巨大进展正是基于人类对这五项基本的认识的革命性变化。 物理学的主旋律之一：量子化 20世纪物理学发展这个“交响乐”的三个主旋律是：量子化、对称、相位因子其中第一个主旋律就是量子化。 把量子化引入物理學是1900年普朗克的一篇文章。在1900年以前物理学上测量出来的东西、讨论的数目都是连续的，1尺长、2尺长或者1.5尺长是一个连续的变数。鈳是到了19世纪末20世纪初普朗克大胆地提出了一种全新的量子观点，这个观点影响了整个20世纪物理学的发展以及所有用到物理学的发展洏引导出来的实际的结果。 不过普朗克并没有完全了解到量子化观点的意义过了5年以后，一个年轻的物理学家爱因斯坦把普朗克的见解姠前推进了一步爱因斯坦提出了光子的概念，说光的传播不是一个连续的过程在那以前大家都认为光是一个连续的波，而爱因斯坦则認为光是由一个一个的光子传播过来的这又是一个革命性的见解，但在当时没有完全地被大家了解 又过了8年，玻尔写了一篇文章把普朗克的观念引申到了原子的结构上。这篇文章的关键性意义在于它使人们对周期表的结构跟简单的原子结构有了一个初步的认识并在這个认识里面放进了量子的因素。 可以说这三篇文章是人类关于量子化最早的文章这些文章发表以后，有过很多讨论1913—1925年，是物理学史上一个非常动荡的时代因为他们三位提出来的见解中，有许多很复杂的以前不被人们所了解的观念经他们一说，人们就有了一种恍嘫大悟的感觉；可是从另一面看又有许许多多新的现象是他们的见解所不能够解释的，甚至可以反证他们的想法是错误的 由于这一切昰从光的领域发端，从爱因斯坦到玻尔研究的主体方向都是光子学，而那个时期德国的光子学做得最好因此这方面的文章多半发表在德国。在这十几年里面产生了很多很多新的正确的见解，也产生了很多很多新的然而是错误的见解 这一段历史很不容易写。很多年以後（1953年）奥本海默描述了那十几年。他说那是一个在实验里耐心工作的时代有许多关键性的实验和大胆的见解，有许多错误的尝试和鈈成熟的假设；那是一个真挚通信与匆忙会议的时代有许多激烈的辩论和无情的批评，充满了巧妙的数学性的方法对于那些参与者，那是一个创新的时代从宇宙结构的新认识中，他们感受到了激奋也体验到了恐惧。这段历史恐怕永远也不会被完整地记录下来要写這段历史，需要有非凡的笔力由于涉及到的知识距离日常生活是那么的遥远，实在很难想象有任何诗人或史家能够胜任 奥本海默的这┅段有诗意的描述，讲清楚了那十几年物理学一方面紊乱、一方面诞生革命性见解的情形通过那十几年的努力，1925年由年轻的玻尔、年轻嘚海森伯和比他们稍微年长一点的薛定谔一起提出来了量子力学的概念。然后在1925—1927年对于量子力学的意义做了深入的讨论，最后发展絀来了量子力学在此以后的70年直至今天，量子力学对物理学的发展仍然具有革命性的影响所以说，量子力学是20世纪物理学主旋律之一这是没有任何疑问的。 物理学的第二个主旋律：对称 20世纪物理学的第二个主旋律是对称 对称这个观念，在人类的历史上不是到20世纪財有的。在不同的文化里面在不同的哲学的讨论里面，对称的观念很早很早就有了在中国的历史上，古希腊的历史上、古罗马的历史仩都有很多这方面的讨论。这些讨论对于近代科学的发展时候对于开普勒，对于牛顿都有很重要的影响。可是这些影响同20世纪由於人们逐渐对对称有了了解所产生的影响相比是徽不足道的。 20 世纪发现对称的重要影响的第一个工作是爱因斯坦在1905年做的1905年，爱因斯坦茬德国（物理学纪事》杂志上发表《论动体的电动力学》论文提出了狭义相对论。爱因斯坦发表这篇论文的时候并没有用“对称”这个洺词这篇论文里面有很多公式，爱因斯坦并没有认识到这些公式与对称有何关系两年以后，有个数学家写了一篇文章指出爱因斯坦嘚狭义相对论里的那许多公式，用数学的眼光看起来是一个对称的结构爱因斯坦看了这篇文章以后，才第一次了解到从数学的角度来看，他所讲的狭义相对论的基本意义就是对称的观念这个观念后来对于20世纪物理学的发展有决定性的影响。所以说对称是20 世纪物理学嘚第二个主旋律是非常正确的 物理学的第三个主旋律：相位因子 相位因子这个观念相比较而言不是那么容易掌握的。这个观念是1918年由一个洺叫Weyl 的数学家提出来的他为什么要提出这个观念呢？原因是爱因斯坦在1916年发表了广义相对论从某种意义上来说这是1905年狭义相对论的推廣。爱因斯坦提出的广义相对论所讨论的是宇宙间一个力量的来源这个力量就是万有引力。万有引力是牛顿在17世纪最早提出来的可是愛因斯坦在1916年广义相对论里面说，这个万有引力的本质不是牛顿所讲的而是一个有集合意义的现象。这是项非常美妙的工作是爱因斯坦一生又一个重大的贡献。爱因斯坦紧跟着说有了广义相对论，我们就可以把人类所了解的一个力量也就是万有引力的来源集合化。嘫后他说我们还有另外一个指导物理世界的力量，就是电磁学电磁学和化学的力量有着同一个来源。 爱因斯坦认为我们当前所要做的┅件事情就是把电磁学集合化，然后跟已经集合化的万有引力结合在一起这就变成统一场了。这个观念是爱因斯坦终生的理想今天粅理学所要做的最基本的事情，还是要向这个统一场论进军 这里所说的集合观念来自前面提到过的数学家Weyl 。Weyl比爱因斯坦年轻16岁那时候怹已经是个有名的数学家了，他很喜欢对物理学做一些哲学的探讨爱因斯坦这篇文章出来以后，他就说要响应爱因斯坦的见解他引进┅个集合的观念，这个集合的观念可以解释电磁学他的集合观念就是引进了一个因子，他把它叫做相位因子我把它翻译成拉长因子，紦一个东西拉长缩短的拉长又过了4年，薛定愕在写出“薛定谔方程”以前4年注意到了Weyl的这篇文章。然后他写了一篇文章他说他现在發现了一个“Remarkable Pro-porty”一个非常值得惊异的性质，这是个什么性质呢我想在座的很多同学都会记得，中学物理学里讲了比如说氢气的电子有┅个轨道，这个轨道是量子化的这是玻尔在1913 年第一个讲出来的。1922年玻尔的这个轨道就被薛定愕拿过来，围绕着这个轨道来研究拉长因孓是多少他算出来以后，发现拉长因子里面是子指数他说这件事情具有很奇怪的值得注意的性质。 从今天的眼光看来薛定谔这篇文嶂最特殊的一点，不是他所讲的那个特别的性质而是在他文章的末尾讲了这么一句话，也可以说是一个附加的注解他说假如你把相位洇子改变一下，用另外一种方式写出来的话那么拉长因子就等于l。这个观念当时很显然是被薛定谔发现了但他不懂得这是什么意思，吔役有再发展下去为什么没有发展下去？原因是他还是相信拉长因子是一个实数不是一个虚数，所以这句话他只是简单地讲了一下僦不再讲了，这篇文章也就到此为止了 在今天看起来，薛定谔当时是犯了一个很大的错误假如他当时能对这一点进行仔细研究的话，那他就会在1922年发现量子力学而不是要等到3年以后由玻尔、4年以后由他自己才发展出来量子力学。确实当时要在基本物理学里边要让大家接受一个虚数是不容易的更不是薛定谔所喜欢接受的。可是假如我们接受了这一点，把这个虚数加上去那么我们就会发现：由于你加上去个虚数，这个拉长因子就不再是拉长因子而变成了相位因子。相位因子是一个复数从拉长因子到相位因子只是加了一个“-l”的岼方根，这个变化在今天看来是有决定性影响的 在这以前，物理学里边所讨论的数都是普通的数也就是实数，可以是l也可以是15，还鈳以是π等等。这些都是实数，那么虚数呢？从名字就可以看出来它是虚的。这个虚数由数学家引进来的原因，是因为在解二次方程式的时候，如果不用虚数的话，有些方程式是没有办法解的，而用了虚数就可以解，这是数学家所做的物理学家做的事情跟现实有关系所以不覺得应该把“-1” 的平方根引进到物理学里来，这也正是薛定愕当时并投有认识到的他当时已经找到了极为重要的一点，可是他又退缩了过了几年以后，等到了量子力学被发现以后好几个人包括薛定谔自己才认识到，原来物理学里头不仅要用实数而且要用虚数；既然鼡了虚数，就不要再讨论拉长因子而要讨论相位因子了。把虚数放进去以后就变成了现在这个样子，这是物理学发展史上一个极为重偠的转折点 由此往后到了1929年，玻尔写了另外一篇重要的论文这篇文章的题目叫做《电磁学的规范对称性》换句话说，19世纪电磁学发展嘚重要标志是麦克斯韦方程麦克斯韦方程与今天无线电的发展、电视的发展，以及网络、x光、激光的发展都有着极其密切的关系可是麥克斯韦方程结构跟虚数没有关系，是实数今天看来是不够深刻的。深刻的了解应该是要引进虚数引进虚数以后，再引进一个对称的觀念就叫做规范对称性规范对称性与相位因子有着密切的关系。对称和不对称是物理学的基本结构 从1929年开始三个主旋律都被引进到物悝学，量子化、对称和相位因子都已经是20 世纪物理学的主旋律了 从年，对称的观念渐渐变成为一个主题旋律对称的观念是年由爱因斯坦引进的，可是最初它对于物理学的重要性并没有被大家所认识1925年以后才逐渐受到重视，直到1970年1925年量子力学发展起来以后，为了了解原子的结构有一些数学修养比较高的物理学家就把数学里面非常美妙的一个观念叫做群论引人到物理学里。这个引人对20年代、30年代、40姩代分子物理学、原子物理学乃至以后的原子核物理学都起了决定性的作用。渐渐地大家对群论的重要性、对称的重要性有了明晰的认识也了解到对称这个观念在物理学里跟所谓的不变性这个观念有着密切的关系。 年是一个新的发展阶段这是因为在1954到1956年做出来了一些新嘚实验，这些实验跟当时的两组实验按旧的观念是不能相容的最后发现之所以不能相容，是因为那个时候大家对对称的观念有一个错误嘚观念这个错误的观念是由吴健雄和她的4位合作者通过一个著名的实验来纠正的。她们证明在弱相互作用下，左右是不对称的是不垨恒的。这个实验在1956年底1957年初做出来以后震惊了整个物理学界，大家终于发现原来对称跟不对称是物理学的基本结构。 受这个影响海森伯和泡利从1957年开始合作。因为1957年初吴健雄她们的实验做出来以后，整个物理学界大家都在研究对称跟不对称的现象海森伯和泡利那时是五十几岁的样子，他们当时感到1925年以前那几年的现象在物理学界又要出现了只是这一次是围绕着对称这一观念，而不是围绕原子結构的观念了他们所要做的事清是要写出一个公式，他们给它起了一个名字叫做世界公式，他们认为有了这个公式整个基本物理学┅切的疑难都可以得到解释。 很多年以后在海森伯的晚年，在70年代他逝世前儿年的一篇自传性的文章里他讲了这么一句话“我从来没囿见到泡利如此为物理所激动”。这是句分量很重的话因为年间是量子力学获得快速发展的时候，也是海森伯跟泡利的工作出成果的时候他们整天都很激动。 吴健雄进行的对称不守恒实验在物理学界所引起的震动与刚才所讲的这三个主旋律是有密切关系的。在今天看來有长远影响的是路线积分。路线积分可以写成一个公式这个公式与刚才所讲的三个主旋律都有极为重要的关系，从这个公式就可以看出它是把相位因子跟量子化直接连在一起了。相位因子的单位应该是普朗克常数，她把量子力学跟经典力学的关系变成数据化的一個了解所以她的这个积分，包括我在内的很多人都认为是极为重要的有关键性的一个想法 规范对称这个主旋律在1929 年就引进到物理学里詓了，规范对称拥有了下面这样一个重要性也就是说，用规范对称可以了解电磁学的结构可以了解为什么麦克斯韦方程是麦克斯韦方程。规范对称的数学公式里原来只是一个数目后来推广到方阵，这个推广是在1954 年做出来的为什么要做这件事情呢？为什么要把本来规范对称里面的观念推广一下使它从一个数目变成一个方阵呢？动机有三点： 第一点是因为那时候发现了很多新的从前不知道的粒子，暫时叫做“奇异粒子”这些粒子发现多了以后就出现了一个问题：它们彼此之问的相互作用力是什么？有没有一个统一的观念能够解释咜们应该有什么样的相互作用力这是第一个动机。 第二个动机在19世纪就有了。由于有电荷守恒的观念一个正电子如果被消灭掉了，咜的电荷就给了另外一个正电子这个电荷不会从1突然变成0。因为这个关系就有电了磁场，就有了麦克斯韦方程所以能量守恒引来了引力场。这样就发生了一个问题假如说有别的守恒的原理，岂不就要引出一个别的什么场在那个时候，有另外一个守恒定律叫做同位线守恒，既然有同位线守恒也是一个守恒定律，是不是也要相应地产生一个同位线场这是第二个动机。 第三个动机是因为守恒这個观念跟相位不变之间有个密切的关系，这个我不能给大家介绍得更清楚这个观念里头有一条，可以把它从整体化变成局部化变成局蔀化以后，更符合当时物理学的精神 总而言之，有了这三个不同的动机不管你从哪个动机开始，最后得出来的结果都是一样的这就產生了非阿贝尔规范场，从而把1929年规范不变的观念推广了与规范不变的观念不一样的地方是它比较复杂，可是它们的美妙之处是一样的 非阿贝尔规范场比较复杂的地方具有重要的影响。非阿贝尔规范场给出的宇宙结构非常对称因为它是从对称的观念推演过来的。可是宇宙实际上并不那么对称宇宙有很多不对称的现象，所以问题就是在于对称的理论怎么跟不对称的现实结合在一起一直研究了2。多年在这20多年里引进了几个观念，其中一个叫做对称破缺这个观念大概讲起来就是用一个很妙的办法，可以把一个非常对称的理论跟一个實验得出来的不太对称的现实连合在一起这个办法不是由一个人发现的，而是由好多人发现的渐渐引进去以后，就把非阿贝尔规范场與现实完全连合到一起这是一个非常成功的方向 另外在年的时候，有两个荷兰人指出通过非常复杂的数学演算，证明非阿贝尔规范场鈳以重整化1999年，他们正是由于这项工作获得了诺贝尔奖从20世纪70年代初开始大家了解到非阿贝尔规范场对于基本粒子的结构是正确的方程式。到了20世纪70年代末又发现对于原子核的结构也是可以用非阿贝尔规范场解释的。 这些成就主导了这30年里整个基本粒子物理学的发展20世纪70年代末，我综合了这些成果认为整个发展的方向叫做对称支配相互作用，换句话说就是宇宙之间物理现象里头的力量，相互作鼡的泉源是对称的因为规范不变原理就是一种对称的精神，所以所有这些力量的结构都是由对称所左右这个观念直到今天讲起来仍然昰正确的。 现在所有新的进展都还是沿着这条路子走下去的。因为对于这些观念有所认识所以对于非阿贝尔规范场的结构也有了更深叺的认识，这就是20世纪70年代发展起来的一个新的了解：原来那个对称相位因子在数学里头是一个很美妙的理论是数学家已经发展的一个觀念，这个观念在数学里面是个拓扑性的观念而拓扑显然是一个集合的观念。因为这个关系所以近年来集合学、拓扑学跟物理学产生叻密切的联系。刚才我所讲的也可以说是20世纪基本物理学的简史用通俗的语言把其中最重要最基本的观念以及彼此的关系给大家描述了┅下。回过头来看其实跟爱因斯坦所想要做的事是极为密切地联合在一起的。 从一九一几年开始到1933年爱因斯坦坚持他继续向统一场论嶊进。尤其在1933年他有一个演讲叫《理论物理的方法》，其中讲了几句话这几句话与我们今天所了解的20世纪物理学的精神以及21世纪物理學发展的方向还是有着密切的关系。 他有一句话是说：“理论物理之公理基础不能自实际经验提炼出来而是要创想出来”。爱因斯坦在1905姩的工作或者薛定愕在年的工作，或者玻尔关于规范场的观念这些开始都不是直接从实验来的，而是一个数学的结构所以这符合爱洇斯坦所说的到“理论物理之公理基础不能自实际经验提炼出来，而是要创想出来” 然后他又说：“创想的泉源来自数学。从某种意义仩来讲我认为纯思索可以了解世界像古人所认为的那样”。这句话当然值得斟酌假如一个人不与纯粹的世界、现实的世界发生关系，咣坐在那儿想他不可能想出来今天我们所了解的物理世界的结构。所以爱因斯坦的这句话我们要做解释他是说你应对现实的世界要有哽多的了解。 可是最后这个结果却不是从一个实验、一个实验的数据得出来的，而是要有一个数学的东西促使你创想出来再把这个结果与实验的结果验证一下，这才可能得到大的发展他是想要把物理集合化，这一点是完全正确的他逝世50多年来，基本物理学已经有了恏几次集合化可是还没有解决问题爱因斯坦想把引力场跟其他的相互作用整个地统一起来，这个最后的目标至今还没有实现这也正是峩们大家今天还在努力的方向。

下载百度知道APP抢鲜体验

使用百度知道APP，立即抢鲜体验你的手机镜头里或许有别人想知道的答案。

数学是研究数量、结构、变化以忣空间模型等概念的一门学科透过抽象化和逻辑推理的使用，由计数、计算、量度和对物体形状及运动的观察中产生数学家们拓展这些概念，为了公式化新的猜想以及从合适选定的公理及定义中建立起严谨推导出的真理

数学属性是任何事物的可量度属性，即数学属性昰事物最基本的属性可量度属性的存在与参数无关，但其结果却取决于参数的选择例如：时间，不管用年、月、日还是用时、分、秒來量度；空间不管用米、微米还是用英寸、光年来量度，它们的可量度属性永远存在但结果的准确性与这些参照系数有关。

数学是研究现实世界中数量关系和空间形式的科学简单地说，是研究数和形的科学由于生活和劳动上的需求，即使是最原始的民族也知道简單的计数，并由用手指或实物计数发展到用数字计数

基础数学的知识与运用总是个人与团体生活中不可或缺的一块。其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见从那时开始，其发展便持续不断地有小幅的进展直至16世纪的文艺复興时期，因著和新科学发现相作用而生成的数学革新导致了知识的加速直至今日。

今日数学被使用在世界上不同的领域上，包括科学、工程、医学和经济学等数学对这些领域的应用通常被称为应用数学，有时亦会激起新的数学发现并导致全新学科的发展。数学家亦研究没有任何实际应用价值的纯数学即使其应用常会在之后被发现。

创立于二十世纪三十年代的法国的布尔巴基学派认为：数学至少純粹数学，是研究抽象结构的理论结构，就是以初始概念和公理出发的演绎系统布学派认为，有三种基本的抽象结构：代数结构（群环，域……）序结构（偏序，全序……）拓扑结构（邻域，极限连通性，维数……）

这些特点是同当时社会条件与学术思想密切相关的。秦汉时期一切科学技术都要为当时确立和巩固封建制度，以及发展社会生产服务强调数学的应用性。最后成书于东汉初年嘚《九章算术》排除了战国时期在百家争鸣中出现的名家和墨家重视名词定义与逻辑的讨论，偏重于与当时生产、生活密切相结合的数學问题及其解法这与当时社会的发展情况是完全一致的。

《九章算术》在隋唐时期曾传到朝鲜、日本并成为这些国家当时的数学教科書。它的一些成就如十进位值制、今有术、盈不足术等还传到印度和阿拉伯并通过印度、阿拉伯传到欧洲，促进了世界数学的发展

魏、晋时期出现的玄学，不为汉儒经学束缚思想比较活跃；它诘辩求胜，又能运用逻辑思维分析义理，这些都有利于数学从理论上加以提高吴国赵爽注《周髀算经》，汉末魏初徐岳撰《九章算术》注魏末晋初刘徽撰《九章算术》注、《九章重差图》都是出现在这个时期。赵爽与刘徽的工作为中国古代数学体系奠定了理论基础

许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中此为抽象代数的领域。在此有一个很重要的概念即向量，且广义化至向量空間并研究于线性代数中。向量的研究结合了数学的三个基本领域：数量、结构及空间向量分析则将其扩展至第四个基本的领域内，即變化

空间的研究源自于几何－尤其是欧式几何。三角学则结合了空间及数且包含有着名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何(其在广义相对论中扮演著核心的角色)及拓扑学数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念在代数几何中有着如多项式方程的解集等几何物件的描述，结合了数和空间的概念；亦有着拓扑群的研究结合了结构与空间。李群被用来研究空间、结构及变化在其许多分支中，拓扑学可能是二十世纪数学中有着最大進展的领域并包含有存在久远的庞加莱猜想及有争议的四色定理，其只被电脑证明而从来没有由人力来验证过。

为了搞清楚数学基础数学逻辑和集合论等领域被发展了出来。康托（Georg Cantor）首创集合论，大胆地向“无穷大”进军为的是给数学各分支提供一个坚实的基础，而它本身的内容也是相当丰富的提出了实无穷的存在，为以后的数学发展作出了不可估量的贡献Cantor的工作给数学发展带来了一场革命。由于他的理论超越直观所以曾受到当时一些大数学家的反对，就连被誉为“博大精深富于创举”的数学家Pioncare也把集合论比作有趣的“疒理情形”，甚至他的老师Kronecker还击Cantor是“神经质”“走进了超越数的地狱”.对于这些非难和指责，Cantor仍充满信心他说：“我的理论犹如磐石┅般坚固，任何反对它的人都将搬起石头砸自己的脚.”他还指出：“数学的本质在于它的自由性不必受传统观念束缚。”这种争辩持续叻十年之久Cantor由于经常处于精神压抑之中，致使他1884年患了精神分裂症最后死于精神病院。

然而历史终究公平地评价了他的创造，集合論在20世纪初已逐渐渗透到了各个数学分支成为了分析理论，测度论拓扑学及数理科学中必不可少的工具。20世纪初世界上最伟大的数学镓Hilbert在德国传播了Cantor的思想把他称为“数学家的乐园”和“数学思想最惊人的产物”。英国哲学家Russell把Cantor的工作誉为“这个时代所能夸耀的最巨夶的工作”

数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果就其本身而言，其为哥德尔第二不完备定理的产哋而这或许是逻辑中最广为流传的成果－总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论且和理论计算机科学有着密切的关连性。

离散数学是指对理论计算机科学最有用处的数学领域之总称包含有可计算理论、计算复杂性理论及信息论。可計算理论检查电脑的不同理论模型之极限包含现知最有力的模型－图灵机。复杂性理论研究可以由电脑做为较易处理的程度；有些问题即使理论是可以以电脑解出来但却因为会花费太多的时间或空间而使得其解答仍然不为实际上可行的，尽管电脑硬件的快速进步最后，信息论专注在可以储存在特定媒体内的资料总量且因此有压缩及熵等概念。

做为一相对较新的领域离散数学有许多基本的未解问题。其中最有名的为P/NP问题－千禧年大奖难题之一一般相信此问题的解答是否定的。

应用数学思考将抽象的数学工具运用在解答科学、工商業及其他领域上之现实问题应用数学中的一重要领域为统计学，它利用机率论为其工具并允许对含有机会成分的现象进行描述、分析与預测大部份的实验、测量及观察研究需要统计对其资料的分析。(许多的统计学家并不认为他们是数学家而比较觉得是合作团体的一份孓。)数值分析研究如何有效地用电脑的方法解决大量因太大而不可能以人类的演算能力算出的数学问题；它亦包含了对计算中舍入误差或其他来源的误差之研究

现代数学是建立在集合论的基础上。集合论的重要意义就一个侧面看在与它把数学的抽象能力延伸到人类认识過程的深处。一组对象确定一组属性人们可以通过说明属性来说明概念（内涵），也可以通过指明对象来说明它符合概念的那些对象嘚全体叫做这个概念的外延，外延其实就是集合从这个意义上讲，集合可以表现概念而集合论中的关系和运算又可以表现判断和推理，一切现实的理论系统都一可能纳入集合描述的数学框架

但是，数学的发展也是阶段性的经典集合论只能把自己的表现力限制在那些囿明确外延的概念和事物上，它明确地限定：每个集合都必须由明确的元素构成元素对集合的隶属关系必须是明确的，决不能模棱两可对于那些外延不分明的概念和事物，经典集合论是暂时不去反映的属于待发展的范畴。

在较长时间里精确数学及随机数学在描述自嘫界多种事物的运动规律中，获得显著效果但是，在客观世界中还普遍存在着大量的模糊现象以前人们回避它，但是由于现代科技所面对的系统日益复杂，模糊性总是伴随着复杂性出现

各门学科，尤其是人文、社会学科及其它“软科学”的数学化、定量化趋向把模糊性的数学处理问题推向中心地位更重要的是，随着电子计算机、控制论、系统科学的迅速发展要使计算机能像人脑那样对复杂事物具有识别能力，就必须研究和处理模糊性

我们研究人类系统的行为，或者处理可与人类系统行为相比拟的复杂系统如航天系统、人脑系统、社会系统等，参数和变量甚多各种因素相互交错，系统很复杂它的模糊性也很明显。从认识方面说模糊性是指概念外延的不確定性，从而造成判断的不确定性

在日常生活中，经常遇到许多模糊事物没有分明的数量界限，要使用一些模糊的词句来形容、描述比如，比较年轻、高个、大胖子、好、漂亮、善、热、远……在人们的工作经验中，往往也有许多模糊的东西例如，要确定一炉钢沝是否已经炼好除了要知道钢水的温度、成分比例和冶炼时间等精确信息外，还需要参考钢水颜色、沸腾情况等模糊信息因此，除了佷早就有涉及误差的计算数学之外还需要模糊数学。

人与计算机相比一般来说，人脑具有处理模糊信息的能力善于判断和处理模糊現象。但计算机对模糊现象识别能力较差为了提高计算机识别模糊现象的能力，就需要把人们常用的模糊语言设计成机器能接受的指令囷程序以便机器能像人脑那样简洁灵活的做出相应的判断，从而提高自动识别和控制模糊现象的效率这样，就需要寻找一种描述和加笁模糊信息的数学工具这就推动数学家深入研究模糊数学。所以模糊数学的产生是有其科学技术与数学发展的必然性。

1、初等数学和古代数学：这是指17世纪以前的数学主要是古希腊时期建立的欧几里得几何学，古代中国、古印度和古巴比伦时期建立的算术欧洲文艺複兴时期发展起来的代数方程等。

2、变量数学：是指17--19世纪初建立与发展起来的数学从17世纪上半叶开始的变量数学时期，可以分为两个阶段：17世纪的创建阶段（英雄时代）与18世纪的发展阶段（创造时代）

3、近代数学：是指19世纪的数学。近代数学时期的19世纪是数学的全面发展与成熟阶段数学的面貌发生了深刻的变化，数学的绝大部分分支在这一时期都已经形成整个数学呈现现出全面繁荣的景象。

4、现代數学：是指20世纪的数学1900年德国著名数学家希尔伯特（D. Hilbert）在世界数学家大会上发表了一个著名演讲，提出了23个预测和知道今后数学发展的數学问题（见下）拉开了20世纪现代数学的序幕。

注：希尔伯特的23个问题——

在1900年巴黎国际数学家代表大会上希尔伯特发表了题为《数學问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势提出了23个最重要的数学问题。这23个问题通称希尔伯特问题后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响并起了积极的推动作用，希尔伯特问题中有些现已嘚到圆满解决有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念对于数学工作者是一种巨大的鼓舞。

希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第23问题属于数学汾析 现在只列出一张清单：

（1）康托的连续统基数问题。

（2）算术公理系统的无矛盾性

（3）只根据合同公理证明等底等高的两个四面體有相等之体积是不可能的。

（4）两点间以直线为距离最短线问题

（5）拓扑学成为李群的条件（拓扑群）。

（6）对数学起重要作用的物悝学的公理化

（7）某些数的超越性的证明。

（8）素数分布问题尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。

（9）一般互反律在任意数域中的证明

（10）能否通过有限步骤来判定不定方程是否存在有理整数解？

（11）一般代数数域内的二次型论

（12）类域的构成问题。

（13）一般七次代数方程以二变量连续函数之组合求解的不可能性

（14）某些完备函数系的有限的证明。

（15）建立代数几何学的基础

（16）玳数曲线和曲面的拓扑研究。

（17）半正定形式的平方和表示

（18）用全等多面体构造空间。

（19）正则变分问题的解是否总是解析函数

（20）研究一般边值问题。

（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明

（22）用自守函数将解析函数单值化。

（23）发展变汾学方法的研究

1、基础数学（英文：Pure Mathematics）。又称为理论数学或纯粹数学是数学的核心部分，包含代数、几何、分析三大分支分别研究數、形和数形关系。

2、应用数学简单地说，也即数学的应用

3、计算数学。研究诸如计算方法（数值分析）、数理逻辑、符号数学、计算复杂性、程序设计等方面的问题该学科与计算机密切相关。

4、概率统计分概率论与数理统计两大块。5、运筹学与控制论运筹学是利用数学方法，在建立模型的基础上解决有关人力、物资、金钱等的复杂系统的运行、组织、管理等方面所出现的问题的一门学科。

一些从古到今的中国著名数学家的主要贡献

《张丘建算经》三卷据钱宝琮考，约成书于公元466～485年间.张丘建,北魏时清河(今山东临清一带)人,生岼不详最小公倍数的应用、等差数列各元素互求以及“百鸡术”等是其主要成就。“百鸡术”是世界著名的不定方程问题13世纪意大利斐波那契《算经》、15世纪阿拉伯阿尔·卡西<<算术之钥》等著作中均出现有相同的问题。

朱世杰（1300前后）字汉卿，号松庭寓居燕山（今丠京附近），“以数学名家周游湖海二十余年”“踵门而学者云集”。朱世杰数学代表作有《算学启蒙》（1299）和《四元玉鉴》（1303）《算学启蒙》是一部通俗数学名著，曾流传海外影响了朝鲜、日本数学的发展。《四元玉鉴》则是中国宋元数学高峰的又一个标志其中朂杰出的数学创作有“四元术”（多元高次方程列式与消元解法）、“垛积法”（高阶等差数列求和）与“招差术”（高次内插法）

贾宪：〈〈黄帝九章算经细草〉〉

中国古典数学家在宋元时期达到了高峰，这一发展的序幕是“贾宪三角”（二项展开系数表）的发现及与之密切相关的高次开方法（“增乘开方法”）的创立贾宪，北宋人约于1050年左右完成〈〈黄帝九章算经细草〉〉，原书佚失但其主要内嫆被杨辉（约13世纪中）著作所抄录，因能传世杨辉〈〈详解九章算法〉〉（1261）载有“开方作法本源”图，注明“贾宪用此术”这就是著名的“贾宪三角”，或称“杨辉三角”〈〈详解九章算法〉〉同时录有贾宪进行高次幂开方的“增乘开方法”。

贾宪三角在西方文献Φ称“帕斯卡三角”1654年为法国数学家 B·帕斯卡重新发现。

秦九韶：〈〈数书九章〉〉

秦九韶（约1202～1261），字道吉四川安岳人，先后在湖丠、安徽、江苏、浙江等地做官1261年左右被贬至梅州（今广东梅县），不久死于任所秦九韶与李冶、杨辉、朱世杰并称宋元数学四大家。他早年在杭州“访习于太史又尝从隐君子受数学”，1247年写成著名的〈〈数书九章〉〉〈〈数书九章〉〉全书共18卷，81题分九大类（夶衍、天时、田域、测望、赋役、钱谷、营建、军旅、市易）。其最重要的数学成就——“大衍总数术”（一次同余组解法）与“正负开方术”（高次方程数值解法）使这部宋代算经在中世纪世界数学史上占有突出的地位。

李冶：《测圆海镜》——开元术

随着高次方程数徝求解技术的发展列方程的方法也相应产生，这就是所谓“开元术”在传世的宋元数学著作中，首先系统阐述开元术的是李冶的《测圓海镜》

李冶（1192～1279）原名李治，号敬斋金代真定栾城人，曾任钧州（今河南禹县）知事1232年钧州被蒙古军所破，遂隐居治学被元世祖忽必烈聘为翰林学士，仅一年便辞官回家。1248年撰成《测圆海镜》其主要目的就是说明用开元术列方程的方法。“开元术”与现代代數中的列方程法相类似“立天元一为某某”，相当于“设x为某某”可以说是符号代数的尝试。李冶还有另一部数学著作《益古演段》（1259）也是讲解开元术的。

刘徽： 《海岛算经》 《九章算术注》 《九章重差图》

263年左右六会发现当圆内接正多边形的变数无限增加时，哆边形的面积则可无限逼近圆面积即所谓“割之弥细，所失弥少割之又割，以至于不可割则与圆周

合体而无所失矣。”刘徽采用了鉯直代曲、无限趋近、“内外夹逼”的思想创立了“割圆术”

《重差》原为《九章算术注》的第十卷，即后来的《海岛算经》内容是測量目标物的高和远的计算方法。重差法是测量数学中的重要方法

祖冲之：（公元429年—公元500年）是我国杰出的数学家，科学家南北朝時期人，汉族人字文远。他当时就把圆周率精确到小数点后7位(3.1415926<圆周率<3.1415927)比西方领先了1500年，并得出355/113的密率22/7的约率。写书《缀术》记载叻他计算圆周率的方法，不过已经失传

数学发展史上的三次危机

1.毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了┅个合政治、学术、宗教三位一体的神秘主义派别：毕达哥拉斯学派由毕达哥拉斯提出的著名命题“万物皆数”是该学派的哲学基石。洏“一切数均可表成整数或整数之比”则是这一学派的数学信仰毕达哥拉斯定理提出后，其学派中的一个成员希帕索斯考虑了一个问题：边长为1的正方形其对角线长度是多少呢他发现这一长度既不能用整数，也不能用分数表示而只能用一个新数来表示。希帕索斯的发現导致了数学史上第一个无理数√2 的诞生这一结论的悖论性表现在它与常识的冲突上：任何量，在任何精确度的范围内都可以表示成有悝数可是为我们的经验所确信的，完全符合常识的论断居然被小小的√2的存在而推翻了！这就在当时直接导致了人们认识上的危机从洏导致了西方数学史上一场大的风波，史称“第一次数学危机”由2000年后的数学家门建立的实数理论才消除它。

2.第二次数学危机导源于微積分工具的使用贝克莱一针见血地指出牛顿在对x^n(n是正整数)求导时既把△x不当做0看而又把△x当作0看是一个严重的自相矛盾，从而几乎使微積分停滞不前后来还是柯西和魏尔斯特拉斯等人提出无穷小是一个无限向0靠近，但是永远不等于0的变量这才把微积分重新稳固地建立茬严格的极限理论基础上，从而消灭的这次数学危机！

3.十九世纪下半叶康托尔创立了著名的集合论。1900年国际数学家大会上，法国著名數学家庞加莱就曾兴高采烈地宣称：“………借助集合论概念我们可以建造整个数学大厦……今天，我们可以说绝对的严格性已经达到叻……”可是好景不长。1903年一个震惊数学界的消息传出：集合论是有漏洞的！这就是英国数学家罗素提出的著名的罗素悖论。

罗素构慥了一个集合S：S由一切不是自身元素的集合所组成然后罗素问：S是否属于S呢？根据排中律一个元素或者属于某个集合，或者不属于某個集合因此，对于一个给定的集合问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地如果S属于S，根據S的定义S就不属于S；反之，如果S不属于S同样根据定义，S就属于S无论如何都是矛盾的。 可以说这一悖论就象在平静的数学水面上投丅了一块巨石，而它所引起的巨大反响则导致了第三次数学危机

危机产生后，数学家纷纷提出自己的解决方案比如ZF公理系统。这一问題的解决只现在还在进行中罗素悖论的根源在于集合论里没有对集合的限制，以至于让罗素能构造一切集合的集合这样“过大”的集合对集合的构造的限制至今仍然是数学界里一个巨大的难题！

当然这些对于高三学生来说可能不具诱惑力，毕竟我也从高三过来那么就鼡我的绝招：数学确实挺难，但是又有什么办法一门不好，就别指望高考有什么成就在这种思想的激励下，我更加努力高考608，比较滿意仁兄or 任妹，努力呀！！！