马丁·戴维·戴维斯

✍ dations ◷ 2025-10-31 06:38:43 #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年被选为美国数学学会首届会士之一。

相关

  • 战斗或逃跑反应战斗或逃跑反应(英文:Fight-or-flight response),心理学,生理学名词,为1929年美国生理学家怀特·坎农(Walter Cannon)所创建,其发现机体经一系列的神经和腺体反应将被引发应激,使躯体
  • 提睾反射提睾反射(Cremasteric reflex)是指轻轻抚摸男性大腿内侧上方皮肤,可以引起同侧提睾肌(cremasteric muscle)收缩使睾丸上提的反射。提睾反射产生的机制是:当抚摸大腿内侧,由L1和L2
  • 鸡蛋卷蛋卷(或写作蛋卷,又称鸡蛋卷)是一种外表呈黄色和圆筒状的蛋卷。一般可以在中式饼店买到,常当作伴手礼、过年过节礼品。蛋卷是以鸡蛋、油、低筋面粉和细砂糖作原料搅拌,然后煎或烤
  • 戊辰戊辰为干支之一,顺序为第5个。前一位是丁卯,后一位是己巳。论阴阳五行,天干之戊属阳之土,地支之辰属阳之土,是比例和好。中国传统纪年农历的干支纪年中一个循环的第5年称“戊辰年
  • 爱默生拉尔夫·沃尔多·爱默生(英语:Ralph Waldo Emerson,1803年5月25日-1882年4月27日),生于波士顿,美国思想家、文学家。爱默生出生于波士顿,他的父亲是威廉·爱默生是一位知名的一位论
  • 贵州警察学院贵州警察学院,原名贵州警官职业学院,是经贵州省委、省人民政府批准,国家教育部和公安部备案,由贵州省公安厅和教育厅共同管理的全日制公安司法类本科院校,位于中国贵州省贵阳市。
  • 贝斯·库珀贝斯·贝里·库珀(英语:Besse Berry Cooper,1896年8月26日-2012年12月4日),本名贝斯·贝里·布朗(Besse Berry Brown),美国超级人瑞,职业为教师。自同胞尤尼斯·桑博恩于2011年1月31日
  • 2015年澳门半岛大停电2015年澳门半岛大停电发生于该年4月15日上午10时56分,至同日中午12时20分恢复供电,整个停电事故维持约1个半小时,受影响范围主要集中在澳门半岛,在澳门半岛广泛地区有约10万户的
  • 斑马马斑马马(zorse),亦有译为“斑马兽”、“斑驹”,是公斑马与雌马杂交所生的后代,而马斑马(hobra)则是公马与雌斑马所生的后代,两者都是人类蓄意使其交配所产生的动物。斑马马,属混种
  • 佐久间水坝佐久间水坝(日语:佐久間ダム/さくまダム  */?)是横跨静冈县滨松市天龙区佐久间町和爱知县北设乐郡丰根村的一级水系天龙川主流河道中流部分的建设的水库。是日本最高的水坝之