谈数学职业.pptx

谈数学职业张恭庆一、前言上个世纪50年代，数学通报[1]刊登了苏联数学家柯尔莫哥洛夫的“论数学职业”的译文。我上大学时，这是我们“专业教育”的材料。对于我们这代学数学的人产生了很大的影响。然而半个多世纪过去了，数学的面貌发生了很大的变化，数学的职业也多样化了。2009年的《华尔街日报》上，发表了一篇文章[2]，其中附有一张由CareerC制作的，以工作环境、收入、就业前景、体力要求、体力强度为指标的职业排行榜。在这排行榜中，数学家荣登榜首，保险精算师和统计学家分列第二和第三，后面是生物学家、软件工程师、计算机系统分析员等等。从这5个指标来看，数学家的收入不算很高，但综合起来还排在第一，可见在其它方面占有优势。二、数学和它的基本特征什么是数学？从中学起，我们就知道数学是研究“空间形式”和“数量关系”的学科。数量关系，简称为“数”，空间形式简称为“形”；“数”的对象比如说自然数、复数、向量、矩阵、函数、概率等，“形”的对象比如说曲线、图、空间、流形等。数学实际上是一门形式科学，它研究的是抽象元素之间的“关系”和“运算法则”。这些“相互关系”和“运算法则”构成了数学“结构”。判断数学结论的真伪，主要看其逻辑演绎是否正确，被实践检验的只是构成这些“相互关系”与“运算法则”的“结构”是否与实际相符。我们举一个例子来说明。大家都知道平面几何中的“平行公设”：在平面上过直线外一点，有且仅有一条直线平行于该直线。这是公设，是假定，可以由此推出平面几何的很多定理。但为什么在平面上过直线外一点有且只有一条直线平行于该直线呢？可不可以没有？可不可以不止一条？就几何学来说，假定只有一条，可以推出一大堆几何命题，例如：三角形三内角之和为180°，这是欧氏几何；假定有不止一条也可以推出另外一大堆命题，例如：三角形三内角之和小于180°，这是双曲几何；假定一条也没有照样还可以推出一大堆命题，这是椭圆几何。双曲几何与椭圆几何都是非欧几何。那么到底哪一种几何的结论是正确的？这要看你把这些几何结论应用在什么范围内，应用到什么问题上去。在以地球为尺度的空间范围内，欧氏几何是适用的，实际上它与非欧几何中的双曲几何的差异不大。当把宇宙作为一个整体来描述时，就要用双曲几何了。这有点像牛顿力学与相对论力学的关系。由此可见，决不能认为凡是数学上证明了的定理就是真理。只能认为这些结论是在它的“结构”中在逻辑上被正确地证明了。至于其是否与实际相符，还要检查它的前提。从这个意义上说，数学只是一个形式体系。如果把数学的研究对象只用“数”和“形”来概括，那么有些东西还无法概括进去，比如数学语言学。各种计算机的语言都是根据数学原理制做出来的，可语言是“形”还是“数”呢？看来都不是。又比如在“选举”办法上，一个非常有名的结论——阿罗不可能性定理[3]。阿罗(K.Arrow)是个经济学家，诺贝尔奖获得者，学数学出身。他证明了一条定理：对于不少于3个候选人的选举按“排序”投票，不存在任何同时遵循以下四个原则的群体决策：1. 无限制原则。（任何人可对所有候选人任意排序）2. 一致性原则。（如果每个人的态度都是“A优于B”，那么群体决策结果也应“A优于B”）3. 独立性原则。（添加或减少候选人，“排序”不变）4. 非独裁原则。（不能一个人说了算）这也是一条经济学上的定理：没有同时遵从以上四条原则的“社会福利函数”。这是数学在其他领域——政治学、经济学——的一个重要的应用。在这条定理中，哪里有“数”？哪里有“形”？可见“数”和“形”已经不能完全概括数学的研究对象了。现代人们不再限定研究对象是不是“数”和“形”，只要能对其建立数学模型，就能通过模拟计算来研究其中的规律，例如对于社会心理、动物行为等方面的数学分析。所以，数学研究的范围扩大了，现在人们说数学的对象是：“模式”（pattern）、“秩序”（order）、“结构”（structure）。纯数学与应用数学数学又划分为纯数学和应用数学，纯数学在我国又称基础数学。研究数学自身提出的问题，划归纯数学；研究数学之外(特别是现实世界中)提出来的问题划归应用数学。应该说，这种划分只是大致的，并没有严格的界限。一方面，纯数学中的许多对象，追根溯源还是来自解决其它方面的问题，如天文学、力学、物理学等。比如几何来源于测量：天文测量、大地测量。就在数学已经高度发展了的今天，从外部提出来的数学问题照样可以转化为非常有意义的纯数学的问题，刺激出深刻的数学理论。比如说，Navier-Stokes方程是流体力学中的重要的方程，NP问题是从计算理论中提出来的问题，到现在都还没有被解决，成为“千年七大难题”中的两个。另一方面，纯数学的理论在适当条件下也能在其它科学中放出异彩：群论和几何对物理的贡献是众所周知的。大家都认为数论是很“纯”的数学，但数论在现代密码学中起重要作用，