Yuri Matiyasevich
1970年,一位名为尤里·马季亚谢维奇(Yuri Matiyasevich)的年轻的俄罗斯数学家在罗宾逊、戴维斯和普特南所提供的公式基础上解决了类似的问题。
基于1230个网页-相关网页
尤里马季亚谢维奇 Juri Wladimirowitsch Matijassewitsch
马季亚谢维奇·尤里·弗拉基米罗维奇(Матиясевич Юрий Владимирович),俄罗斯数学家。1969年毕业于列宁格勒国立大学数学和力学系。1997年获选为俄罗斯科学院院士。2008年当选为数学分部院士。是数理逻辑、算法理论、数论、离散数学等研究领域的著名专家。
详细内容
应用推荐
模块上移
模块下移
不移动