尤里·马季亚谢维奇
原文拼写: Юрий Владимирович Матиясевич
活跃于约1947年, 苏联列宁格勒(今俄罗斯圣彼得堡)
数学基础算术与数论
俄罗斯数学家兼逻辑学家,1970年22岁时证明了现称“马季亚谢维奇定理”的结果,完成了希尔伯特第十问题的否定解答。
尤里·马季亚谢维奇生于列宁格勒。他是1964年国际数学奥林匹克金牌得主,就读于列宁格勒国立大学,1969年毕业,并在斯捷克洛夫数学研究所列宁格勒分部(LOMI)完成博士研究。
1900年提出的希尔伯特第十问题询问是否存在通用算法判定丢番图方程是否有整数解。马丁·戴维斯、希拉里·普特南和朱莉娅·罗宾逊二十年的研究已将该问题归约为证明每个递归可枚举集都是丢番图集(DPRM猜想),马季亚谢维奇于1970年补上了最后一步:利用斐波那契数列的指数增长,他证明了这样的构造确实存在。结合此前的结果,这证明了不存在这样的算法——这一否定答案现称为MRDP(马季亚谢维奇-罗宾逊-戴维斯-普特南)定理。
马季亚谢维奇的整个职业生涯都在圣彼得堡的斯捷克洛夫研究所度过,自1980年起领导其数理逻辑实验室,1995年成为正教授;后来还担任圣彼得堡数学会主席。他1993年的专著《希尔伯特第十问题》至今仍是该领域的标准参考书。
工作单位: 斯捷克洛夫数学研究所(圣彼得堡), 圣彼得堡国立大学
俄罗斯