两位数学大师的胸怀

1900年，德国数学家希尔伯特提出了“希尔伯特第十问题”。它要求寻找判定整系数代数多项式方程是否有解的算法。究竟是什么算法呢？当时没有明确的定义。这一问题在提出后的30年里，没有取得任何实质性进展。20世纪30年代，对算法的研究逐步深入。经过美国学者戴维斯、普特南和罗宾逊夫人相继十余年的研究，才提出了“罗宾逊猜想”，虽距离“希尔伯特第十问题”的解决只有一步之遥，但这一步却难似登天。

1970年1月4日，俄罗斯数学家马蒂亚塞维奇成功地证明了“罗宾逊猜想”，从而一举解决了“希尔伯特第十问题”，当时他还不满23岁。

虽然罗宾逊夫人曾经那么接近答案，却仍然失之交臂，但她却没有觉得遗憾，她对数学真理的追求远远超过了任何个人的荣誉。她在给马蒂亚塞维奇的贺信中这样写道：“让我特别高兴的是，当我想到我最初提出那个猜想的时候，你还是个孩子，而我不得不等待着你长大。”戴维斯也非常兴奋，他在自己的经典著作《可计算性与不可解性》的平装本序言里说：“我一生最大的快乐之一，是1970年2月读到马蒂亚塞维奇的工作。”

【素材解读】

罗宾逊夫人和戴维斯曾花费大量心血想攻克“希尔伯特第十问题”这个棘手的数学难题，即使离成功只有一步之遥，但可惜仍然没有突破。当他们得知一位年轻的后起之秀成功地解决了这一难题时，心中既没有遗憾，更没有嫉妒，而是衷心的祝贺和鼓励，对科学真理的追求超过了个人荣誉，其宽广的胸怀令人敬佩。