Loading AI tools
美國數學家 来自维基百科,自由的百科全书
馬丁·戴維·戴維斯(Martin David Davis,1928年3月8日—)是一位美國數學家,以在希爾伯特第十問題上的工作而著稱。[1][2]
戴維斯的父母都是從波蘭羅茲移民到美國的猶太人,他們在紐約重逢後結了婚。戴維斯在布朗克斯長大,他的父母鼓勵他在那裡接受完整的教育。[1][2]
戴維斯是戴維斯–普特南算法和DPLL算法的共同發明者。他還以其波斯特-圖靈機模型而聞名,他在希爾伯特第十問題上的工作引出了MRDP定理。
戴維斯在希爾伯特第十問題上做出了傑出的工作,並憑藉相關論述而獲得了1975年勒羅伊·斯蒂爾獎、喬夫涅特獎(與魯本·赫什一起)和1974年萊斯特·福特獎。[2][4]他於1982年成為美國文理科學院院士,[2]於2012年被選為美國數學學會首屆會士之一。[5]
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.