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