馬丁·戴維·戴維斯

馬丁·戴維·戴維斯（Martin David Davis，1928年3月8日—）是一位美國數學家，以在希爾伯特第十問題上的工作而著稱。^[1][2]

馬丁·戴維·戴維斯
出生	( 1928 -03-08) 1928 年3月8日（97歲） 紐約
國籍	美國
母校	普林斯頓大學
知名於	戴維斯–普特南算法（英語：Davis–Putnam algorithm） DPLL算法 在希爾伯特第十問題上的工作
獎項	喬夫涅特獎（英語：Chauvenet Prize）（1975）
科學生涯
機構	紐約大學
論文	On the Theory of Recursive Unsolvability[遞歸不可解理論]（1950）
博士導師	阿隆佐·邱奇
博士生	莫西·科佩爾（英語：Moshe Koppel）、唐納德·洛夫蘭德（英語：Donald W. Loveland）

生平

戴維斯的父母都是從波蘭羅茲移民到美國的猶太人，他們在紐約重逢後結了婚。戴維斯在布朗克斯長大，他的父母鼓勵他在那裡接受完整的教育。^[1][2]

1950年，他從普林斯頓大學獲得博士學位，導師是阿隆佐·邱奇。^[1][2][3]他是紐約大學的名譽教授。

貢獻

戴維斯是戴維斯–普特南算法（英語：Davis–Putnam algorithm）和DPLL算法的共同發明者。他還以其波斯特-圖靈機模型而聞名，他在希爾伯特第十問題上的工作引出了MRDP定理。

獎項與榮譽

戴維斯在希爾伯特第十問題上做出了傑出的工作，並憑藉相關論述而獲得了1975年勒羅伊·斯蒂爾獎、喬夫涅特獎（英語：Chauvenet Prize）（與魯本·赫什（英語：Reuben Hersh）一起）和1974年萊斯特·福特獎（英語：Paul R. Halmos – Lester R. Ford Award）。^[2][4]他於1982年成為美國文理科學院院士，^[2]於2012年被選為美國數學學會首屆會士之一。^[5]

主要出版物

書籍

• 馬丁·戴維斯. Computability and Unsolvability [可計算性和不可解性]. 紐約: 多佛出版社（英語：Dover Publications）. 1958. ISBN 0-486-61471-9 （英語）.
• 馬丁·戴維斯. Applied nonstandard analysis [應用非標準分析]. 紐約: 約翰威立. 1977. ISBN 9780471198970 （英語）.
• 馬丁·戴維斯; 伊萊恩·韋尤克（英語：Elaine Weyuker）; Sigal, Ron. Computability, complexity, and languages: fundamentals of theoretical computer science [可計算性、複雜性與語言——理論計算機科學的基礎] 第2版. 波士頓: Brace哈科特（英語：Harcourt (publisher)）學術出版社（英語：Academic Press）. 1994. ISBN 9780122063824 （英語）.
• 馬丁·戴維斯. Engines of logic: mathematicians and the origin of the computer [邏輯的引擎——數學家與計算機的起源]. 紐約: W·W·諾頓公司. 2000. ISBN 9780393322293 （英語）.

論文

• 馬丁·戴維斯. Hilbert's Tenth Problem is Unsolvable [希爾伯特第十問題是無解的]. 美國數學月刊. 1973, 80 (3): 233–269 （英語）.
• 馬丁·戴維斯. Is mathematical insight algorithmic [是數學洞察算法]. 行為與腦科學（英語：Behavioral and Brain Sciencesv）. 1995, 13 (4): 659–60 （英語）.

參見

• 對非標準分析的批評（英語：Criticism of nonstandard analysis）
• 停機問題
• 非標準分析的影響（英語：Influence of nonstandard analysis）