吴文俊(著名数学家、中国科学院院士)

吴文俊(1919年(己未年)5月12日~2017年5月7日),著名数学家、中国科学院院士,出生于上海,代表作品为《几何定理的机械化证明》《数学机械化》,主要成就为国家最高科学技术奖(2000年)Herbrand自动推理杰出成就奖(1997年)求是杰出科学家奖(1994年)第三世界科学院数学奖(1992年)国家自然科学奖一等奖(1956年)。

分类:科学家 吴姓名人

0推荐

从古代走向未来的数学家——吴文俊

  • 0