马丁·戴维·戴维斯

✍ dations ◷ 2025-06-29 01:56:07 #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年被选为美国数学学会首届会士之一。

相关

维克托·魏斯科普夫维克托·弗雷德里克·魏斯科普夫（德语：Victor Frederick Weisskopf，1908年9月19日－2002年4月22日），生于奥地利的美国犹太裔理论物理学家。他曾随维尔纳·海森伯、埃尔温·薛定谔、
欧洲刑警组织欧洲刑警组织（英语：European Union Agency for Law Enforcement Cooperation，简称Europol）前称欧洲警察局（European Police Office）和欧洲缉毒组（Europol Drugs Unit）为欧盟的一个常
730110　数学 120　信息科学与系统科学 130　力学 140　物理学 150　化学 160　天文学 170　地球科学 180　生物学210　农学 220　林学 230　畜牧、兽医科学 240　水产学310　
综合维他命复合维生素（Multivitamin）是一种膳食补充剂，含有维生素及矿物质等微量营养素。通常所见的复合维生素有片剂、胶囊剂、锭剂、粉状、液状及注射剂等形式。除注射剂在医师指导下方
严谨数学上，严谨不同于生活中的严谨，它指数学系统（尤指公理系统）的完备性和相容性。完备性指公理数量不多不少正好可以推导出这门学科的全部结论；自洽性指公理系统内不存在悖论（即既是
四齿七鳃鳗属四齿七鳃鳗属（学名：），是七鳃鳗目七鳃鳗科的一属。是墨西哥南部的莱尔马河-查帕拉湖流域的特有属。属内的两个物种都是受威胁物种。根据FishBase，该属中有两个公认的物种。有时会
勐皋勐皋（缅甸语：မိုင်းငေါ့မြို့，英语：Mong Ngaw或Mongngawt），另译孟奥，是缅甸掸邦皎脉县皎脉镇区下辖的一个镇。该镇处于黑色地带，外人无法访问。居民大多为佛教徒，也有
勒梅茨乡坐标：46°18′N 23°32′E / 46.300°N 23.533°E / 46.300; 23.533勒梅茨乡（罗马尼亚语：Comuna Râmeț, Alba），是罗马尼亚的乡份，位于该国中部，由阿尔巴县负责管辖，面积79平方公里
二次组态相互作用二次组态相互作用（英语：Quadratic configuration interaction，简称QCI）是一种对组态相互作用的扩展，它修正了单、双激发组态相互作用（CISD）的大小一致性问题。
水商卖水商卖（日语：水商売、みずしょうばい）是指日本的特种行业，一些依靠人气收入、不稳定的行业和职业，如陪侍夜总会（英语：Hostess club）、性服务业、歌舞伎町等，为一个通俗俚语。暗指花