1、深深的敬意
数学问题是数学史上许多重要思想的源泉。希尔伯特第十问题,是德国著名数学家希尔伯特1900年在巴黎第二届国际数学家大会上提出的。它要求寻找判定整系数代数多项式方程是否有解的算法。究竟是什么算法呢?当时没有明确的定义。这一困难,使希尔伯特第十问题在提出后整整30年没有取得任何实质性进展。
直到20世纪30年代,对算法的研究才逐渐深入。后又经过美国学者戴维斯、普特南、罗宾逊夫人相继十余年的研究,才最终提出了“罗宾逊猜想”。此成果虽距离希尔伯特第十问题的解决只剩下一步之遥,但这一步却难似登天。
时光一年年流逝。那手握最后一把钥匙的人究竟在哪里呢?
1970年新年过后第四天,俄罗斯数学家马蒂亚塞维奇成功地证明了“罗宾逊猜想”,从而一举解决了希尔伯特第十问题。当时马蒂亚塞维奇还不满23岁。