是否能找到一种普遍的算法，可用来判定一个任意形式的丢番图方程是否有整数解，从而一劳永逸地解决这类问题？这就是著名的希尔伯特第十问题。在解决希尔伯特第十问题的曲折又漫长的征途中，戴维斯、罗宾逊夫人等数学家们前赴后继，接续奋斗，直至最后马蒂亚塞维奇成功解决问题。跨越了冷战的政治寒冬，跨越了时代、地域、种族，数学家们献身于最美丽的科学与艺术，这是希尔伯特第十问题留给我们最丰厚的精神遗产。
}, issn = {2617-8656}, doi = {https://doi.org/2017-MC-12006}, url = {https://global-sci.com/article/89610/%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9%E7%AC%AC%E5%8D%81%E9%97%AE%E9%A2%98%E6%BC%AB%E8%B0%88} }