吴文俊简介
吴文俊:数学界的战略科学家
吴文俊从40年代起从事代数拓扑学的研究,取得了一系列重要的成果,其中最著名的是吴示性类与吴示嵌类的引入和吴公式的建立,并有许多重要应用。数学界公认,在拓扑学的研究中,吴文俊起到了承前启后的作用。
50年代,吴文俊和同时代的几位著名数学家的共同工作,推动了拓扑学蓬勃发展,使之成为数学科学的主流之一。吴文俊为此曾获1956年度国家自然科学奖一等奖。1957年,38岁的吴文俊当选为中科院学部委员。
1976年底,受计算机与古代传统数学的启发,吴文俊形成了一个初等几何定理的机械化证明的思想。1977年春节前他成功地用这一思想证明了一些定理。这一研究开创了机器定理证明的时代,国际上称为“吴文俊方法”和“吴消元法”,实现了初级几何与微分几何定理的机器证明,有重要的应用价值,为实现笛卡尔与莱布尼茨提出的以机器代替人脑来促进数学研究与思维方式、方法的变革迈出了一大步。
80年代,美国计算机科学界的权威曾联名写信给我国中央领导,认为吴先生的工作是“第一流的”,“独自使中国在该领域走上了世界领导的岗位”。
吴文俊还特别重视数学机械化的应用。在他的影响下,中科院数学与系统科学研究院成立了数学机械化研究中心,吴文俊的成就被应用于若干高科技领域,取得一系列国际领先的成果。(冯永锋)
-
潘颂德简介
潘颂德--上海社会科学院文学教研所名人介绍:潘颂德教授、研究员。男,1941年2月6日出生,上海市人。1963年毕业于上海教育学院中文专业。1963年7月至1981年1月先后任上海市东平中学、图门中学语文、政治教师,教研组长,教导处副主任。1981年1月调入上海社会科学院文学...
-
姚晓明简介
姚晓明简历姚晓明深圳眼科医院医生,深圳狮子会眼库执行主席。在他的奔走号召之下,深圳在全国第一个为人体器官移植立法,角膜捐献数量居全国首位。2005年9月17点50分,姚晓明的同事开始摘取姚妈妈(已宣告脑死亡)的眼球。本来很简单的手术,却因为同事不断地哽咽,迟迟才能...
-
肖定英简介
肖定英肖定英1935年生,湖南祁东人。中共党员。大学文化。北京师范大学政治教育系毕业,历在衡阳师范、北京师范大学、衡阳师范高等专科学校、衡阳师范学院等单位工作;历任校团委书记、助教、班主任、讲师、教研室主任、党支部副书记、副教授等职。1973年发表处女作...
-
谢信圭简介
谢信圭谢信圭男,1933年出生,湖南浏阳人。笔名谢云。政工师,特级书画师。中共党员、离休干部。现为中国书画艺术委员会、中国老年书画艺术委员会、中国中外名人文化研究会、国际书画协会、国际羲之书画协会、湖南省老年书画协会、省直机关书画协会等会员。兼过学术...