马丁·戴维·戴维斯
近期热点
资料介绍
出生: ( 1928 -03-08) 1928 年3月8日（95岁）纽约
国籍:美国
母校:普林斯顿大学
知名于:戴维斯–普特南算法（英语：Davis–Putnam algorithm）DPLL算法在希尔伯特第十问题上的工作
奖项:乔夫涅特奖（英语：Chauvenet Prize）（1975）
科学生涯
机构:纽约大学
论文:On the Theory of Recursive Unsolvability[递归不可解理论]（1950）
博士导师:阿隆佐·邱奇
博士生:莫西·科佩尔（英语：Moshe Koppel）、唐纳德·洛夫兰德（英语：Donald W. Loveland）
马丁·戴维·戴维斯（Martin David Davis，1928年3月8日—）是一位美国数学家，以在希尔伯特第十问题上的工作而著称。