马丁·戴维·戴维斯

✍ dations ◷ 2025-08-18 12:41:49 #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年被选为美国数学学会首届会士之一。

相关

  • 质量数质量数(英语:mass number)也称为原子质量数(英语:atomic mass number)或核子数(英语:nucleon number),符号为A,是指中性原子中,原子核内质子数目和中子数目的总和,质量数的数值都是整数。
  • 日耳曼妮娅日耳曼妮娅(德语:Germania)是德国及德意志人的拟人化身,其形象与1848年革命浪漫主义有关,常见于德意志帝国期间。日耳曼妮娅是一个健壮的女性,有着一头红色金发,身着盔甲,挥舞着神圣
  • NCsoftNCsoft是韩国的网络游戏公司,成立于1997年3月11日,主要发展方向为大型多人在线角色扮演游戏。总部设在首尔,于美国、欧洲及亚洲多国皆有子公司与合资企业。同时拥有韩国职棒NC
  • 漠北漠北可以指:
  • 井伊直弼井伊直弼(1815年11月29日-1860年3月24日),字应卿,号埋木舍、柳王舍、宗观等。近江国彦根藩第15代藩主兼江户幕府的大老,在安政大狱中大肆翦除异己,最著名的事迹是与美国签订日美修
  • 军工业国防工业,亦称作军事工业,是由涉及军事装备及设备硏究、开发生产与服务的政府与商业产业组成,其中包括:亦可包括以下:国防工业大致可分为三个方面论述,其中包括武器产业链、武器自
  • 蓬莱市蓬莱市为山东省烟台市的一个县级市,位于渤海和黄海的交界之处。“八仙过海”的神话传说,便发生在这里,相传吕洞宾、铁拐李、张果老、汉锺离、曹国舅、何仙姑、蓝采和、韩湘子八
  • 公共广播协会公共广播电视公司(英语:Public Broadcasting Service),也译作“美国公共电视网”或“美国公共电视台”,是美国公共电台和电视台节目发行渠道。它是一家非盈利组织,同时也是在美国
  • 亚历山大丹尼士Enviro 350H亚历山大丹尼士Enviro 350H(Alexander Dennis Enviro 350H)是一款由英国亚历山大丹尼士生产的两轴单层混合动能巴士,它也是亚历山大丹尼士制造的其中一款Enviro系列巴士。Envir
  • 寺庄镇 (望都县)寺庄镇,原为寺庄乡,是中华人民共和国河北省保定市望都县下辖的一个乡镇级行政单位。2018年12月撤乡设镇。区划代码改为130631104。寺庄镇下辖以下地区:寺庄村、三堤村、南下叔