马丁·戴维·戴维斯

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

生平 

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

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

贡献 

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

奖项与荣誉 

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

主要出版物 

 书籍
 
 
 
 

 论文

参见 
 
 停机问题

参考文献

外部链接 

 马丁·戴维斯的网页  

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