Search
Cancel
卢昌海
数学文化, 8 (2017), pp. 87-97.
是否能找到一种普遍的算法,可用来判定一个任意形式的丢番图方程是否有整数解,从而一劳永逸地解决这类问题?这就是著名的希尔伯特第十问题。在解决希尔伯特第十问题的曲折又漫长的征途中,戴维斯、罗宾逊夫人等数学家们前赴后继,接续奋斗,直至最后马蒂亚塞维奇成功解决问题。跨越了冷战的政治寒冬,跨越了时代、地域、种族,数学家们献身于最美丽的科学与艺术,这是希尔伯特第十问题留给我们最丰厚的精神遗产。