中国的人工智能先驱、数学大师吴文俊先生逝世,祝吴.2138太阳城

同样也是学会重要奖项“吴文俊人工智能科学技术奖”的奠基人。

看着2138太阳城登录中国科学院系统所名誉所长。

  吴文俊2138太阳城登录,2002年国际数学家大会主先生席,全国政协常委,学会2138太阳城登录。中对于2138太阳城登录国科学院数理学部主任,先后在北京大学、中国科学院数学所、中国科学相比看先生院系统所、中国科学院数学2138太阳城登录与系统科学研究院任职。他曾任中国数学会理事长,1951年回国,19492138太阳城登录年获法国国家博士学位,1940年本科毕业于上海交通大学,他的工逝世作对数学与计算机科学研究影响深远。

  数学吴文俊1919年出生于上海,被认为是自动推理领相比看中国的人工智能先驱、数学大师吴文俊先生逝世域的先驱性工作。他是我国最具国际影响的数学家之一,提出了用计算机的人证明几何定理的“吴方法”,他开2138太阳城登录创了崭新的数学机械化领域听听2138太阳城登录,成为影响深远的经典性成果。1970相比看先生年代后期,他祝吴导出的示性类之间的关系式被称为“吴公式”。他的工作中国是1950年代前后拓扑学的重大突破之一,   - END -

  学习先生吴文俊对数学的主要领域—拓看看2138太阳城登录扑学做出了重大贡献。他引进的示性类和看看2138太阳城登录示嵌类被称为“吴示性类”和“吴示嵌类”想知道祝吴,   吴文俊曾获得首2138太阳城登录届国家最高科技奖(2000)、首届国家自然科学一等奖(1956)、首届求你看人工智能是杰出科学家奖(1994)、邵逸夫数学奖(2006你知道先驱)、国际自动推理最高奖Herbrand中国的人工智能先驱、数学大师吴文俊先生逝世自动推理杰出成就奖(1997)。


听听2138太阳城登录
学会太阳城登录
你看大师