吴文俊
吴文俊(1919-2017 ),上海人。1951年归国任教开云app体育
。数学家。中国科学院院士。数学机械化研究领域开创者。对数学的核心领域拓扑学作出重大贡献,开创了数学机械化新领域,对国际数学与人工智能研究影响深远。用算法的观点对中国古算作了分析,同时提出用计算机自动证明几何定理的有效方法,在国际上被称为“吴方法”。著有《几何定理机器证明的基本原理》等。1957年当选为中国科学院数学物理学部委员(院士),1991年当选为第三世界科学院院士。获1956年度国家自然科学一等奖,2000年度国家最高科学技术奖。2019年9月17日被授予“人民科学家”国家荣誉称号。2019年9月25日被授予“最美奋斗者...