在二十世紀之初，著名的德國數(shù)學(xué)家大衛(wèi)希爾伯特發(fā)表了二十三個吸引人，但卻讓絕大多數(shù)天才數(shù)學(xué)家也大傷腦筋的問題。其中第十問題描述為是否存在一般的算法可以判定所有的丟番圖方程（整系數(shù)多項式方程）的可解性。設(shè)想，存在一個機器對于任意一個丟番圖方程可以判別這個方程是否可解。數(shù)學(xué)家們常常通過簡單而廣泛的觀察來處理大自然中無窮無盡又超乎解決能力范圍的謎題。這個特殊的問題引起了伯克利數(shù)學(xué)家茱莉亞羅賓遜的興趣。經(jīng)過了幾十年的研究，羅賓遜與她的同事包括馬丁戴維斯與希拉里普特南合作，最終給出了一種情況，否定回答了希爾伯特第十問題。
在1970年，一位年輕的俄羅斯數(shù)學(xué)家尤里馬季亞謝維奇利用羅賓遜，戴維斯和普特南提供的思路解決了該問題。由于其在數(shù)論方面杰出的貢獻，羅賓遜成為了杰出的數(shù)學(xué)家，那是一個最重要的數(shù)學(xué)問題之一，羅賓遜為它的解決鋪平了道路。在美國數(shù)學(xué)協(xié)會的一篇文章，“茱莉亞羅賓遜自傳”中，她的妹妹和傳記作家康斯坦斯里德寫到“通常情況下，她永遠不會刻意去收集自己的故事。但就她而言，她在數(shù)學(xué)上所做的一切工作都是重要的。”
注意：遵守《互聯(lián)網(wǎng)資訊信息服務(wù)管理規(guī)定》，廣告性質(zhì)的評會被刪除，相關(guān)違規(guī)ID會被永久封殺。
