吴文俊吴文俊，当代中国杰出的数学家，中国科学院院士,第三世界科学院院士。现任中国科学院系统科学研究所名誉所长，研究员；曾任中国数学会理事长（1985～1987），中国科学院数理学部主任（1992～1994），全国政协委员、常委（1979～1998）。吴文俊，1919年５月出生于上海，1940年毕业于上海交通大学数学系。１９４６年赴法国Strassbourg大学留学，1949年获法国国家博士学位。吴文俊的研究工作涉及数学的诸多领域。他在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献，其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”，至今仍被国际同行广泛引用，影响深远，享誉世界。20世纪７０年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统（即算法化思想），转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为“吴方法”，产生了巨大影响。他的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。吴文俊曾获得首届国家自然科学一等奖(1956)、中国科学院自然科学一等奖(1979)、第三世界科学院数学奖(1990)、陈嘉庚数理科学奖(1993)、首届香港求是科技基金会杰出科学家奖(1994)、Herbrand自动推理杰出成就奖(1997)、首届国家最高科技奖(2000)、第三届邵逸夫数学奖(2006)。欧几里得及其《原本》欧几里得，古希腊数学家，以其所著的《原本》闻名于世。早年大概就学于雅典,深知柏拉图的学说。公元前300年左右，在托勒密王（公元前364—前283）的邀请下，来到亚历山大，长期在那里工作。他是一位温良敦厚的教育家，对有志数学之士，总是循循善诱。但反对不肯刻苦钻研、投机取巧的作风，也反对狭隘实用观点。据普罗克洛斯（约410—485）记载，托勒密王曾经问欧几里得，除了他的《原本》之外，还有没有其他学习几何的捷径。欧几里得回答说：“在几何里，没有专为国王铺设的大道。”这句话后来成为传诵千古的学习箴言。斯托贝乌斯（约500）记述了另一则故事,说一个学生才开始学第一个命题，就问欧几里得学了几何学之后将得到些什么。欧几里得说：给他三个钱币，因为他想在学习中获取实利。欧几里得将公元前7世纪以来希腊几何积累起来的丰富成果整理在严密的逻辑系统之中，使几何学成为一门独立的、演绎的科学。除了《原本》之外，他还有不少著作，可惜大都失传。《已知数》是除《原本》之外唯一保存下来的他的希腊文纯粹几何著作，体例和《原本》前6卷相近，包括94个命题,指出若图形中某些元素已知,则另外一些元素也可以确定。《图形的分割》现存拉丁文本与阿拉伯文本，论述用直线将已知图形分为相等的部分或成比例的部分。《光学》是早期几何光学著作之一，研究透视问题，叙述光的入射角等于反射角，认为视觉是眼睛发出光线到达物体的结果。还有一些著作未能确定是否属于欧几里得，而且已经散失。欧几里得的《原本》共有13卷，其中第一卷讲三角形全等的条件，三角形边和角的大小关系，平行线理论，三角形和多角形等积（面积相等）的条件；第二卷讲如何把三角形变成等积的正方形；第三卷讲圆；第四卷讨论内接和外切多边形；第六卷讲相似多边形理论；第五、第七、第八、第九、第十卷讲述比例和算术理论；最后三卷讲述立体几何的内容。从这些内容可以看出，目前属于中学课程里的初等几何的主要内容已经完全包含在《原本》里了。因此长期以来，人们都认为《原本》是两千多年来传播几何知识的标准教科书。属于《原本》内容的几何学，人们把它叫做欧几里得几何学，或简称为欧氏几何。《原本》最主要的特色是建立了比较严格的几何体系，在这个体系中有四方面主要内容：定义、公理、公设、命题（包括作图和定理）。《原本》第一卷列有23个定义、5条公理、5条公设。这些定义、公理、公设就是《原本》全书的基础。全书以这些定义、公理、公设为依据逻辑地展开各个部分。比如，后面出现的每一个定理都写明什么是已知、什么是求证；都要根据前面的定义、公理、定理进...
