Remove ads
馬丁·戴維·戴維斯（Martin David Davis，1928年3月8日—）是一位美國數學家，以在希爾伯特第十問題上的工作而著稱。[1][2]
戴維斯的父母都是從波蘭羅茲移民到美國的猶太人，他們在紐約重逢後結了婚。戴維斯在布朗克斯長大，他的父母鼓勵他在那裡接受完整的教育。[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 （英語）.
- 論文
- 馬丁·戴維斯. Hilbert's Tenth Problem is Unsolvable [希爾伯特第十問題是無解的]. 美國數學月刊. 1973, 80 (3): 233–269 （英語）.
- 馬丁·戴維斯. Is mathematical insight algorithmic [是數學洞察算法]. 行為與腦科學. 1995, 13 (4): 659–60 （英語）.
Remove ads
- 對非標準分析的批評
- 停機問題
- 非標準分析的影響
Remove ads
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
Remove ads