跳至內容

馬丁·戴維·戴維斯

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

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

生平

[編輯]

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

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

貢獻

[編輯]

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

獎項與榮譽

[編輯]

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

主要出版物

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

參見

[編輯]

參考文獻

[編輯]
  1. ^ 1.0 1.1 1.2 Jackson, Allyn, Interview with Martin Davis [馬丁·戴維斯訪談] (PDF), 美國數學學會通知英語Notices of the American Mathematical Society 55 (5) (普羅維登斯: 美國數學學會), 2007-09, 55 (5): 560–571 (2008-05) [2020-06-23], ISSN 0002-9920, OCLC 1480366, (原始內容存檔 (PDF)於2020-07-19) (英語)  頁面存檔備份,存於網際網路檔案館
  2. ^ 2.0 2.1 2.2 2.3 2.4 約翰·J·奧康納; 埃德蒙·F·羅伯遜, Davis, MacTutor數學史檔案 (英語) 
  3. ^ 馬丁·戴維·戴維斯數學譜系計畫的資料。
  4. ^ 馬丁·戴維斯. Hilbert's tenth problem is unsolvable [希爾伯特第十問題是無解的]. 美國數學月刊. 1973, 80 (3): 233–269 [2020-06-23]. JSTOR 2318447. doi:10.2307/2318447. (原始內容存檔於2020-06-25) (英語). 頁面存檔備份,存於網際網路檔案館
  5. ^ List of Fellows of the American Mathematical Society [美國數學學會會士名單]. [2014-03-17]. (原始內容存檔於2018-09-26) (英語). 頁面存檔備份,存於網際網路檔案館

外部連結

[編輯]