吴文俊简介
吴文俊:数学界的战略科学家
吴文俊从40年代起从事代数拓扑学的研究,取得了一系列重要的成果,其中最著名的是吴示性类与吴示嵌类的引入和吴公式的建立,并有许多重要应用。数学界公认,在拓扑学的研究中,吴文俊起到了承前启后的作用。
50年代,吴文俊和同时代的几位著名数学家的共同工作,推动了拓扑学蓬勃发展,使之成为数学科学的主流之一。吴文俊为此曾获1956年度国家自然科学奖一等奖。1957年,38岁的吴文俊当选为中科院学部委员。
1976年底,受计算机与古代传统数学的启发,吴文俊形成了一个初等几何定理的机械化证明的思想。1977年春节前他成功地用这一思想证明了一些定理。这一研究开创了机器定理证明的时代,国际上称为“吴文俊方法”和“吴消元法”,实现了初级几何与微分几何定理的机器证明,有重要的应用价值,为实现笛卡尔与莱布尼茨提出的以机器代替人脑来促进数学研究与思维方式、方法的变革迈出了一大步。
80年代,美国计算机科学界的权威曾联名写信给我国中央领导,认为吴先生的工作是“第一流的”,“独自使中国在该领域走上了世界领导的岗位”。
吴文俊还特别重视数学机械化的应用。在他的影响下,中科院数学与系统科学研究院成立了数学机械化研究中心,吴文俊的成就被应用于若干高科技领域,取得一系列国际领先的成果。(冯永锋)
-
李松简介
李松:孜孜不倦攀高峰李松:1963年7月出生,1992年毕业于吉林大学化学系,获博士学位。1998年美国托马斯杰佛逊大学博士后出站。现为军事医学科学院毒物药物研究所药物化学研究室主任,研究员,博士生导师,药物化学专家。李松教授出生在辽宁省一个县城里,1981年天资聪颖的他...
-
姜泗长简介
姜泗长:模范医学教授姜泗长是我国现代耳鼻咽喉科创始人之一、著名的耳鼻咽喉科专家。1913年生,天津人。1937年毕业于北平大学医学院。曾任中央大学医学院耳鼻咽喉科讲师、副教授。1947年赴美国芝加哥大学医学院进修。1949年回国后,历任南京大学医学院教授、附属...
-
肖维坤简介
肖维坤肖维坤女。河北省昌黎县农业局农艺师。1953年毕业于河北昌黎农校。1992年退休。2001开始在昌黎县老年大学学习绘画。曾在昌黎县画展获二个二等奖,一个三等奖。2003年《中国书法美术年鉴》采用一幅山水画获金奖,北京艺苑之星书画艺术大赛采用一幅获金奖。20...
-
潘颂德简介
潘颂德--上海社会科学院文学教研所名人介绍:潘颂德教授、研究员。男,1941年2月6日出生,上海市人。1963年毕业于上海教育学院中文专业。1963年7月至1981年1月先后任上海市东平中学、图门中学语文、政治教师,教研组长,教导处副主任。1981年1月调入上海社会科学院文学...