马丁·戴维·戴维斯

✍ dations ◷ 2025-09-11 10:32:51 #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年被选为美国数学学会首届会士之一。

相关

世界人权宣言《世界人权宣言》（法语：La déclaration universelle des droits de l'homme）是联合国大会于1948年12月10日在法国巴黎夏乐宫通过的一份旨在维护人类基本权利的文献（联合国大会
婆罗洲猩猩 (iP. pygmaeus)婆罗洲猩猩（学名：Pongo pygmaeus）是原生于婆罗洲的红猩猩。它们与体型较小的苏门达腊猩猩是亚洲仅有的两种类人猿。像其他大猿一样，猩猩非常聪明，野生猩猩会使用工具和并拥有独特
翼手目蝙蝠，又名.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-s
n元语法n元语法（英语：n-gram）指文本中连续出现的n个语词。n元语法模型是基于(n-1)阶马尔可夫链的一种概率语言模型，通过n个语词出现的概率来推断语句的结构。这一模型被广泛应用于概率
九层塔罗勒（学名：Ocimum basilicum），是一类可用于烹调的香草，大多数是一年生植物，一些是多年生植物，包括非洲蓝罗勒（英语：African blue basil）和泰国罗勒（英语：Thai basil）（Ocimum basilicum var
铭印铭印，又称印记、印迹、印随或印痕。在行为生物学中指的是一种不可逆的学习模式：通常在一段比较短的，由基因决定的时期里（敏感时期），环境的刺激会被长久地植入个体的行为中，后来看来
布里杰-蒂顿国家森林布里杰蒂顿国家森林（英语：Bridger-Teton National Forest）是美国的一处国家森林，1908年7月1日建立，位处怀俄明州西部，占地面积约3,402,684英亩（13,770.17平方千米），最近的城市为杰克
塔莱加奥恩达巴德塔莱加奥恩达巴德（Talegaon Dabhade），是印度马哈拉施特拉邦浦那县的一个城镇。总人口42574（2001年）。该地2001年总人口42574人，其中男性22525人，女性20049人；0—6岁人口4808人，其中男
实皆实皆（缅甸语：စစ်ကိုင်းမြို့）是缅甸实皆省的首府与主要城市。实皆位于距离曼德勒西南二十公里的伊洛瓦底江对岸。实皆是重要的宗教中心，有许多的佛寺。实皆曾在17
四维电流密度四维电流密度 J {\displaystyle J} 是在相对论中，对应电磁学的电流密度以及电荷密度的四维矢量。定义为： j