英文
1929—Davis,Martin David
简介
美国数学家和计算机科学家.生于纽约，早年就读于纽约城市学院.1949年、1950年，先后获普林斯顿大学硕士和博士学位.1950—1952年，在伊利诺伊大学做研究工作，1952—1954年，任职在普林斯顿高等研究院.1954—1955年，任戴维斯加利福尼亚大学、1955—1956年，任俄亥俄州立大学助理教授.1956—1959年，在伦斯勒工业学院任教，并从助理教授升为副教授，1959—1960年，任教于纽约大学.1960—1965年，任教于耶西瓦大学，并在1962年晋升为教授.1965年起，任职于纽约大学库朗数学科学研究所，1969年聘为教授.
戴维斯在希尔伯特第10问题和理论计算机科学方面做出了重要贡献.1950年在其博士论文中比较了丢番图谓词和递归可数谓词，前者为通过把丢番图方程中的某些变量看作为定义该谓词的参数而得，后者为用同样方法由任意递归条件而得.他发现了这两个概念的一致性可直接推出希尔伯特第10问题的递归不可解性，并得到了接近于丢番图形式(戴维斯法式)的任意递归可数谓词的形式表示.他的学位论文还开始了对超算术集的研究，这一领域在后来数理逻辑的研究中起了重要作用.1957年，他与帕特南合作从数论中两个未证明的假设推得了上面提到的两谓词的一致性.这两个假设后经人排除了一个，另一个由苏联数学家马季亚谢维奇(Matijacevic，Y.)在1970年证明，从而证明了希尔伯特第10问题的递归不可解性.他在图灵计算模型和图灵计算机方面都做出了重要贡献.他在图灵计算机方面的工作在代数问题不可解度理论中有重要应用.他1958年出版的《可计算性与不可解性》一书是理论计算机领域第一本书形式的出版物，曾被广泛引用.他在自动推演以及丢番图方程不可解度等方面都有重要工作.戴维斯曾于1975年获美国数学会斯蒂尔奖，还获美国数学协会查文尼特奖、福特奖.他还著有《现代数学讲义》(1967)、《应用非标准分析》(1977)、《可计算性、复杂性和语言》(1983)等专著.