马丁·戴维·戴维斯
马丁·戴维·戴维斯（Martin David Davis，1928年3月8日—）是一位美国数学家，以在希尔伯特第十问题上的工作而著称。
生平.
戴维斯的父母都是从波兰罗兹移民到美国的犹太人，他们在纽约重逢后结了婚。戴维斯在布朗克斯长大，他的父母鼓励他在那里接受完整的教育。
1950年，他从普林斯顿大学获得博士学位，导师是阿隆佐·邱奇。他是纽约大学的名誉教授。
贡献.
戴维斯是和DPLL算法的共同发明者。他还以其波斯特-图灵机模型而闻名，他在希尔伯特第十问题上的工作引出了MRDP定理。
奖项与荣誉.
戴维斯在希尔伯特第十问题上做出了杰出的工作，并凭借相关论述而获得了1975年勒罗伊·斯蒂尔奖、（与一起）和1974年。他于1982年成为美国文理科学院院士，于2012年被选为美国数学学会首届会士之一。
生成维基百科快照图片，大概需要3-30秒！
如果网站内容有侵犯您的版权
请联系：pinbor@iissy.com
请联系：pinbor@iissy.com
Copyright ©2014 iissy.com, All Rights Reserved.