馬丁·戴維·戴維斯
美國數學家
馬丁·戴維·戴維斯（Martin David Davis，1928年3月8日—）是一位美國數學家，以在希爾伯特第十問題上的工作而著稱。[1][2]
| 馬丁·戴維·戴維斯 | |
|---|---|
 | |
| 出生 | 1928 年3月8日 紐約 |
| 國籍 | 美國 |
| 母校 | 普林斯頓大學 |
| 知名於 | 戴維斯–普特南算法 DPLL算法 在希爾伯特第十問題上的工作 |
| 獎項 | 喬夫涅特獎（1975） |
| 科學生涯 | |
| 機構 | 紐約大學 |
| 論文 | On the Theory of Recursive Unsolvability[遞歸不可解理論]（1950） |
| 博士導師 | 阿隆佐·邱奇 |
| 博士生 | 莫西·科佩爾、唐納德·洛夫蘭德 |
生平
戴維斯的父母都是從波蘭羅茲移民到美國的猶太人，他們在紐約重逢後結了婚。戴維斯在布朗克斯長大，他的父母鼓勵他在那裡接受完整的教育。[1][2]
貢獻
戴維斯是戴維斯–普特南算法和DPLL算法的共同發明者。他還以其波斯特-圖靈機模型而聞名，他在希爾伯特第十問題上的工作引出了MRDP定理。
獎項與榮譽
戴維斯在希爾伯特第十問題上做出了傑出的工作，並憑藉相關論述而獲得了1975年勒羅伊·斯蒂爾獎、喬夫涅特獎（與魯本·赫什一起）和1974年萊斯特·福特獎。[2][4]他於1982年成為美國文理科學院院士，[2]於2012年被選為美國數學學會首屆會士之一。[5]
主要出版物
- 書籍
- 馬丁·戴維斯. Computability and Unsolvability [可計算性和不可解性]. 紐約: 多佛出版社. 1958. ISBN 0-486-61471-9 （英語）.
- 馬丁·戴維斯. Applied nonstandard analysis [應用非標準分析]. 紐約: 約翰威立. 1977. ISBN 9780471198970 （英語）.
- 馬丁·戴維斯; 伊萊恩·韋尤克; Sigal, Ron. Computability, complexity, and languages: fundamentals of theoretical computer science [可計算性、複雜性與語言——理論計算機科學的基礎] 第2版. 波士頓: Brace哈科特學術出版社. 1994. ISBN 9780122063824 （英語）.
- 馬丁·戴維斯. Engines of logic: mathematicians and the origin of the computer [邏輯的引擎——數學家與計算機的起源]. 紐約: W·W·諾頓公司. 2000. ISBN 9780393322293 （英語）.
- 論文
參見
參考文獻
- ^ 1.0 1.1 1.2 Jackson, Allyn, Interview with Martin Davis [馬丁·戴維斯訪談] (PDF), 美國數學學會通知 55 (5) (普羅維登斯: 美國數學學會), 2007-09, 55 (5): 560–571 (2008-05) [2020-06-23], ISSN 0002-9920, OCLC 1480366, （原始內容存檔 (PDF)於2020-07-19） （英語） （頁面存檔備份，存於網際網路檔案館）
- ^ 2.0 2.1 2.2 2.3 2.4 約翰·J·奧康納; 埃德蒙·F·羅伯遜, Davis, MacTutor數學史檔案 （英語）
- ^ 馬丁·戴維·戴維斯在數學譜系計畫的資料。
- ^ 馬丁·戴維斯. Hilbert's tenth problem is unsolvable [希爾伯特第十問題是無解的]. 美國數學月刊. 1973, 80 (3): 233–269 [2020-06-23]. JSTOR 2318447. doi:10.2307/2318447. （原始內容存檔於2020-06-25） （英語）. （頁面存檔備份，存於網際網路檔案館）
- ^ List of Fellows of the American Mathematical Society [美國數學學會會士名單]. [2014-03-17]. （原始內容存檔於2018-09-26） （英語）. （頁面存檔備份，存於網際網路檔案館）
