数学文化数学思想与方法.pptVIP

形式公理系统的形成 1899年希尔伯特《几何学基础》一书的发表，不仅给出了欧氏几何的一个形式公理系统，而且解决了公理化方法的一系列逻辑理论问题．这本著作成为形式公理学的奠基著作． 希尔伯特被认为是形式主义的奠基人。 希尔伯特几何公理系统，除了有几何模型外，还可以有其它模型(如算术模型)，所以它是一个形式公理系统，可以把其初始概念和公理看成是没有数学内容的，初始概念和公理完全可以用形式语言来陈述． 第三十一页，共七十页，2022年，8月28日 公理化方法的渗透 公理化方法在几何方面的成功，促使公理化方法渗透到数学的许多分支，也包括其它科学领域。 数理逻辑、抽象代数、泛函分析、拓扑学等，以及理论力学（Banach,1940）相对论等。 数理逻辑中的典型代表就是ZF公理系统，由策梅洛(Zermelo)和弗伦克尔(Fraenkel)等提出。 ZF公理系统再加上选择公理就构成了ZFC公理系统 第三十二页，共七十页，2022年，8月28日 公理化方法的意义与价值 当一门科学积累了相当丰富的经验知识，需要按照逻辑顺序加以综合整理，使之条理化、系统化，上升到理性认识的时候，公理化方法便是一种有效的手段。 公理化方法对建立科学理论体系，训练人的逻辑推理能力，系统地传授科学知识，以及推广科学理论的应用等方面起到有益的作用。 公理化方法对于进一步发展科学理论也有独特的作用．例如在代数方面，由于公理化方法的应用，在群论、域论、理想论等代数分支形成了一系列新的概念，建立了一系列新的联系并导致了一系列深远的结果；在几何方面，由于对平行公设的研究导致了非欧几何的创立． 因此，公理化方法也是在理论上探索事物发展规律，作出新的发现和预见的一种重要方法． 第三十三页，共七十页，2022年，8月28日 泛函分析简介 泛函分析（Functional Analysis）是现代数学的一个分支，隶属于分析学，其研究的主要对象是函数构成的空间。泛函分析是由对变换（如傅立叶变换等）的性质的研究和对微分方程以及积分方程的研究发展而来的。使用泛函作为表述源自变分法，代表作用于函数的函数。巴拿赫（Stefan Banach）、Hilbert 是泛函分析理论的主要奠基人. 第三十四页，共七十页，2022年，8月28日 泛函分析的公理化思想方法 泛函分析主要研究定义在Banach空间上的线性映射与线性泛函的性质 Banach空间：完备的赋范线性空间 赋范线性空间 距离空间 完备 Hilbert空间 第三十五页，共七十页，2022年，8月28日 曾远荣，我国泛函分析第一代数学家 关肇直，中国泛函分析领路人 田方增，中国科学院 数学研究所的筹建者 第三十六页，共七十页，2022年，8月28日 五、数学机械化思想 吴文俊和吴方法 中国科学院院士 第三世界科学院院士 首届国家最高科技奖 国家第一届自然科学奖 最高奖一等奖 自动推理的最高奖 Herbrand奖 2006邵逸夫数学奖 第三十七页，共七十页，2022年，8月28日 1997年．吴文俊获得“赫布兰自动推理杰出成就奖”， 2006年，获得 “邵逸夫数学科学奖” 前者是国际自动推理领域的最高奖，而后者被誉为数学的“东方诺贝尔奖”。 我国唯一两次获得国家科学最高奖的数学家 谷超豪院士，另一位获得国家最高科技奖的数学家 第三十八页，共七十页，2022年，8月28日 国家最高科技奖 2009年 谷超豪（1926-，数学家） 孙家栋（1929年-，运载火箭与卫星技术专家，中国科学院院士，国际宇航科学院院士。） 2008年 王忠诚 （1925--，神经外科专家） 徐光宪（1920--，化学家） 2007年 闵恩泽（1924— ，石油化工催化剂专家）?吴征镒（1919— ，著名植物学家） 2006年?李振声（1931— ，遗传学家，小麦远缘杂交的奠基人） 2005年 叶笃正（1916— ，世界著名气象学家）?吴孟超（1922— ，世界著名肝脏外科学家） 2003年 刘东生（1917—2008 ，著名地球环境科学家）王永志（1932— ，著名航天技术专家） 2002年 金怡濂（1929— ，高性能计算机领域的著名专家） 2001年 王选（1937—2006，汉字激光照排系统创始人） 黄昆（1919— 2005，著名物理学家） 2000年 吴文俊（1919— ，世界著名数学家） 袁隆平（1930— ，杂交水稻之父） 第三十九页，共七十页，2022年，8月28日 中央电视台《大家》栏目：《吴文俊·我的不等式》片断 第四十页，共七十页，2022年，8月28日 什么是数学机械化 所谓