马丁·戴维·戴维斯

✍ dations ◷ 2024-12-22 23:57:42 #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年被选为美国数学学会首届会士之一。

相关

近东近东，早期近代西方地理学者以“近东”指邻近欧洲的“东方”。欧美人使用的词汇，以他们所处的位置来讲，指地中海东部沿岸地区，包括非洲东北部和亚洲西南部，有时还包括巴尔干半岛。
超音波检查医学超声检查（超声检查、超声诊断学）（英语：Medical ultrasound）是一种基于超声的医学影像诊断技术，使肌肉和内脏器官等软组织可视化，包括其尺寸、结构和病理学病灶。产科超声检查广
蟾蜍特尼定蟾蜍特尼定（英语：Bufotenidine，又译为蟾毒色胺内盐）是一种在多种蟾蜍的毒液发现的毒素，是蟾毒色胺的衍生物。
爪兽爪兽亚目（学名：Ancylopoda）是一类已经灭绝了的古哺乳动物，属于奇蹄目。面部轮廓酷似马，但是不长蹄而长爪，且不善奔跑。爪兽的前肢较后肢长，这样的形体看上去像现代的鬣狗。爪兽行
发展地理学发展地理学（Development geography）是研究人类发展水平和生活品质的地理学。发展虽然可以提高人类的生活品质，但也会导致地区差异等问题。发展地理学研究发展的空间格局，并试图
安蒂波德斯群岛坐标：49°40′S 178°46′E / 49.667°S 178.767°E / -49.667; 178.767安蒂德波斯群岛（Antipodes Islands）是属于新西兰的无人岛群。位于南纬49度41分东经178度48分的位置。位
阵亡阵亡（Killed In Action，简称KIA）又称战殁，是军队当中广泛用来描述部队伤亡人员的军事用语，意指在战争中遭受敌军攻击或是友军误击（英语：friendly fire）而死亡的士兵。美军军语 KIA
中国社会科学出版社中国社会科学出版社是中华人民共和国的一家出版社，成立于1978年6月14日，由中国社会科学院创办并主管，社址位于北京市。
天螺属天螺属（学名：）是一个海螺的属，属于天螺科的海洋腹足纲软体动物。下列部分本属物种：如同其他同属天螺科的物种，本属物种的螺壳亦属小型，呈高圆锥形。壳口单纯，外唇不肥厚，也不形成水管
灌口街道灌口街道，是中华人民共和国四川省成都市都江堰市下辖的一个乡镇级行政单位。灌口街道下辖以下地区：蒲阳路社区、南桥社区、文庙社区、瑞莲社区、柳河社区、玉带桥社区、紫东社