马丁·戴维·戴维斯

✍ dations ◷ 2025-04-11 00:07:15 #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年被选为美国数学学会首届会士之一。

相关

亚伯达省阿尔伯塔省（英语、法语：Alberta），简称艾省、亚省、阿省，是加拿大的一个省。阿尔伯塔是加拿大西部草原三省之一，西部与不列颠哥伦比亚相邻，东部与萨斯喀彻温相邻，北部与西北地区相邻，
太学太学是中国、朝鲜半岛、越南古代中央官学，为古代教育体系中的最高学府。周朝已有太学之名，当时的太学指中央设立的辟雍等大学。《大戴礼记·保傅》：“帝入太学，承师问道”。汉代
美丽美，哲学概念，汉字“美”是由“羊”和“大”所组成的，由此而延伸出其它美的含义。但是各个时代或者民族对于美的定义是不同的。在甲骨文中，美写作戴羽毛头饰的妇女，与“每”同源，都
span style=color:black;四国地方/span四国（日语：四国／しこく Shikoku */?）是日本四大本土岛屿之一，位于九州东北、本州西南方，居于日本国土的西部偏中处。全岛面积18,297.78平方公里，是日本本土四岛中面积最小的，在世
蔺姓蔺姓为中文姓氏之一，在《百家姓》中排名第278位。出自战国时代七雄之一韩国的宗室。当时韩国宗室有一个叫韩康者，于赵国任官，并获封地于蔺。其后代子孙便以蔺为姓。
生活报生活报是黑龙江日报报业集团主办的系列报之一，于1984年10月6日正式创刊，属都市报类的日报。作为黑龙江省发行量最大、影响力最高的日报，生活报不断发展壮大，已成为全国同类媒体
支配在计算机科学中，控制流图的一个节点 d 支配节点 n，当且仅当从开始节点（可以理解为源）到节点 n的每一条路径均要经过节点d，写作d dom n (一写作d ≫
芥菜团子芥菜团子，是流行于江西南昌的一种风味小点，为芥菜捣碎后，用小磨磨之，挤压出汁，再用汁水同晾干后的水磨纯糯米粉拌匀揉和，然后蒸至半成熟，取出揉匀，再用模具做出团子的形状。芥菜团子
并联电路几个电路元件的两端分别连接于两个节点，此种连接方式称为并联。连接点称为节点。以并联方式连接的电路称为并联电路。从并联电路的电源给出的电流等于通过每个元件的电流的代
保尔·汉宁森保尔·汉宁森（丹麦语：Poul Henningsen，1894年9月9日-1967年11月31日）是一位丹麦作家、建筑师和评论家。在两次世界大战之间是丹麦文化生活的重要人物。在丹麦，他常被简称作“PH”