1701014070
汉字字形信息量太大，数字化的困难是西方文字照排无法相比的。王选说“由于我是数学系毕业，所以很容易想到信息压缩，即用轮廓描述和参数描述相结合的方法描述字形，并于1976年设计出一套把汉字轮廓快速复原成点阵的算法。”
1701014071
1701014072
到了20世纪80年代，轮廓描述西方文字的做法在国外大为流行，当时已发展为三次曲线轮廓。由于王选的研究起步早，很快吸收了国外的一些经验，发明了高分辨率字形的高倍率信息压缩和复原技术，用于印刷照排系统。以后又设计专用的超大规模集成电路实行复原算法，显著提高了性能价格比。这一技术已经领先于国际先进水平。他所领导研制的华光和方正系统开始在全国的报社和出版社使用。印刷业告别“铅与火”的历史，就此开始。
1701014073
1701014074
1985年，方正系统列入全国十大科技发明成果；1986年，获日内瓦科技发明奖；1987年，获国家科技一等奖。1992年1月21日，《澳门日报》的彩色版用方正激光照排系统排版印刷，轰动海内外。台湾的印刷业同行在报纸上以“眼见为实”加以报导，原来用电子分色机三四个小时的工作，现在只要20分钟，乃至9分钟就可以完成。这样的技术是一种“挡不住的诱惑”。现在，方正集团及其伙伴的产品占有国内排版系统市场份额的99%，国外华文市场的70%以上。计算机技术是西方发达国家领先的领域，中国科学家要在某一方向上占据一个领先地位，非常不容易。王选的成功，具有很不平常的意义。其中，数学技术是关键的因素之一。
1701014075
1701014076
1701014077
1701014078
1701014079
▶ 图1.4.2 王选
1701014080
1701014081
总之，我们既要重视纯粹数学的发展，将核心数学搞上去；同时要将数学和国民经济、高科技发展、现代金融管理等一系列重大实际问题相联系。既要有“哥德巴赫猜想”那样的智力角逐，又要发展“激光照排”那样的数据压缩技术。应当看到，在积贫积弱的旧中国，没有工业基础，先辈们不得不首先从事纯粹数学的研究。经过半个世纪的发展，中国已经有了自己的工业、农业、科技与国防。我们不能把数学局限于纯粹数学，更不可把数学的作用仅仅看成是“思想体操”。数学已经从社会的幕后走向台前，直接为人类创造财富了。
1701014082
1701014083
1701014084
1701014085
1701014086
数学文化教程 [:1701013706]
1701014087
数学文化教程 第二章 数学是人类文明的火车头
1701014088
1701014089
数学的历史和人类的历史一样长。历史是一面镜子，它可以找到我们的根，看到我们的传统，折射出前进的方向。
1701014090
1701014091
“春江水暖鸭先知。”重大人类文明的先兆，往往是数学。印度科学家拉奥（A.N.Rao）认为，一个国家的科学水平可以用它消耗的数学来衡量。历史表明，世界的军事经济强国一定是数学强国。时至今日，美国数学一马当先。冷战时代社会主义阵营的领袖苏联，曾占据世界数学的半壁江山。西欧数学紧随其后，日本数学正在迎头赶上。中国数学，还是一个未知数。但是已经提出了目标：21世纪数学大国。
1701014092
1701014093
这一章，我们将简述世界数学的历史。
1701014094
1701014095
1701014096
1701014097
1701014098
数学文化教程 [:1701013707]
1701014099
数学文化教程 第一节 数学是人类文明的火车头——简述四个数学高峰
1701014100
1701014101
古希腊文明以倡导公理化的《几何原本》的理性精神作为人类文明的代表。在17世纪人类科学文明的黄金时代，牛顿创立微积分、发展力学，无疑是那个时代的科学巨人。19世纪末和20世纪初，爱因斯坦是那个时代的高峰，但是他的理论框架依赖数学。第二次世界大战之后，人类社会进入信息时代，其科学代表人物冯·诺依曼，则是一位基于纯粹数学的计算机科学家。
1701014102
1701014103
这四个人类文明的时代，正是数学发展的四个高峰。因此可以说，数学是人类文明进步的火车头。
1701014104
1701014105
第一个高峰：古希腊的演绎数学时期
1701014106
1701014107
数学的起源可以追溯到上古时期，尼罗河文明、两河流域文明、印度文明和华夏文明都作出过杰出的贡献。但是作为科学形态的数学，还是以古希腊的演绎数学为高峰。它的意义也不仅在数学，而是人类“理性思维”的第一个重大胜利。欧几里得的《几何原本》成为影响人类文明进程的里程碑。几何公理化体系的思想，成为所有科学追求的一种境界。《几何原本》是仅次于圣经的印刷数量最多的作品。
1701014108
1701014109
同样，《九章算术》确立了中国古代数学的算法体系，也是中国古代科学文明的代表作。
1701014110
1701014111
第二个高峰：牛顿-莱布尼茨的微积分时期
1701014112
1701014113
文艺复兴时期，虽然回到古希腊文明，欧几里得、阿基米德等大数学家的光辉驱走了中世纪的黑暗。但是，公理化思想推不出微积分。牛顿和莱布尼茨是在古希腊的“穷竭法”“求抛物线弓形面积”等思想的启发下，焕发了新的科学活力。17—18世纪，可以说是一个数学力量所向披靡的时代。尽管“无穷小”思想被贝克莱大主教斥责为“逝去了量的鬼魂”，很不严格。可是实践证明了微积分算法的巨大威力。在力学、光学、工程技术领域获得的成功确立了微积分的划时代的历史地位。以后的欧拉、拉格朗日、拉普拉斯、傅里叶等大家的贡献，再次推动人类文明进入了一个新阶段。
1701014114
1701014115
第三个高峰：希尔伯特为代表的形式主义公理化时期
1701014116
1701014117
大约在19世纪中叶，非欧几何的出现、抽象群论的诞生，特别是微积分的严格化过程，使数学进入一个新的时期。理性思维、严密证明成为数学时尚。德国格丁根学派的代表人物希尔伯特（David Hilbert，1862—1943），在1898年发表《几何基础》，把欧几里得的《几何原本》完全地严密化。此后便一发不可收，形式主义和逻辑主义的思潮占据了数学领域的主导地位。抽象和严密成为新的时尚。希尔伯特希望把数学建立在一个“相容的、独立的、完全的”公理体系之上，一劳永逸地树立数学的真理性。这一努力最后失败了，但也创立了一门叫做“数学基础”的学科。另一方面，数学大量地用于各个科学领域，例如影响人类文明进程的电磁学，其基本架构乃是一组微分方程。作为这一时期物理学思想革命的相对论，则建立在黎曼几何的框架上。
1701014118
1701014119
第四个高峰：以计算机技术为标志的新数学时期