当前位置:亚洲城ca88手机版网页 > 社会科学 >

首届国家最高科技奖得主吴文俊院士逝世—新闻

发布时间:2017-12-04 阅读:

  第一届全国最高技术奖获得者吴文军逝世 - 新闻 - 科学网

  吴文俊是我国最具国际影响力的数学家之一。他为数学拓扑学做出了重大贡献,开创了数学机械化新领域,对数学和计算机科学研究有着深远的影响。

  \\ u0026

  1919年出生于上海,吴文俊1940年毕业于上海交通大学,1946年在中央研究院数学系工作。在陈思Mr.先生的指导下开始学习拓扑学,1947年赴法国留学法国1949年毕业于法国斯特拉斯堡大学时,获得博士学位。法语,然后作为法国国家科学中心的研究员。新中国成立后,吴文俊于1951年回国工作,先后在北京大学数学系教授,中国科学院数学研究所工作,1952年任研究员,直到1980年进入中国科学院系统研究所, 1998年进入中国科学院新成立的数学与系统科学研究所。他曾任中国数学会主席(1985-1987),中国科学院数学科学司司长(1992-1994),全国政协委员兼常委(1979-1998),中华人民共和国主席2002年国际数学家大会暨中国科学院系统声誉主任。

  \\ u0026

  1946年至1951年间,吴文军主要从事斯特福 - 惠特尼的研究工作,1953年至1957年主要从事庞蒂亚里亚属的研究工作。从那以后,吴文君转而展示嵌入式课堂研究。由于他在拓扑示范班和镶嵌班上的出色工作,吴文俊1956年获得第一届国家自然科学奖,1957年当选为中国科学院院士。1958年吴文俊应邀参加国际数学家大会为小组报告(由于某种原因未能使)。

  \\ u0026

  1976年,吴文君在中国古代研究的基础上开辟了一个全新的机械化数学领域。吴文俊于1986年应邀参加国际数学家大会,作为分组报告,于1990年获第三世界科学院数学奖,1993年陈嘉庚数学科学奖,第一届香港杰出科学家奖1994年获得最高国际自动推理奖,1997年Herbrand自动推理杰出成就奖。

  \\ u0026

  2000年,吴文君因其拓扑学和数学机械化的贡献而获得国家科技进步一等奖。 2006年,吴文君与美国数学家大卫·曼福德一起,为数学机械化新兴的交叉学科的贡献赢得了数学奖和数百万美元的奖金。委员会认为,通过引入深刻的数学思想,吴先生开创了一种全新的方法,被证明是非常有效的解决广泛的问题。吴的方法激进地革新了这一领域,导致了这一领域的研究方法的变化,他的工作揭示了数学的广度,为未来的数学家树立了新的榜样。

  \\ u0026

  吴文俊研究的内容涉及代数拓扑学,微分拓扑学,代数几何学,博弈论,中国数学史,数学机械化等数学领域,并对其进行了独特的贡献,现在介绍拓扑学和数学机械化两个最重要的领域。

  \\ u0026

  对拓扑有重大贡献

  \\ u0026

  拓扑学是现代数学的主要领域之一。现代法国数学家Didier称现代数学的女王。陈司徒先生说,拓扑的发展是20世纪上半叶纯数学的最大成就。指示类是拓扑中最基本的总体不变量。

  \\ u0026

  20世纪50年代以前,示范阶级的研究尚处于起步阶段。吴文俊将从简单易学,易变化,引入新的方法和工具,形成一个系统理论,展示阶级的概念。他介绍了一类称为吴班的说明性班。他也给了吴的一个公式,这个公式描述了各类示威之间的关系。在工作之前,班级的计算是非常困难的。吴的作品展示了阶级与计算方法的关系,拓扑与数学更加紧密地结合,出现了许多新的研究领域,最终使论证阶级理论成为拓扑学中最完美的篇章。

  \\ u0026

  拓扑中最基本的问题之一就是嵌入。在Wu的工作之前,嵌入理论只有分散的结果,Wu提出了一系列的拓扑不变量如吴时嵌入类,研究了嵌入理论的核心问题,从而形成了一个统一的嵌入理论。

  \\ u0026

  在拓扑学研究中,吴发挥了主导作用。在其工作的影响下,形成了研究拓扑结构,大大推动了拓扑学的发展。许多着名的数学家受到吴的启发,或直接从吴的成就为出发点,取得了一系列重大成就。例如,五位勋章,田野奖章获得者,法国数学家汤姆,美国数学家米洛,西梅尔,威登,英国数学家阿蒂亚等人也引用了吴的作品,其中三人也用吴的成绩获胜。数学老师陈胜深老师赞扬吴先生对纤维分类的研究做出了划时代的贡献。由于上述两项工作,吴文君于1956年获得首届国家自然科学奖。

  \\ u0026

  吴文俊的工作是五十年代前后拓扑学上的重大突破之一,具有重要的影响,成为一个具有深远意义的经典成果,已被写入各种教科书,至今仍被用于尖端研究。

  \\ u0026

  创建数学机械化领域

  \\ u0026

  上个世纪七十年代后期,吴文君用算法的观点分析了古代中国会计作为一个明确的来源,认为古代中国被视为数学数学。这为中国数学史研究开辟了新的思路和方法,并在数学史领域产生了重大影响。吴文君应邀参加1986年国际数学家大会的分组报告,介绍他在研究中国古代数学史方面的成就。不仅如此,也受到中国古代研究的启发,他开创了机械化数学的新领域。

  \\ u0026

  1977年,他首先成功实现了初等几何定理的机械化,并提出了吴的几何定理证明的方法,从此微分几何的定理机制陆续提出,数学机械化系统的建立,不仅建立了数学机械化的基础,而且将这一理论应用于许多高新技术领域,解决了高新技术领域的核心问题,如表面拼接,机械设计,计算机视觉和机器人技术等方面,走出了一条全新的中国人开创的数学新路,产生了巨大的国际影响。

  \\ u0026

  1997年,吴文君获得国际自动推理奖(Herbrand Automatic Reasoning Outstanding Achievement Award)。在裁决中提到,几何定理自动证明,在吴方法出现之前一直没有什么进展,而在自动推理这个罕见的领域,这种被动局面完全被一个人逆转。吴文君显然是这样一个人。吴的作品重新开展了几何证明的研究,使之成为自动推理最活跃,最成功的领域之一。

  \\ u0026

  几十年来,吴文君一直重视人才培养。从二十世纪五十年代到六十年代,他在数学方面的一些天才学生和他长期在他的影响和帮助下工作的同志,都成为了着名的数学家。自1960年以来,吴文军先生在中国科学技术大学数学系担任60名学生讲师,并在中国科学技术大学培训了80多名学生。他们中的一些人已经成为各自领域的领导人,还有许多国际知名学者。

  \\ u0026

  1990年,由吴文俊率领的中国科学院数学机械化中心正式成立。 2003年,数学机械化中心和信息安全中心共同组建了中国科学院数学机械化重点实验室。这个实验室现在已经成为国际计算机数学领域最杰出的团队之一。

  \\ u0026

  吴文君的巧妙研究工作使他具有广泛的国际国内影响力,并享有很高的声誉,2010年经国际天文联合会小型天体命名委员会批准,国际小行星7683将永久叫吴文军。 2011年,中国人工智能学会发起设立吴文俊人工智能科技奖;这是我国在社会力量支持下,在智能科技领域建立的唯一的科技奖。具有直接推荐国家科技奖的资格,被授予中国科技智力最高奖,2011年,中国科学技术大学成立了中国科学院武文军数学重点实验室中国科学技术大学学报。

  \\ u0026

  吴文钧严谨的学术思想,积极的学术思想,但从不讲究个人的名利,无论名誉如何高,他始终兢兢业业在科研一线,以其一生的积极主动,毅力不断,不断取得新的成绩。他的Puntaria黄金的原始俄文文本是完全基于词典的字典,其艰苦的工作是显而易见的。在他的机器证明工作开始时,他差不多一岁了。为了验证他的方法的有效性,他从头开始学习计算机编程,并在Fortran中实现了符号和几何证明的算术算法。编程的工作量很大。他成功地连续在机舱里工作了十几个小时。他平易近人,乐于助人,愿意推动别人的成就,学风民主。

  \\ u0026

  具有强烈爱国主义色彩的吴文君,于1951年放弃法国的有利条件,回到祖国参加社会主义建设。他非常关心祖国的经济建设,为国内的重大工程和项目提供了很多的礼物。自二十世纪七十年代以来,他对中国文化有了更深入的了解,通过自己的科学研究,真正为中华文化的振兴做出了真正的贡献。

  \\ u0026

  在一九九四年香港科学技术基金杰出科学家奖颁奖典礼上,陈司徒先生介绍了吴文君的学术成就,并赞扬他保留了许多对纯数学和应用数学都有贡献的历史伟大的数学一般工作是前辈唯一的出路,创造性,他的证明机器理论保持中国数学的传统,称赞它是一位非常杰出的数学家!

  \\ u0026

  阅读更多

  \\ u0026

  陈安:悼念吴文君先生

  \\ u0026

  吴文君和上海交通大学的爱情世界

  \\ u0026

  吴文俊:告诉过去总会给人留下什么

  \\ u0026

关键词: 社会科学