父子双杰，数学泰斗曾宪昌在武大书写智能科学篇章

软件供应链安全

于 2024-09-19 15:21:41 发布

阅读量171

点赞数

原文链接：https://mp.weixin.qq.com/s?__biz=MzIwNjEwNTQ4Mw==&mid=2651586176&idx=1&sn=faec16b77703216c2fef5f9d659fc9e8&chksm=8dd61d3d2c1af77b1ced7f846747c902f52b8bc4e73f6a74e3c6bd8e17798cf4c948743a5b52&scene=126&sessionid=0

版权

AI 时代学什么，怎么学 / 2024.9

曾宪昌(1917-1993)，江西省吉水县人。武汉大学教授曾昭安之子，任职武汉大学教授。1948年赴美国哥大学习，获硕士学位。1950年从美国进步组织中获悉朝鲜战争即将爆发，毅然回国。1951年起任武汉大学数学系副教授、教授、系主任，武汉大学电子计算机软件工程研究所所长。中国计算机科学学会副会长，中国人工智能学会第一任副会长，中国人工智能学报主编。

本文来自：《中国人工智能简史》人邮出版

武汉大学计算机学院人工智能系

论文《

中国早期现代数学家曾昭安

》

武大人工智能历史沿革

人工智能是一门以数学为基石，融合了计算机科学、统计学、脑神经学和社会科学的前沿综合性学科。武汉大学的人工智能学科历史源远流长，是全国最早开展人工智能研究的单位之一。

早在上世纪70年代，著名数学家、计算机科学家李国平院士（全国首批中国国家科学部委员、时任武汉大学副校长）首倡在武汉大学进行人工智能研究，带领团队面向国家智能系统需求开展了大量理论应用研究，例如研制的《油品罐区自动化计算机系统》，实现了油罐储运自动化控制、生产优化和数据管理，填补了国内空白，获得了1978年的全国科学大会奖。

上世纪80年代，武汉大学计算机科学系的曾宪昌教授（时任中国人工智能学会副会长、中国计算机学会副会长）在自动定理证明等领域进行了开创性研究。1987年中国人工智能机器学习学会首届学术交流会议在黄山召开，会上成立全国首届机器学习学会理事会，武汉大学计算机科学系曹加恒教授作为湖北省唯一代表参加大会并当选为理事。1989年3月，武汉大学成功主办中国人工智能学会第六届全国人工智能学术年会。

与吴文俊、王湘浩并称“机器证明三杰”的曾宪昌也是从数学转向计算机的。曾宪昌出生于数学世家，父亲是颇有影响力的数学史专家和历算专家、中国数学会的创建人之一曾昭安。1928年国立武昌中山大学改建为“国立武汉大学”时，曾昭安就是筹备委员会委员。曾宪昌是数学家汤璪真的学生，他在20世纪40年代末留美，和父亲一样在哥伦比亚大学学习数学，并遵照父亲曾昭安的嘱咐，对20世纪40年代末出现在美国费城的世界上第一台电子计算机进行实地考察。曾宪昌回国时带回一批有关计算机科学的资料，这批资料在20世纪70年代创设武汉大学计算机系时发挥了重要的参考作用。

曾宪昌长期从事数学和计算机科学的教学工作，他学识渊博，功力深厚，通晓英、俄、德、法、日五种语言，在数学系和计算机科学系为本科生主讲过数论、高等代数、方程式论、代数整数论、近世代数、方程式的机械求解等课程，为研究生开设过定理机器证明、机器学习、智能软件工程等课程，编写出版了《方程式论》《高等代数》《代数数论》《代数结构》等重要教材。由于在数学理论和计算机科学的定理证明方面取得了突出的学术成就，他被教育部任命为中国代表团团长，出席了在美国华盛顿召开的国际计算机1979年年会；同年底，又出席了在美国底特律近郊举行的1979年国际并行处理会议，发表了两篇论文，刊登在该会的论文集上，受到国内外同行的瞩目。

武汉大学历史上出过不少学术世家，曾家父子算是其中的佼佼者。1958年武大在新三区马路对面修了两栋“校长楼”，一号门住的就是曾昭安、曾宪昌父子。20世纪70年代，武汉上马“一米七轧机”工程，项目召集武汉各高校相关研究者协同攻关，前期的不少技术文档就是由曾昭安翻译的，曾宪昌也参与了用计算机对“一米七轧机”工程进行优化的工作。1978年，武汉大学成立计算机系，曾宪昌也成了武汉大学计算机系首批招收研究生的导师。当时成立计算机系时武汉大学的研究生招生已经结束，学生已到校报到，数学系临时从这一批已经学习了两个多月的学生中调配了三个人去计算机系读曾宪昌的研究生，曾宪昌为这一批研究生选定的研究主题，正是机器定理证明。

王湘浩和曾宪昌研究机器定理证明的终极目标是实现自动推理，这也是很多数学家研究到一定程度后自然而然关注的方向。菲尔兹奖得主弗拉基米尔·沃沃斯基(Vladimir Voevodsky)从代数几何转向研究自动推理、形式化验证，就是因为他的一些工作被人构造出反例后，他对自己的很多工作、很多证明产生怀疑，于是开始试图用可靠的机器验证代替不可靠的人工检查。吴文俊自认依然是数学家，但王湘浩、曾宪昌跳出了数学研究本身，从自动推理入手，并将自动推理的能力应用到其他场景中去实现智能化。

曾老生平大事记

曾宪昌的人生历程在学术与爱国情怀中展开。1936年秋季，他成功考入北京大学数学系，开始了他的求学生涯。

四年后，1940年，他以优异的成绩毕业，并选择留校担任助教，继续在学术领域深耕。1944年，他晋升为讲师，教学与研究并重。

1948年9月，曾宪昌远赴美国哥伦比亚大学，追求更高的学术目标，不仅获得了硕士学位，还顺利取得了博士学位。在那期间，他加入了美国数学学会，频繁参与国际数学与计算机科学的学术会议，分享研究成果。

1950年夏天，朝鲜战争即将爆发，他敏锐地认识到祖国的需要，决定放弃在美国的科研机会，毅然决然地返回祖国。回国后，他回到了母校武汉大学，继续在教育一线贡献力量，首先在1950年9月至12月间，他在哥伦比亚大学数学研究所担任副研究员。

1951年1月，他回到武汉大学，以副教授的身份投身教学工作，为数学系培养了大批优秀人才。此后，他的学术地位不断提升，从1978年起，他担任了计算机科学系的教授，同时也在武汉大学计算软件工程研究所担任所长。

此后，武汉大学在数学论和计算机定理证明方面的研究，取得突出的成就，有的已达到国际乃至突破国际先进水平还将计算机应用于07工程的冷热扎钢生产，获得巨大的经济效益，1984年主持全国重点科研项目电子计算机工程研究所的建设，为中国电子计算机科研事业作出了贡献。

其父曾昭安(1892~1978)，字城益，祖籍江西吉水。武汉大学教授、现代数学家、数学教育家，我国颇有影响的数学史和历算专家，也是中国数学会的创建人之一。

1915年毕业后留学日本，先后在东京高等物理学校和东京高等师范学校读书。1918年回国，又于当年赴美留学，入纽约哥伦比亚大学攻数学，与杜威、史密斯同学。1919年加入美国数学学会。1922年加入中国科学社。1925年获理工博士学位，两次获美国数学论文奖金。同年回国任武昌大学教授、数学系主任。

1927年任武昌中山大学教授、教务委员会主席。1928年武昌中山大学改为国立武汉大学，决定在城外珞珈山建校，曾任筹备委员会委员。但迁建一事遭到省教育当局阻止，他带头组织教授会，向教育部力争“像珞珈山这样的好地方，应该建校，无论哪个总统、主席也阻止不了”，结果获准。

曾昭安在武汉大学任教50年，同时担任中国数学学会理事，武汉市数学学会理事长、主席，武汉科联副主席，中华全国自然科学专门学会联合会常务委员。通晓英、法、德、日等国文字，长于数学、物理、天文，对中国古代数学史、古代天文学、太阳系天体力学和中国历法造诣亦深。在武大主讲几何、行列式、热力学、积分方程、超越函数、高等微积分等课程。其记忆力超人，能背诵圆周率两百多位数。

推荐阅读

《中国人工智能简史：从1979到1993》

作者：林军岑峰著

出版时间：2023.8

出版社：人民邮电出版社

作者团队深入采访了全国十余所主要高校、中科院多个研究所老中青三代人工智能研究者，重点介绍中国人工智能领域杰出的科学家，以及他们创造非凡成果的有趣故事。

本书梳理了自 1979 年至 1993 年中国人工智能领域初期十多年的发展历程，用轻松而真诚的笔触，讲述了为中国人工智能发展寻路的奠基者，并介绍了重要历史事件的来龙去脉，带领读者深入了解中国人工智能发展早期鲜为人知的历史。

《概率导论（第2版·修订版）》

作者：[美] 迪米特里·伯特瑟卡斯，[美] 约翰·齐齐克利斯

译者：郑忠国童行伟

从直观、自然的角度阐述概率；适合理工科学生入门，便于自学。

本书多年来在美国麻省理工学院、斯坦福大学、加州大学等名校被用作概率课程教材，经过课堂检验和众多师生的反馈得以不断完善，是一本在表述简洁和推理严密之间取得优美平衡的经典作品。

《普林斯顿概率论读本》

作者：[美] 史蒂文·J. 米勒（Steven J. Miller）

译者：李馨

普林斯顿读本三剑客之概率论，概率论教材，叙述深入浅出，提供课程视频和讲义，概率论学习图书。

对于学生来说，学习概率论及其众多应用、技术和方法似乎非常费力且令人生畏，而这正是本书的用武之地。这本通俗易懂的学习指南旨在用作概率论的独立教材或相关课程的补充材料，可帮助学生轻松地学习概率论知识并取得良好效果。

本书基于史蒂文·J. 米勒在布朗大学、曼荷莲学院和威廉姆斯学院教授的课程而作。米勒通过先修课程材料、各种难度的问题及证明对概率论这一数学领域进行了详细介绍。探索每个主题时，米勒首先引导学生运用直觉，然后才深入技术细节。本书涵盖的主题很广，并且对材料加以重复以强化知识。读完本书，学生不仅能掌握概率论，还能为将来学习其他课程打下基础。