馬丁·戴維·戴維斯
馬丁·戴維·戴維斯 | |
---|---|
![]() | |
出生 | 紐約 | 1928 年3月8日
國籍 | 美國 |
母校 | 普林斯頓大學 |
知名於 | 戴維斯–普特南算法 DPLL算法 在希爾伯特第十問題上的工作 |
獎項 | 喬夫涅特獎(1975) |
科學生涯 | |
機構 | 紐約大學 |
論文 | On the Theory of Recursive Unsolvability[遞歸不可解理論](1950) |
博士導師 | 阿隆佐·邱奇 |
博士生 | 莫西·科佩爾、唐納德·洛夫蘭德 |
馬丁·戴維·戴維斯(Martin David Davis,1928年3月8日—)是一位美國數學家,以在希爾伯特第十問題上的工作而著稱。[1][2]
生平
戴維斯的父母都是從波蘭羅茲移民到美國的猶太人,他們在紐約重逢後結了婚。戴維斯在布朗克斯長大,他的父母鼓勵他在那裡接受完整的教育。[1][2]
1950年,他從普林斯頓大學獲得博士學位,導師是阿隆佐·邱奇。[1][2][3]他是紐約大學的名譽教授。
貢獻
戴維斯是戴維斯–普特南算法和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 (英語).
- 論文
- 馬丁·戴維斯. Hilbert's Tenth Problem is Unsolvable [希爾伯特第十問題是無解的]. 美國數學月刊. 1973, 80 (3): 233–269 (英語).
- 馬丁·戴維斯. Is mathematical insight algorithmic [是數學洞察算法]. 行為與腦科學. 1995, 13 (4): 659–60 (英語).
參見
參考文獻
- ^ 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) (英語). (頁面存檔備份,存於網際網路檔案館)
外部連結
|
|