1970年,一位名为尤里·马季亚谢维奇(Yuri Matiyasevich)的年轻的俄罗斯数学家在罗宾逊、戴维斯和普特南所提供的公式基础上解决了类似的问题。
基于1230个网页-相关网页
根据马蒂亚塞维奇 (Yuri Matiyasevich) 等人的工作,递归可枚举集都可以写出类似的公式
基于6个网页-相关网页
应用推荐
模块上移
模块下移
不移动