希爾伯特第十問題，是德國著名數學家希爾伯特1900年在巴黎第二屆國際數學家大會上提出的。它要求尋找判定整係數代數多項式方程是否有解的演算法。究竟是什麽演算法呢？當時沒有明確定義。這一困難，使希爾伯特第十問題在提出後整整30年沒有取得任何實質性進展。 直到20世紀30年代，對演算法的研究才逐漸深入。後又經過美國學者戴維斯、普特南、羅賓遜夫人相繼十餘年的研究，才最終提出了“羅賓遜猜想”。此成果雖距離希爾伯特第十問題的解決只剩下一步之遙，但這一步卻難似登天。時光一年年流逝。那手握最後一把鑰匙的人究竟在哪里呢？ 1970年，俄羅斯數學家馬蒂亞塞維奇成功地證明瞭“羅賓遜猜想”，從而一舉解決了希爾伯特第十問題。當時馬蒂亞塞維奇還不滿23歲。 1970年2月15日，羅賓遜夫人接到了同事的電話，告知她這一消息。羅賓遜夫人曾經那麽接近答案，卻還是失之交臂，但她沒有遺憾。她在給馬蒂亞塞維奇的祝賀信中這樣寫道：“讓我特別高興的是，當我想到我最初提出那個猜想的時候，你還是個孩子，而我不得不等待你的長大。”戴維斯也非常興奮，他在自己的經典著作《可計算性與不可解性》的平裝本序言中寫道：“我一生最大的快樂之一是1970年2月讀到馬蒂亞塞維奇的工作。年輕的馬蒂亞塞維奇同樣對戴維斯、羅賓遜夫人以及在解決希爾伯特第十問題的漫長征途中作出貢獻的所有前輩數學家表達了深深的敬意。

厉害