马丁·戴维·戴维斯

✍ dations ◷ 2025-07-18 05:28:14 #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年被选为美国数学学会首届会士之一。

相关

根西根西岛（英语：Guernsey），译作根西或耿西，是英国的王权属地之一，位于英吉利海峡靠近法国海岸线的海峡群岛之中，同泽西外各岛岛组成了“根西行政区”（Bailiwick of Guernsey），首府为圣彼
美德伦理学德性伦理学（英语：virtue ethics）也称为德行伦理学或美德伦理学，是规范伦理学的其中一个理论。德性伦理学聚焦在道德主体，即行为的推动者，道德主体的性格为伦理行为的推动力。与目
国民政府驻外大使馆列表国民政府驻外大使馆列表表列出1933年－1949年中华民国南京国民政府或重庆国民政府驻外的各国大使馆。而国民政府驻外的第一处大使馆为1933年1月6日设立的驻苏维埃联邦共和国大
尼康尼康株式会社（英文：Nikon，日语：株式会社ニコン）简称尼康（英文：Nikon），是一家日本大型光学仪器制造商，也是三菱集团的关系企业之一。“Nikon”此企业名称，为原始之商号“日本光学工业”（N
β-谷固醇β-谷固醇（英语：β-Sitosterol，24β-乙基胆固醇，简称为谷固醇）是化学结构与胆固醇相似的多种植物固醇中的一种。β-谷固醇是具有特异气味的白色蜡状粉末，不溶于水而溶于乙醇。
I-4545号州际公路（Interstate 45，简称I-45）是美国州际公路系统的一部分。呈东南-西北走向，连接德克萨斯州达拉斯（与345号州际公路交汇）与加尔维斯顿（与德克萨斯州公路87交汇）。全长284.9
2019年9月逝世人物列表2019年9月逝世人物列表，是用于汇总2019年9月期间逝世人物的列表。
EXP EDITIONEXP EDITION（韩语：이엑스피 에디션），是IMMABB Entertainment旗下男子组合，组合成员有四人。组合在美国纽约出生，并在韩国首尔成立。在前往韩国成立之前就已经离团。哥伦比亚研究生
上帝对象在面向对象编程领域, 一个上帝对象(God object)是一个或者的对象。上帝对象是反面模式的一个例子。结构化编程背后的基本概念是一个大型的问题应该被分解成为多个较小的问
卢国纪卢国纪（1923年－），四川省合川县（现重庆市合川区）人，中国企业家。民生集团创办人卢作孚之子。1923年出生于四川省合川县（现重庆市合川区）。毕业于国立中央大学工学院土木工程系（今东南大