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