马丁·戴维·戴维斯

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

相关

石坂照子石坂照子（日语：石坂照子／いしざかてるこ Ishizaka Teruko ?，1926年9月28日－2019年6月4日），旧姓松浦，日本女性科学家、医学家、免疫学家，在欧美昵称Terry，曾任美国加州理工学院副教
小区小区（英语：Microdistrict，俄语：микрорайо́н，乌克兰语：мікрорайон）是指苏联设计的一种居住建筑群规划区，在今天的俄罗斯及一些前苏联国家依然沿用了这一概念。
魏建功魏建功（1901年11月7日－1980年2月18日），字益三，号天行，江苏海安人，中国语言、文字学家，中国科学院哲学社会科学学部学部委员（院士），九三学社社员。北京大学中文系毕业（1925年），在校师承钱玄
全国犯罪受害者调查因美国政府要统计全国犯罪率的调查，而设的表单。由于国内并非所有受害者都会选择报案，为取得准确数据，必须要透过全国性的调查。
群体基因组学群体基因组学是大规模地比较群体的DNA序列。群体基因组学是一个跟群体遗传学有关的新词。群体基因组学在整个基因组水平上对基因组进行研究，帮助我们更好的理解基因
佛登斯列·汉德瓦萨佛登斯列‧汉德瓦萨（Friedensreich Hundertwasser，1928年12月15日－2000年2月19日），又译佛登斯列‧亨德华沙或百水先生，是一个奥地利画家、雕塑家。他几乎是奥地利20世纪末期最有名
台湾健走日全民健走日是一项由行政院体育委员会提倡，为了鼓励健走运动的推展而举行的活动，自2007年起，每年的11月11日都会在各县市举行，其中台北市是由希望基金会主办而受到瞩目。
香蕉共和国香蕉共和国（英语：Banana Republic）是某一种政治及经济体系的贬称，特别指那些拥有广泛贪污和有强大外国势力介入及间接支配之国家，名字的由来是这种国家通常是依赖出口如香蕉、可
埃德娜·费伯埃德娜·费伯（英语：Edna Ferber，1885年8月15日－1968年4月16日），美国作家，曾获1925年的普利策小说奖。由菲伯的小说《演艺船》改编的同名音乐剧被称为是第一部真正意义上的美国音乐
珍珠母珍珠母﹙Nacre或称Mother of Pearl﹚ 是一种由软体动物所产生的有机及无机混合物，做为该动物贝壳的内层物质；它也是构成珍珠表层亮丽的材料，材质非常坚固，但有弹性，且具有多种鲜艳色