马丁·戴维·戴维斯

✍ dations ◷ 2025-11-22 10:56:35 #1928年出生,在世人物,数论学家,美国逻辑学家,美国数学学会会士,美国文理科学院院士,纽约大学教授,普林斯顿高等研究院访问学者,普林斯顿大学校友,20世纪美国

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

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

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

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

戴维斯在希尔伯特第十问题上做出了杰出的工作，并凭借相关论述而获得了1975年勒罗伊·斯蒂尔奖、乔夫涅特奖（英语：Chauvenet Prize）（与鲁本·赫什（英语：Reuben Hersh）一起）和1974年莱斯特·福特奖（英语：Paul R. Halmos – Lester R. Ford Award）。他于1982年成为美国文理科学院院士，于2012年被选为美国数学学会首届会士之一。

相关

野人山坐标：26°N 97°E / 26°N 97°E / 26; 97 枯门岭，缅甸称为克钦山区（缅甸语：ကချင်တောင်တန်း），位于中国、缅甸及印度的交界处，绵延千里（近3百公里），至今山区大多还是未被
石岩街道石岩街道是中国广东省深圳市宝安区下辖的一个街道，位于宝安区中西部，介乎龙华街道与西乡街道之间。石岩街道属一个小山村，介乎龙华街道与西乡街道之间，南接南山区西丽街道。伴随
中天综合台中天综合台，是中天电视旗下的频道之一，与中天娱乐台共用节目播出。
第一次广治战役第3师海军陆战师别动军第1装甲旅第20坦克团正规军：40,000人北越军广治方向主攻：顺化方向袭扰：溪山方向待命：美国等国正式介入之后美国撤出至南越灭亡第一次广治战役，（越南语：Chi
摩西湖市摩西湖市（Moses Lake）位于美国华盛顿州格兰特县。美国2010年人口普查时人口为20,366人。摩西湖市是格兰特郡最大的城市。摩西湖市有一个姊妹市：摩西湖市与米泽市之间有很长的历
长清区长清区是中国山东省济南市所辖的一个市辖区。总面积为1178平方公里，2003年末人口为53.32万。长清区西倚黄河，距济南市区22公里，是省城济南的近郊区。长清区原为长清县，得名于过
AFI百年百大电影AFI百年百大电影（英语：AFI's 100 Years... 100 Movies）是美国电影学会发布的“AFI百年系列”（英语：AFI 100 Years... series）的第一个部分，它发布于于1998年，由美国电影学会（AFI）从400
约翰·库利奇·亚当斯约翰·库利奇·亚当斯（英语：John Coolidge Adams，1947年2月15日－），一般简称为约翰·亚当斯或亚当斯，美国当代古典音乐作曲家，简约主义音乐的代表人物之一。亚当斯的音乐结合了简约主
膨胀地球说膨胀地球说是一个假设地球上的大陆漂移都是因地球膨胀所致的学说。相反，收缩地球说（英语：Geophysical global cooling）则是假设地球上的板块移动都是因地球收缩所致的学说。自从
JR西日本521系电力动车组IR石川铁道： IR石川铁道线WDT59B（电动车）EB・TE装置车両异常挙动検知システム521系电力动车组（日语：521系電車）是西日本旅客铁道（JR西日本）的交直流近郊形列车。