吴文俊与张景中:一封珍藏了30年的推荐信

作者: 彭晓伟

来源: 中国科学报

发布日期: 2019-07-27 08:02:45

本文讲述了张景中院士珍藏的一封由吴文俊院士为其赴意大利国际理论物理中心访学所写的推荐信,以及这封信对张景中学术生涯的深远影响。文章详细描述了吴文俊对张景中的学术支持和鼓励,以及张景中在机器证明领域的研究历程和成就。

在张景中先生的办公桌抽屉里,珍藏着一封30年前的推荐信。这封写于1988年的推荐信,是吴文俊先生为张景中赴意大利国际理论物理中心(ICTP)访学交流所写。张景中于1995年当选中国科学院院士,是著名数学家、计算机科学家和数学科普作家。每每谈及自己的学术成长生涯,张景中对吴文俊由衷的钦佩和感激之情总会溢于言表。

作为吴文俊关心和帮助张景中的重要见证物,2018年8月20日,当张景中捐赠这封宝贵的推荐信时,颇为难舍。回顾自己的学术生涯,张景中认为,他最终完成从之前的研究到机器证明研究的转变,是在意大利ICTP访学期间。而之所以首次出国访学期限能延长达11个月,吴文俊的推荐信发挥了重要作用。

1988年6月25日,吴文俊在给张景中的复信中写道:“张景中同志,关于致信ICTP的Eells一事,乐于从命,因为不能写得太具体,也了解不够确切,故只草拟数句,你可酌意修改并添上一些具体事例,打字后再寄信我,由我直接寄出或由我签字后再寄还你由你寄出。此致,敬礼。”一位享誉全球的大科学家,能在百忙之中亲拟3页纸的推荐信,信末还不忘致礼,这让作为后学的张景中甚为感动。

张景中按照吴文俊拟好的信稿,打好字并打印后寄给吴文俊签名。

在ICTP访学期间,张景中受益良多——查阅了不少文献资料,学习了计算机公式推导、通讯等业务知识;应邀在“分析中的整体几何与拓扑方法”和“数学与计算机”两个学术会议上作了关于《定理机器证明的数值并行方法》的报告;在意大利各地(包括ICTP)作了几次学术报告,内容涉及定理机器证明、距离几何、数学教育及微分动力系统;应邀在米兰大学、比萨大学、佛罗伦萨大学等学校的数学系(数学研究所)进行了访问及学术交流;在回国途中,访问了新加坡、泰国和香港地区的一些大学并作了多次学术报告。

所作的学术报告均引起同行的极大兴趣,受到好评。更为重要的是,张景中利用ICTP的计算机设备条件,对机器证明的代数方法作了进一步探讨。张景中早在北大数学力学系求学时,就对机器证明这个新领域产生过浓厚兴趣。1955年,丁石孙先生在高等代数课上提到了塔斯基(Tarskii)的成果:一切初等几何和初等代数的命题都是可以判定的,也就是说,可以用机械的方法解决初等几何和初等代数领域的任何命题是否成立的问题。

受启发,专注领域这让张景中感到颇为奇妙:初等几何的问题千变万化,怎么可能用机械的办法一举而解决?!于是他便选择了数理逻辑专门化作为自己的方向。

20余年后的1978年底,张景中由新疆调到中国科学技术大学(以下简称中科大)数学系任教。在资料室,他阅读了吴文俊1977年发表在《中国科学》上的《初等几何判定问题与机械化证明》,被论文中透露出的敏锐学术眼光和宏伟设想所深深吸引。这篇文章再次激发了他当年在北大求学时产生过的浓厚兴趣,可以说,这是引他进入这一新研究领域的“导航仪”。

在中科大执教的6年,张景中和杨路等人合作了几十篇(部)著作,除了涉及几何算法(距离几何)和动力系统中的泛函方程外,还涉及数值分析、组合几何、计算几何和非线性振动等多个领域。然而,在张景中看来,虽然不少工作做得很出色,但这些工作并没有对相应领域起决定性作用。经过深思熟虑,张景中觉得做研究应向吴文俊学习,专注于一个领域,解决能使这一领域得到根本性改观的问题。2017年5月7日,吴文俊不幸辞世。

张景中在唁电中写道:“早在上世纪50年代,我在北大读书时,得知先生在拓扑学领域作出国际领先的工作,获得国家首届自然科学奖一等奖,非常敬仰并深受激励。1978年,学习了先生有关几何命题机械化判定的论文,大受鼓舞启发,决心追随先生从事数学机械化的研究。吴文俊先生的著作和言谈身教,指引我们的研究工作持续前进;他对从事数学机械化研究的团队,关怀备至。

为了帮助我获得出国交流进修的机会,先生曾手书长达3页的英文推荐信;为了促进研究工作中理论与实践的结合,先生筹划经费为我们购置了第一台386计算机。为中国数学机械化研究队伍的茁壮成长,先生呕心沥血;他对我们学术晚辈的扶持帮助,令人终生铭记……”

UUID: fa8c94ca-a755-4a11-af3e-7b41559ab36f

原始文件名: /home/andie/dev/tudou/annot/AI语料库-20240917-V2/AI语料库/中国科学报公众号-pdf2txt/2019-2020/中国科学报_2019-07-27_吴文俊与张景中:一封珍藏了30年的推荐信.txt

是否为广告: 否

处理费用: 0.0069 元