Post Jobs

中国科学院系统科学研究所、中国科学院数学与系统科学研究院任职,黑龙江省第十二次党代表大会选举产生出席党的十九大代表50名

图片 1

5月3日,黑龙江省第十二次党代表大会选举产生出席党的十九大代表50名。代表名单如下:

图片 1

王树权 王宪魁 王爱文 王常松 王曼丽

中国科学院数学与系统科学研究院今天发布讣告称,首届国家最高科技奖获得者、著名数学家吴文俊院士因病医治无效,于2017年5月7日7时21分在北京不幸去世,享年98岁。

尤明国 曲 敏 朱彩芹

中国科学院系统科学研究所、中国科学院数学与系统科学研究院任职,黑龙江省第十二次党代表大会选举产生出席党的十九大代表50名。吴文俊1919年5月12日出生于上海。1940年毕业于上海交通大学,1946年到中研院数学所工作。1947年赴法国斯特拉斯堡大学留学,1949年获得法国国家博士学位,随后在法国国家科学中心任研究员。新中国成立后,吴文俊于1951年回国,先后在北京大学,中国科学院数学研究所,中国科学院系统科学研究所、中国科学院数学与系统科学研究院任职。曾任中国数学会理事长、中国科学院数理学部主任、全国政协常委、2002年国际数学家大会主席,中国科学院系统所名誉所长。1957年当选为中国科学院学部委员(院士)。

仲威平 刘 忻 刘明忠 刘睦终

吴文俊对数学的主要领域拓扑学做出了重大贡献。他引进的示性类和示嵌类被称为吴示性类和吴示嵌类,他导出的示性类之间的关系式被称为吴公式。他的工作是1950年代前后拓扑学的重大突破之一,成为影响深远的经典性成果。1970年代后期,他开创了崭新的数学机械化领域,提出了用计算机证明几何定理的吴方法,被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一,他的工作对数学与计算机科学研究影响深远。

孙 珅 孙 喆 孙龙德 孙维本 杜宇新 李凤玉

吴文俊曾获得首届国家最高科技奖(2000)、首届国家自然科学一等奖(1956)、首届求是杰出科学家奖(1994)、邵逸夫数学奖(2006)、国际自动推理最高奖Herbrand自动推理杰出成就奖(1997)。

李雪飞 李新民 杨宝峰 杨德森 张庆伟

国家最高科学技术奖

张恩亮 张效廉 陆 昊 陈海波 林宽海

国家最高科学技术奖正式设立于2000年,由国家科学技术奖励委员会主办。

发表评论

电子邮件地址不会被公开。 必填项已用*标注

相关文章

网站地图xml地图