吴文俊简介
吴文俊:数学界的战略科学家
吴文俊从40年代起从事代数拓扑学的研究,取得了一系列重要的成果,其中最著名的是吴示性类与吴示嵌类的引入和吴公式的建立,并有许多重要应用。数学界公认,在拓扑学的研究中,吴文俊起到了承前启后的作用。
50年代,吴文俊和同时代的几位著名数学家的共同工作,推动了拓扑学蓬勃发展,使之成为数学科学的主流之一。吴文俊为此曾获1956年度国家自然科学奖一等奖。1957年,38岁的吴文俊当选为中科院学部委员。
1976年底,受计算机与古代传统数学的启发,吴文俊形成了一个初等几何定理的机械化证明的思想。1977年春节前他成功地用这一思想证明了一些定理。这一研究开创了机器定理证明的时代,国际上称为“吴文俊方法”和“吴消元法”,实现了初级几何与微分几何定理的机器证明,有重要的应用价值,为实现笛卡尔与莱布尼茨提出的以机器代替人脑来促进数学研究与思维方式、方法的变革迈出了一大步。
80年代,美国计算机科学界的权威曾联名写信给我国中央领导,认为吴先生的工作是“第一流的”,“独自使中国在该领域走上了世界领导的岗位”。
吴文俊还特别重视数学机械化的应用。在他的影响下,中科院数学与系统科学研究院成立了数学机械化研究中心,吴文俊的成就被应用于若干高科技领域,取得一系列国际领先的成果。(冯永锋)
-
夏定邦简介
夏定邦夏定邦1937年11月出生,湖南省安化县人。中共党员。1958年长沙市三中毕业后,在长沙市岳麓中学、安化县区、乡联校、六中、十中及五七大学工作,历任校长、党支部书记等职,小学高级教师。1996年,主编迎接香港回归诗词联专著《羊角之声》并出版;1999年至2001年,编导...
-
吴贻芳简介
吴贻芳姓名:吴贻芳性别:女出生年月:1893-1985年籍贯:浙江杭州学历:美国获密歇根大学研究院哲学博士学位吴贻芳(1893-1985)教育家。浙江杭州人。女。1919年毕业于金陵女子大学理科。后留学美国,获密歇根大学研究院哲学博士学位。1928年回国。曾任金陵女子文理学院校长、...
-
谭锡畴简介
谭锡畴:我国第一批地质学家王仰之谭锡畴(1892—1952),地质学家、区域地质学家、矿业学家、地质教育家。是我国第一批地质学家之一。在我国许多省区从事过最早的区域地质矿产调查,尤其是山东白垩纪地层古生物调查(最早发现我国的恐龙化石)、四川西康地质矿产调查具有开...
-
乌苏拉简介
乌苏拉简历曾于2003年荣获中国国家友谊奖,同年获西藏自治区珠峰友谊奖。十年前,乌苏拉女士放弃了在普通人们眼里看来的美好生活,只身一人从自己的祖国南斯拉夫来到了西藏,为了西藏患有大骨节病等地方性疾病的孩子们,她先在西藏拉萨学习了两年藏语及一些医学常识,然后...