打开网易新闻 查看精彩图片
打开网易新闻 查看精彩图片
打开网易新闻 查看精彩图片

致敬缅怀数学家和计算机科学家王湘浩院士⊙《科海追星》之六百一十

◎著论敢纠定理偏。

算机先启智能源。

笔飞夜雨孤灯亮，

思骋云天万宇翩。

承古韵，拓新篇。

数学世界抢争巅。

湘淮浩浪昆仑雪，

俱入心中化慧泉。

(《鹧鸪天》—张飙)

◎王湘浩院士（1915年5月5日—1993年5月4日）被誉为中国人工智能研究的奠基人。他纠正了类域论中一个重要定理一格伦瓦尔定理的错误，重新证明了有理单纯代数中著名的狄克逊猜想，引起国际代数学界的震动，这一重要结果世称格伦瓦尔-王定理。他关于局部域上单纯代数换位子群的重要成果被国际同行视为关于阿廷问题的经典结果。在计算机科学领域，王湘浩和他的学生利用“保n项关系”的方法解決了多值逻辑中函数集的完备性这一重要问题，利用代数方法建立了线性自动机的系统理论。1977年在国内最早提出开展人工智能研究，主持计算机方向十年规划，倡导并推动了中国人工智能学会的成立。1955年当选中国科学院学部委员（院士）

◎王湘浩坚持“我一定要让中国的数学在这个世界上站得更稳”。他说，“我们中华民族的祖先曾经在数学上作出非常了不起的伟大贡献，比如说，刘徽的《九章算术》里边提到的割圆术求圆周率的方法……今天，我们做科研，不要迷信洋人，要争取比洋人做得好。”他对自己的的希望是：“任何一个时代都有两种人：终其一生创造成果的人；贪图安逸、坐享其成的人。我们搞科研的人，不兴封建迷信那一套，但我希望，如果泉下有知，我能够无愧于天地，因为我的一生都在勤奋耕耘。”

打开网易新闻 查看精彩图片
打开网易新闻 查看精彩图片
打开网易新闻 查看精彩图片

（书法作品和译文由张飙先生提供；编辑报道:中国风华正茂）