|||
2017年5月7日,首届国家最高科技奖获得者、著名数学家吴文俊院士在北京逝世,享年98岁。
吴文俊先生曾于1958~2007年间担任《中国科学》《科学通报》(简称“两刊”)编委及副主编,为刊物发展做出了重大贡献。
除了参与编委会工作,吴文俊先生还在“两刊”发表过多篇重要学术成果。1977年第6期的《中国科学》发表了吴先生的“初等几何判定问题与机械化证明”一文,首创了数学定理机器证明方法,被国际同行誉为“吴方法” ▼
我们整理了吴先生曾在“两刊”发表的文章,以飨读者(文章按发表年份先后排列):
ON SQUARES IN GRASSMANNIAN MANIFOLDS [1953年,《中国科学》英文版]
ESSENTIAL EQUILIBRIUM POINTS OF n-PERSON NON-COOPERATIVE GAMES [1962年,《中国科学》英文版]
NOTES ON COMPLEX MANIFOLDS AND ALGEBRAIC VARIETIES Ⅰ. PLūCKER'S FORMULA [1962年,《中国科学》英文版]
A Theorem on Immersion [1964年,《中国科学》英文版]
线性图的平面嵌入 [1974年,《科学通报》]
代数拓扑I*函子论——纤维方的实拓扑 [1975年,《中国科学》]
THEORY OF I*-FUNCTOR IN ALGEBRAIC TOPOLOGY——REAL TOPOLOGY OF FIBER SQUARES [1975年,《中国科学》英文版]
代数拓扑的一个新函子 [1975年,《科学通报》]
初等几何判定问题与机械化证明 [1977年,《中国科学》]
代数拓扑I*函子论——复形上I*函子的具体计算与公理系统 [1977年,《中国科学》]
初等微分几何的机械化证明(研究简报) [1978年,《科学通报》]
初等微分几何的机械化证明 [1979年,《中国科学》]
I*量度对复形和与有关作法的能计算性 [1980年,《科学通报》]
关于代数方程组的零点——Ritt原理的一个应用 [1985年,《科学通报》]
几何学机械化方法及其应用 Ⅰ.欧氏与非欧几何中的距离、面积与体积 [1986年,《科学通报》]
几何学机械化方法及其应用——Ⅱ.Bertrand型曲线偶 [1986年,《科学通报》]
(我们专门制作了“吴文俊院士纪念专题”,可免费阅读以上文章全文:http://engine.scichina.com/collections/RxqukbJcmjG4G6hix)
在“两刊”创刊六十周年之际,吴先生题词:“术有专精”;他还勉励《中国科学》要”为中国科学的腾飞做出巨大贡献” ——
在老一辈科学大家的激励和感召下,近年来《中国科学》数学辑锐意进取,办刊工作更上一层楼,多次获得国家期刊奖、“百种中国杰出学术期刊”称号、“中国最具国际影响力学术期刊”等荣誉,被推荐为全国“百强报刊”,获得“中国科技期刊国际影响力提升计划”及“中国科技期刊登峰行动计划”资助,其英文版被20多个国际重要的科学数据库收录。
“科学犹长河,创新无止境”。积极面对目前国内学术期刊发展的诸多困难,充满信心、昂首前进,努力提升刊物的学术水平和质量,打造具有广泛影响力的国际学术交流平台,就是我们对吴文俊先生最好的纪念。
2010年《中国科学:数学》编辑同吴先生合影
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-11-24 02:51
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社