悼念著名数学家吴文俊先生

显示全部楼层 · 2017-5-18 14:28:32

悼念著名数学家吴文俊先生
文/山东四面八方

中国科学院数学与系统科学研究院7日发布讣告称，我国著名数学家、中国科学院院士、首届国家最高科技奖得主吴文俊因病医治无效，于2017年5月7日7时21分在北京逝世，享年98岁。

你是个老顽童
与华罗庚、钱学森齐雄
三十八岁当院士
让示性类和示嵌类姓了吴⑴
发明了用计算机进行几何定理证明⑵
你是世界巨星⑶
欲问十亿中国人
几知其名？

注释
⑴几何拓扑学是十九世纪形成的一门数学分支，拓扑学被称为“现代数学的女王”，属于几何学的范畴。上世纪50年代前后，吴文俊由繁化简、由难变易，提出“吴示性类”“吴公式”等，为拓扑学开辟了新的天地。
⑵他提出的用计算机证明几何定理的方法。他以1977年发明的(定理证明)方法著称。他引入的求解非线性代数方程组的吴方法是求解代数方程组精确解最完整的方法之一，已经被成功地用于解决很多问题，并实现在当前流行的符号计算软件中。八十年代末，他提出了偏微分代数方程组的整序方法，是目前处理偏微分代数方程组的完整的构造性方法。他扩展了代数簇的通常局限无奇点情形的陈示性数于有任意奇点的陈类与陈数，且定义是可计算的，形成代数几何机械化的新篇章。他给出了多元多项式组的零点结构定理，这是构造性代数几何发展的重要标志。
⑶吴文俊曾获得首届国家最高科技奖（2000年）、首届国家自然科学一等奖（1956年）、首届求是杰出科学家奖（1994年）、邵逸夫数学奖（2006年）、国际自动推理最高奖——埃尔布朗自动推理杰出成就奖（1997年）等。2010年，经国际天文学联合会小天体命名委员会批准，国际编号第7683号小行星被永久命名为“吴文俊星”。