吴文俊毕业于哪个交大(钱文韬 交大)

本篇文章给大家谈谈吴文俊毕业于哪个交大,以及钱文韬 交大对应的知识点,希望对各位有所帮助。

本文目录一览:

吴文俊数学家是怎样而成的

吴文俊

(Wentsun

WU),男,祖籍浙江嘉兴,1919年5月12日出生于中国上海,数学家。吴文俊的研究工作涉及到数学的诸多领域其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”至今仍被国际同行广泛引用。吴文俊毕业于交通大学,1949年获得法国斯特拉斯堡大学博士学位。70年代后期,在计算机技术发展的背景下,他继承和发展了中国古代数学的传统(即算法化思想),转而研究几何定理的机器证明,彻底改变了这个领域的面貌,是国际自动推理界先驱性的工作,被称为吴特征列方法,产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。吴文俊现在是中国科学院系统科学研究所名誉所长,他获得多项国内外奖,1997年获自动推理领域最高奖Herbrand

Award,2006年获邵逸夫奖数学科学奖。

望采纳

谢谢您。祝生活愉快。

中国有哪些著名的数学家。

中国有哪些著名的数学家有:张丘建、朱世杰、贾宪、秦九韶、李冶、刘徽、祖冲之、胡明复、冯祖荀、姜立夫、陈建功、熊庆来、苏步青、江泽涵、许宝騄、华罗庚、陈省身、林家翘、吴文俊、陈景润、丘成桐、冯康、周伟良、萧荫堂、钟开莱、项武忠、项武义、龚升、王湘浩、伍鸿熙、严志达、陆家羲、苏家驹、王菊珍、谷超豪、王元、潘承洞、魏宝社、高扬芝、徐瑞云、王见定、吕晗等等。

1.祖冲之

祖冲之(429-500),字文远。出生于建康(今南京),祖籍范阳郡遒县(今河北涞水县),中国南北朝时期杰出的数学家、天文学家。

祖冲之一生钻研自然科学,其主要贡献在数学、天文历法和机械制造三方面。他在刘徽开创的探索圆周率的精确方法的基础上,首次将“圆周率”精算到小数第七位,即在3.1415926和3.1415927之间,他提出的“祖率”对数学的研究有重大贡献。直到16世纪,阿拉伯数学家阿尔·卡西才打破了这一纪录。

由他撰写的《大明历》是当时最科学最进步的历法,对后世的天文研究提供了正确的方法。其主要著作有《安边论》《缀术》《述异记》《历议》等。

2.华罗庚

华罗庚(1910.11.12—1985.6.12), 出生于江苏常州金坛区,祖籍江苏丹阳。数学家,中国科学院院士美国国家科学院外籍院士,第三世界科学院院士,联邦德国巴伐利亚科学院院士。中国第一至第六届全国人大常委会委员

他是中国解析数论、矩阵几何学、典型群、自守函数论与多元复变函数论等多方面研究的创始人和开拓者,并被列为芝加哥科学技术博物馆中当今世界88位数学伟人之一。国际上以华氏命名的数学科研成果有“华氏定理”、“华氏不等式”、“华—王方法”等。

3.冯祖荀

冯祖荀(1880-1940),数学教育家。中国现代数学教育的早期代表人物之一。1911年以后,多次担任北京大学数学系主任,对在中国传播现代数学知识有重要贡献。

4.冯康

冯康(1920年9月9日-1993年8月17日),浙江绍兴人,出生于江苏省南京市,数学家、中国有限元法创始人、计算数学研究的奠基人和开拓者,中国科学院院士,中国科学院计算中心创始人、研究员、博士生导师

1944年冯康毕业于国立中央大学;1945年在复旦大学数学物理系担任助教;1946年到清华大学物理系助教;1951年转任数学系助教;1951年调到中国科学院数学研究所,担任助理研究员,后在苏联斯捷克洛夫数学研究所进修。

1957年调入中国科学院计算技术研究所; 1965年发表了名为《基于变分原理的差分格式》的论文,这篇论文被国际学术界视为中国独立发展“有限元法”的重要里程碑 ;1978年起任中国科学院计算中心主任;1980年当选为中国科学院院士;1993年8月17日逝世于北京;1997年冯康的“哈密尔顿系统辛几何算法”获得国家自然科学奖一等奖。

5.吴文俊

吴文俊(1919年5月12日-2017年5月7日),1919年5月12日出生于上海,祖籍浙江嘉兴,数学家,中国科学院院士,中国科学院数学与系统科学研究院研究员,系统科学研究所名誉所长。

吴文俊毕业于交通大学数学系,1949年,获法国斯特拉斯堡大学博士学位;1957年,当选为中国科学院学部委员(院士);1991年,当选第三世界科学院院士;陈嘉庚科学奖获得者,2001年2月,获2000年度国家最高科学技术奖。

吴文俊的研究工作涉及数学的诸多领域,其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作;他的示性类和示嵌类研究被国际数学界称为“吴公式”,“吴示性类”,“吴示嵌类”,至今仍被国际同行广泛引用。

2017年5月7日7时21分,吴文俊在北京不幸去世,享年98岁。

参考资料百度百科-吴文俊

百度百科-冯康

百度百科-冯祖荀

百度百科-华罗庚

百度百科-祖冲之

上海交大毕业典礼正常举行,交大曾出过哪些名人

1.钱学森他出生于上海,1929年考入铁道部交通大学上海学校机械工程学院铁道工程系,1934年毕业于国立交通大学(现上海交通大学和西安交通大学),6月考取清华大学第七届庚款留美学生。毕业于加州理工大学,中国载人航天奠基人,中国科学院及中国工程院院士。 他长期担任中国火箭、导弹和卫星研制的技术领导职务,曾获国家科技进步奖特等奖、“国家杰出贡献科学家”荣誉称号和一级英模奖章,于2009年10月31日在北京逝世。

2.邹韬奋 他在在黄炎培等创办的中华职业教育社任编辑部主任,开始从事教育和编辑工作。几年后年接任生活周刊主编,以犀利之笔,力主正义舆论,抨击黑暗势力。政府对他有高度评价,韬奋先生二十余年为救国运动,为民主政治,为文化事业,奋斗不息,虽坐监流亡,决不屈于强暴,决不改变主张,直至最后一息,犹殷殷以祖国人民为念,其精神将长在人间,其著作将永垂不朽。

3.蔡元培 他是伟大的教育家、革命家、政治家。民主进步人士,国民党中央执委、国民政府委员兼监察院院长。中华民国首任教育总长。1916年至1940年,先后任北京大学校长兼中法大学校长、中央研究院院长。其间,参与发起“护国救党运动”;主持制定中国近代高等教育第一个法令——《大学令》;倡议创建国立中央博物院。

4.刘国梁 他是前中国男子乒乓球运动员,现任中国乒乓球协会主席,世界乒乓球职业大联盟理事会主席。 15岁破格入选国家队,23岁时即成为中国乒乓球史上第一位集奥运会、世乒赛、世界杯冠军于一身的“大满贯”得主。退役后担任乒乓球教练,率中国乒乓球队获得过30多项冠军。

5.吴文俊 他是教育学博士,副教授,中国高等教育学会会员,中国注册会计师协会会员,江苏省高校“青蓝工程”优秀青年骨干教师。他主要研究方向教育制度经济、教育管理

中国国家五大科技奖项是什么,有哪些人获得过?

袁隆平,1930年9月7日出生,江西九江市德安县人,中国杂交水稻育种专家,中国研究与发展杂交水稻的开创者,被誉为“世界杂交水稻之父”。

1953年毕业于西南农学院,1995年被选为中国工程院院士,1999年中国科学院北京天文台施密特CCD小行星项目组发现的一颗小行星被命名为袁隆平星,2000年度获得国家最高科学技术奖,2006年4月当选美国国家科学院外籍院士,2010年荣获澳门科技大学荣誉博士学位。

袁隆平是杂交水稻研究领域的开创者和带头人,致力于杂交水稻的研究,先后成功研发出“三系法”杂交 水稻、“两系法”杂交水稻、超级杂交稻一期、二期,与此同时,袁隆平提出并实施“种三产四丰产工程”,运用超级杂交稻的技术成果,出版中、英文专著6部,发表论文60余篇。  2017年7月,任青岛海水稻学院首席教授。2017年9月,袁隆平宣布一项剔除水稻中重金属镉的新成果。

吴文俊对数学有什么贡献?

吴文俊,1919年5月12日生于上海,世界著名数学家,1940年毕业于交通大学,1949年获法国国家博士学位。中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长,中国数学会名誉理事长。

吴文俊是中国数学机械化研究的创始人之一,中国科学院院士,第三世界科学院院士;曾任中国数学会理事长(1985~1987),中国科学院数理学部主任(1992~1994),全国政协委员、常委(1979~1998)。

吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献,在国内外享有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果,是拓扑学中的奠基性工作并有许多重要应用。他的“吴方法”在国际机器证明领域产生巨大的影响,有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊教授的算法。

吴文俊在数学上的重大贡献

吴文俊在拓扑学方面,在示性类、示嵌类等领域获得一系列成果,还得到了许多著名的公式,指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形等问题上有创造性工作。1956年吴文俊因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获。

在数学机械化或机器证明方面,吴文俊从初等几何着手,在计算机上证明了一类高难度的定理,同时也发现了一些新定理,进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。这项工作为数学研究开辟了一个新的领域,将对数学的革命产生深远的影响。1978年,这项成果获全国科学大会重大科技成果奖。

在中国数学史方面,吴文俊认为中国古代数学的特点是:从实际问题出发,经过分析提高,再抽象出一般的原理、原则和方法,最终达到解决一大类问题的目的。他对中国古代数学在数论、代数、几何等方面的成就也提出了精辟的见解。

吴文俊的数学研究活动,可分为前后两个时期,涉及到好几个数学领域,前期自1947年至20世纪70年代,以代数拓扑为主,他的贡献主要有两个方面:

示性类研究

通过Grassmann流形对在20世纪30年代由瑞士Stiefel、美国Whitney、苏联Pontrjajin和陈省身引入的示性类进行了系统的论述,确定了名称,探讨了相应关系,并应用于流形的构造。他引入的上同调类,后来在文献中被称之为吴示性类,他提出的蕴含拓扑不变性和同伦不变性的两个公式,后来都被称之为吴公式。由于这些结果的根本重要性,在多种问题中被广泛应用,如20世纪50年代德国的Dold,20世纪60年代德国的Hirzebruch苏联的Novikov并因而获Fields奖。

示嵌类研究

他引入具有非同伦拓扑不变量的一种一般构造方法,并系统地用之于嵌入问题,引入了复合形示嵌类,并用同样方法研究浸入问题与同痕问题,引入类似的示浸类与示痕类。瑞士Haefiger由于在1958年听到了他关于上述示嵌类研究工作的讲学,于1961年将嵌入问题作了重要推广,因而成为瑞士主要拓扑专家。美国Smale应用他的工作于维数大于4的Poincare猜测,并因而获Fields奖。他后来应用关于示嵌类的成果于电路布线问题,给出线性图平面性的新的判定准则,与以往的判定准则在性质上完全不同,尤其是可计算。

应当注意的是他在1956年前完成的研究成果的重要性,在多年以后才显现出来,至今仍在国际上广泛引用。

吴文俊的后期数学研究始于1976年,主要从事机器证明与数学机械化等方面的工作。

他提出的用计算机证明几何定理的方法,与常用的基于数理逻辑的方法根本不同,显现了无比的优越性,改变了国际上自动推理研究的面貌,被称为自动推论领域的先驱性工作,并因此获得Herbrand自动推论杰出成就奖。以下是14届国际自动推论大会上对吴文俊工作的介绍与评价。

吴文俊在自动推理界以他于1977年发明的(定理证明)方法著称。这一方法是几何定理自动证明领域的突破。

几何定理自动证明首先由HerbertGerlenter于20世纪50年代开始研究。虽然得到了一些有意义的结果,但在吴方法出现之前的二十年里这一领域进展甚微。

在不多的自动推理领域中,这种被动局面是由一个人完全扭转的。吴文俊很明显是这样一个人。吴的工作将几何定理证明自动推理的一个不太成功的领域变为最成功的领域之一。在很少的领域中,我们可以将机器证明归于一个人的工作。几何定理证明就是这样的一个领域。

吴文俊引入的求解非线性代数方程组的吴方法是求解代数方程组精确解最完整的方法之一,已经被成功地用于解决很多问题,并实现在当前流行的符号计算软件中。欧共体资助的POSSO计划(POlynomialSystemSOlving)中也有吴方法的专用软件包。

吴方法还被用于若干高科技领域,得到一系列国际领先的成果。包括曲面造型,机器人机构的位置分析,智能CAD系统(计算机辅助设计),机器人,图像压缩等。

20世纪80年代末,他提出了偏微分代数方程组的整序方法,是目前处理偏微分代数方程组的完整的构造性方法。该方法已被应用于微分几何定理机器证明和偏微分方程组求解。扩展了代数簇的通常局限无奇点情形的陈示性数于有任意奇点的陈类与陈数,且定义是可计算的,形成代数几何机械化的新篇章。

他给出了多元多项式组的零点结构定理,这是构造性代数几何发展的重要标志

吴文俊的资料?

朋友,详细介绍给你了!

吴文俊

吴文俊,中国人,1919年5月12日生于上海。1940年毕业于上海交通大学,1949年在法国斯特拉斯堡大学获博士学位。1951年回国,1957年任中国科学院学部委员,1984年当先为中国数学会理事长。吴文俊在数学上作出了许多重大的贡献。

拓扑学方面,在示性类、示嵌类等领域获得一系列成果,还得到了许多著名的公式,指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形等问题上有创造性工作。1956年吴文俊因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获。

机器证明方面,从初等几何着手,在计算机上证明了一类高难度的定理,同时也发现了一些新定理,进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。这项工作为数学研究开辟了一个新的领域,将对数学的革命产生深远的影响。1978年获全国科学大会重大科技成果奖。

中国数学史方面,吴文俊认为中国古代数学的特点是:从实际问题出发,经过分析提高,再抽象出一般的原理、原则和方法,最终达到解决一大类问题的目的。他对中国古代数学在数论、代数、几何等方面的成就也提出了精辟的见解

吴文俊 科技名人

数学家。 上海人。 1940年毕业于上海交通大学。 1949年获法国国家科学研究中心博士学位。 1991年当选为第三世界科学院院士。中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长,中国数学会名誉理事长。中国数学机械化研究的创始人之一。 50年代在示性类、示嵌类等研究方面取得吴文俊公式、吴文......

吴文俊(1919~ )

中国数学家。中国科学院院士。1919年5月12日生于上海。1940年毕业于上海交通大学。1947年赴法国留学,先后在斯特拉斯堡、巴黎、法国科学研究中心进行数学研究,1949年获博士学位。1951年回国。历任北京大学数学系教授,中国科学院数学研究所研究员、副所长,中国科学院系统科学研究所研究员、副所长、名誉所长,数学机械化研究中心主任,中国数学会理事长、名誉理事长,中国科学院数学物理学部常务委员、主任等职。曾任全国政协常务委员。主要从事拓扑学、机器证明学等方面的研究并取得多项突出成果,是中国数学机械化研究的创始人之一。1952年刊印出版的博士论文《球纤维空间示性类理论》是对纤维空间基本问题的重要贡献。50年代在示性类、示嵌类等研究方面取得一系列突出成果,并有许多重要应用,被国际数学界称为“吴文俊公式”、“吴文俊示性类”,已被编入许多名著。这项成果曾获1956年国家自然科学奖一等奖。60年代继续进行示嵌类方面的研究,独创性地发现了新的拓扑不变量,其中关于多面体的嵌入和浸入方面的成果至今仍居世界领先地位。在庞特雅金示性类方面的成果,是拓扑学纤维丛理论和微分流形的几何学的一项基本理论研究,有深刻的理论意义。近年来创立了定理机器证明的吴文俊原理(国际上称为吴方法),实现了初等几何与微分几何定理的机器证明,达到了世界先进水平。这一重要创新改变了自动推理研究的面貌,在定理机器证明领域产生了巨大影响,并有重要的应用价值,它将引起数学研究方式的变革。这方面的研究成果曾获全国科学大会重大成果奖和中国科学院科技进步奖一等奖。在机器发现和创造定理的研究方面也取得了重要成果。

上一篇:荣海大学是哪个省(荣成市有几所大学)
下一篇:云南大学每年招多少人(云南大学今年招多少人)

为您推荐

发表评论