马丁·戴维·戴维斯

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

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

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

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

主要出版物
; 书籍
*
*
*
*

; 论文
*
*

参见
*

• 停机问题

*

参考文献
外部链接

• [http://www.cs.nyu.edu/cs/faculty/davism 马丁·戴维斯的网页]