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.