马丁·戴维·戴维斯

马丁·戴维·戴维斯（Martin David Davis，）是一位美国数学家，以在希尔伯特第十问题上的工作而著称。 

 生平 
戴维斯的父母都是从波兰罗兹移民到美国的犹太人，他们在纽约重逢后结了婚。戴维斯在布朗克斯长大，他的父母鼓励他在那里接受完整的教育。

1950年，他从普林斯顿大学获得博士学位，导师是阿隆佐·邱奇。他是纽约大学的名誉教授。

 贡献 

戴维斯是和DPLL算法的共同发明者。他还以其波斯特-图灵机模型而闻名，他在希尔伯特第十问题上的工作引出了MRDP定理。

 奖项与荣誉 

戴维斯在希尔伯特第十问题上做出了杰出的工作，并凭借相关论述而获得了1975年勒罗伊·斯蒂尔奖、（与一起）和1974年。 他于1982年成为美国文理科学院院士，于2012年被选为美国数学学会首届会士之一。 

 主要出版物 

 书籍





 论文



 参见 

 停机问题


 参考文献 

 外部链接 

 马丁·戴维斯的网页  

Category:数论学家
Category:美國邏輯學家
Category:美国数学学会会士
Category:美国文理科学院院士
Category:科朗数学科学研究所教师
Category:普林斯顿高等研究院访问学者
Category:普林斯顿大学校友
Category:20世紀美國數學家
Category:21世紀美國數學家
Category:布朗克斯人