跳转到内容

马丁·戴维·戴维斯

维基百科，自由的百科全书
马丁·戴维·戴维斯
出生 ( 1928 -03-08) 1928 年3月8日（96歲）
纽约
国籍美国
母校普林斯顿大学
知名于戴维斯–普特南算法（英语：Davis–Putnam algorithm）
DPLL算法
在希尔伯特第十问题上的工作
奖项乔夫涅特奖（英语：Chauvenet Prize）（1975）
科学生涯
机构纽约大学
论文On the Theory of Recursive Unsolvability[递归不可解理论]（1950）
博士導師阿隆佐·邱奇
博士生莫西·科佩尔（英语：Moshe Koppel）、唐纳德·洛夫兰德（英语：Donald W. Loveland）

马丁·戴维·戴维斯（Martin David Davis，1928年3月8日—）是一位美国数学家，以在希尔伯特第十问题上的工作而著称。[1][2]

生平

[编辑]

戴维斯的父母都是从波兰罗兹移民到美国的犹太人，他们在纽约重逢后结了婚。戴维斯在布朗克斯长大，他的父母鼓励他在那里接受完整的教育。[1][2]

1950年，他从普林斯顿大学获得博士学位，导师是阿隆佐·邱奇。[1][2][3]他是纽约大学的名誉教授。

贡献

[编辑]

戴维斯是戴维斯–普特南算法（英语：Davis–Putnam algorithm）和DPLL算法的共同发明者。他还以其波斯特-图灵机模型而闻名，他在希尔伯特第十问题上的工作引出了MRDP定理。

奖项与荣誉

[编辑]

戴维斯在希尔伯特第十问题上做出了杰出的工作，并凭借相关论述而获得了1975年勒罗伊·斯蒂尔奖、乔夫涅特奖（英语：Chauvenet Prize）（与鲁本·赫什（英语：Reuben Hersh）一起）和1974年莱斯特·福特奖（英语：Paul R. Halmos – Lester R. Ford Award）。[2][4]他于1982年成为美国文理科学院院士，[2]于2012年被选为美国数学学会首届会士之一。[5]

主要出版物

[编辑]
书籍
论文
  • 马丁·戴维斯. Hilbert's Tenth Problem is Unsolvable [希尔伯特第十问题是无解的]. 美国数学月刊. 1973, 80 (3): 233–269 （英语）. 
  • 马丁·戴维斯. Is mathematical insight algorithmic [是数学洞察算法]. 行为与脑科学（英语：Behavioral and Brain Sciencesv）. 1995, 13 (4): 659–60 （英语）. 

参见

[编辑]

参考文献

[编辑]
  1. ^ 1.0 1.1 1.2 Jackson, Allyn, Interview with Martin Davis [马丁·戴维斯访谈] (PDF), 美国数学学会通知（英语：Notices of the American Mathematical Society） 55 (5) (普罗维登斯: 美国数学学会), 2007-09, 55 (5): 560–571 (2008-05) [2020-06-23], ISSN 0002-9920, OCLC 1480366, （原始内容存档 (PDF)于2020-07-19） （英语）  （页面存档备份，存于互联网档案馆）
  2. ^ 2.0 2.1 2.2 2.3 2.4 約翰·J·奧康納; 埃德蒙·F·羅伯遜, Davis, MacTutor数学史档案 （英语） 
  3. ^ 马丁·戴维·戴维斯在數學譜系計畫的資料。
  4. ^ 马丁·戴维斯. Hilbert's tenth problem is unsolvable [希尔伯特第十问题是无解的]. 美国数学月刊. 1973, 80 (3): 233–269 [2020-06-23]. JSTOR 2318447. doi:10.2307/2318447. （原始内容存档于2020-06-25） （英语）.  （页面存档备份，存于互联网档案馆）
  5. ^ List of Fellows of the American Mathematical Society [美国数学学会会士名单]. [2014-03-17]. （原始内容存档于2018-09-26） （英语）.  （页面存档备份，存于互联网档案馆）

外部链接

[编辑]
维基共享资源上的相关多媒体资源：马丁·戴维·戴维斯
检索自“https://wiki.matr1x.workers.dev/w/index.php?title=马丁·戴维·戴维斯&oldid=84262861”