马丁·戴维斯

美国数学家，1950年在普林斯顿大学获得博士学位。他是Davis–Putnam算法和DPLL算法的共同发明者。他还以他的Post–Turing机器模型和他在希尔伯特第十个问题上的工作而闻名。