吴文俊人物介绍PPT

吴文俊，1919年5月12日出生于安徽省休宁县，中国科学院院士，数学家，中国科学院数学研究所研究员。1940年吴文俊毕业于交通大学数学系，1947年获法国...

吴文俊，1919年5月12日出生于安徽省休宁县，中国科学院院士，数学家，中国科学院数学研究所研究员。1940年吴文俊毕业于交通大学数学系，1947年获法国国家科学研究中心研究基金，1949年获法国科学院亨利·庞加莱奖、戴维奖。1951年回国后在中国科学院数学研究所工作，先后担任研究员、副所长，1971年至1975年任数学研究所学术委员会主任。1978年当选为第五届全国政协常委。1983年至1987年任中国科学技术大学数学系主任。1984年被聘为博士生导师。吴文俊在拓扑学、中国剩余定理、仿射微分几何、积分几何、李群、微分对策、机器证明等领域都做了开创性的贡献。是中国数学史、计算机科学史领域的泰斗之一。曾任中国数学会理事长，国际自动推理最高荣誉奖“沃尔夫奖”获奖者，中国科学院系统科学研究所研究员、名誉所长。早年经历吴文俊于1919年5月12日出生于安徽省休宁县一个普通职员家庭。父亲吴尊任在银行工作，母亲程氏则操持家务。吴文俊小时候很聪明，读小学时便展现出数学天赋。初中时他读了华罗庚的老师熊庆来的著作《解析几何》，高中时他自学了《微积分教程》。在“数学界的风云人物”苏步青教授的悉心指导下，年轻的吴文俊在拓扑学领域崭露头角。学术成就创新观点吴文俊的数学成就几乎遍及数理逻辑、代数几何、中国数学史、拓扑学、动力系统、机器证明等领域。吴文俊最具创新性的工作是代数几何方面的吴方法。在法国做博士论文时期以及获博士学位后的一段时间里，他研究的是代数几何问题。由于量子计算机和大规模并行计算机的出现要求机器证明，促使吴文俊研究自动推理（亦称机器证明，或称定理机器证明）。在自动推理领域的应用方面吴做出了决定性的贡献，推动了自动推理的发展和应用。他的这一系列成就使他成为当之无愧的数学大师。他的主要贡献有：吴消元法；示性类；吴公式；自由代数；万溶公式；不动点类；吴-Ritt消元法与吴-Ritt零点定理；有限交与无限交；吴推理；凸包定理；活动标架法与瑞托展开；几何定理机器证明的解析方法等。计算机科学史研究吴文俊对计算机科学史有深入的研究。他从计算机科学史的角度，对电子计算机的体系结构、程序语言的演变以及专家系统等方面作了开创性的工作。吴文俊关于中国古代数学问题的研究，也从计算机科学史的角度推动了中国古代算法的研究。作为一位计算机科学家，吴文俊的研究也是独树一帜的。社会影响及评价吴文俊不仅在数学研究领域做出了卓越贡献，在教育领域也做出了突出贡献。他培养了一大批优秀的数学人才，其中包括许多已成为国内外知名的数学家。他的教育理念和教学方法也对中国数学教育产生了深远的影响。此外，吴文俊还积极参与社会活动，为中国的科技发展和国际交流做出了贡献。他曾担任多个国家级和国际级的学术组织职务，推动了中国数学界在国际上的地位提升。