共查询到20条相似文献，搜索用时 15 毫秒
1.
2.
3.
4.
5.
中国近现代数学在世界处于什么地位呢？一些人叹息中国数学落后于国外，甚至夸大其词。事实上，我国近现代数学工作者在一些方面已经作出了突出成就，吴文俊院士和他的数学机械化研究就是其中的杰出代表．2000年，吴文俊院士获得首届国家最高科学技术奖．2006年，他获得了被媒体誉为“21世纪东方诺贝尔奖”的香港邵逸夫数学科学奖． 相似文献
6.
7.
8.
同志们：
今天，党中央、国务院隆重召开国家科学技术奖励大会，表彰为我国科学技术事业作出突出贡献的科技人员。党中央、国务院决定，从2000年起设立国家最高科学技术奖，以国家名义对为科学技术发展作出杰出贡献的科学家给予最高荣誉的奖励。吴文俊、袁隆平两位院士首先获此殊荣，还有一批科学家获得了国家自然科学奖、国家技术发明奖和国家科技进步奖。这是对我国科学技术水平的一次检阅，也是我国科学技术发展史上的一次盛会。我代表党中央、国务院向吴文俊院士、袁隆平院士表示热烈祝贺!向所有获奖人员和集体表示热烈祝贺!向全国广大科技工作者致以亲切问候和衷心感谢!下面，我讲几点意见。 相似文献
9.
《青年教师》2007,(10):57-58
吴文俊,上海人。1940年毕业于第一交通大学(现西安交通大学和上海交通大学的前身)。1949年获法国国家科学研究中心博士学位。1991年当选为第三世界科学院院士。中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长,中国数学会名誉理事长。中国数学机械化研究的创始人之一。1950年代在示性类、示嵌类等研究方面取得吴文俊公式、吴文俊示性类等一系列突出成果,并有许多重要应用。1970年代创立了定理机器证明的"吴方法",影响巨大,有重要应用价值,它将引起数学研究方式的变革。1957年选聘为中国科学院院士,2000年获首届国家最高科学技术奖。 相似文献
10.
《中小学信息技术教育》2005,(12):44
11月13日，首届国家最高科技奖获得者、著名数学家吴文俊院士及郑哲敏、王守武、郭慕孙、林群四位两院院士在北京联合签名，呼吁全社会“关注网络沉溺，保护网瘾少年”。来自学校、医院、政府部门以及媒体的志愿者随后也加入签名队伍。 相似文献
11.
《中学政史地(中考事实政治版)》2004,(4):19-19
国家最高科技奖自2000年设立以来，截止到2002年，已有吴文俊、袁隆平、王选、黄昆和金怡濂五位院士获得这一奖项，现简要介绍如下： 相似文献
12.
数学的一半是中国数学
吴文俊研究的是数学，袁隆平主攻的是农业科学——杂交水稻，作为首届国家最高科技奖的获得者，他们都是享誉世界的大科学家。
几天前那个瑞雪纷纷的晚上，他们手拉手落座，吴文俊院士对袁隆平说，人们称你是“杂交水稻之父”，数学起源于农业。袁隆平院士则说，数学才是科学之母，直到今天我仍弄不清为什么“负负得正”。说完他们开怀大笑。 相似文献
13.
2001年2月20日,袁隆平、吴文俊两位科学家获得了首届国家最高科学技术奖,每人获奖金500万。国家主席江泽民亲自签署并颁发了获奖证书。 2月22日,湖南省委、省政府隆重召开袁隆平院士荣获首届国家最高科学 相似文献
14.
在新世纪的第一个春天 ,党中央、国务院在北京人民大会堂隆重召开了国家科学技术奖励大会 .在诸多获奖的科学家中 ,最引人注目的是“杂交水稻之父”袁隆平院士和著名数学家吴文俊院士 .吴文俊院士的成就涉及数学诸多领域 ,主要表现在拓扑学和数学机械化两个领域 .他为拓扑学做了奠基性的工作 ,他的“示性类和示嵌类”研究成果 ,被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类” ,享誉世界 ,至今仍被国际同行引用 ,影响深远 .这次获奖 ,是表彰由他开创的数学新领域———数学机械化的卓越贡献 .数学机械化的思想来源于中国古算 ,来源… 相似文献
15.
16.
2001年2月19日上午,江泽民主席亲自将首届国家最高科学技术奖500万元颁发给我国著名数学家吴文俊院士,以表彰他在拓扑学和数学机械化等领域的杰出贡献.下面介绍一个最为古老的拓扑学问题——哥尼斯堡七桥问题. 相似文献
17.
2004年10月19日～20日,国家杰出青年科学基金实施十周年学术报告会在京举行。国务委员陈至立到会并作了重要讲话。国家自然科学基金委员会主任陈宜瑜院士作了《坚定不移实施人才强国战略 努力培养和造就拔尖创新人才》的报告。参加会议的有:全国人大常委会副委员长、中国科学院院长路甬祥院士,全国政协副主席、中国工程院院长徐匡迪院士,中国科协徐善衍书记,教育部赵沁平副部长,科技部程津培副部长,人事部王晓初副部长等;国家杰出青年科学基金的历届评审委员会主任、副主任以及有关部委的人士和来自全国各地的近五百名国家杰出青年科学基金… 相似文献
18.
19.
20.
几何定理的机器证明--每个中国数学教师都应懂得的方法 总被引：1，自引：0，他引：1
田长生 《广东技术师范学院学报》2003,(6):82-84
本文着重介绍了几何定理的机器证明的开拓者和奠基人——吴文俊院士创立的“吴法”及其主要成员张景中院士的“消标点法”和杨路教授的“降维算法”。 相似文献