吴文俊简介
吴文俊:数学界的战略科学家
吴文俊从40年代起从事代数拓扑学的研究,取得了一系列重要的成果,其中最著名的是吴示性类与吴示嵌类的引入和吴公式的建立,并有许多重要应用。数学界公认,在拓扑学的研究中,吴文俊起到了承前启后的作用。
50年代,吴文俊和同时代的几位著名数学家的共同工作,推动了拓扑学蓬勃发展,使之成为数学科学的主流之一。吴文俊为此曾获1956年度国家自然科学奖一等奖。1957年,38岁的吴文俊当选为中科院学部委员。
1976年底,受计算机与古代传统数学的启发,吴文俊形成了一个初等几何定理的机械化证明的思想。1977年春节前他成功地用这一思想证明了一些定理。这一研究开创了机器定理证明的时代,国际上称为“吴文俊方法”和“吴消元法”,实现了初级几何与微分几何定理的机器证明,有重要的应用价值,为实现笛卡尔与莱布尼茨提出的以机器代替人脑来促进数学研究与思维方式、方法的变革迈出了一大步。
80年代,美国计算机科学界的权威曾联名写信给我国中央领导,认为吴先生的工作是“第一流的”,“独自使中国在该领域走上了世界领导的岗位”。
吴文俊还特别重视数学机械化的应用。在他的影响下,中科院数学与系统科学研究院成立了数学机械化研究中心,吴文俊的成就被应用于若干高科技领域,取得一系列国际领先的成果。(冯永锋)
-
邵玉芬简介
邵玉芬---博士生导师邵玉芬女汉族1933年出生1961年-1983年上海第一医科大学营养教研组助教讲师;1984年-2000年上海第一医科大学营养教研室主任副教授、教授、博士生导师、享受国务院特殊津贴;2001年至今继续担任博士生导师、并从事营养医学的科研工作。40年来,邵玉...
-
易中天简介
易中天品武则天:这个女人不寻常武则天其实并不叫“武则天”。她姓武,名,也就是照,是武则天发明的字,除了用来做她的名字,没别的用。“则天”是她被迫移居上阳宫后,儿子中宗李显给她上的尊号,全称是“则天大圣皇帝”。武则天临终前留下遗嘱,令去掉帝号,改称皇后。于是,“则...
-
范泉水简介
范泉水:潜心科研15年探秘“病毒王国”刘永华冯春梅这是一场关于病毒的国际学术研讨会,主题:sars病毒和禽流感对人类的威胁。一名中国军人在闪光灯下侃侃而谈。他,就是成都军区疾病预防控制中心副主任范泉水。潜心科研15年,42岁的范泉水在动物病毒和生物毒素研究领...
-
雷军简介
雷军姓名:雷军性别:男出生年月:湖北仙桃毕业院校:武汉大学职务:金山公司董事总经理1992年初加盟金山公司,1992年8月出任北京开发部经理,1994年出任北京金山软件有限公司总经理;1998年联想注资后出任北京金山软件有限公司总经理,负责整个公司的管理、研发、产品销售及市...