马丁戴维斯也是丘奇的学生。合作解决希尔伯特第十问题的四人之一。
发布于 上海
概念机器
马丁戴维斯也是丘奇的学生。合作解决希尔伯特第十问题的四人之一。