马丁·戴维·戴维斯

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

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

生平

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

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

贡献

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

奖项与荣誉

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

主要出版物

书籍
  • 马丁·戴维斯. Computability and Unsolvability [可计算性和不可解性]. 纽约: 多佛出版社英语Dover Publications. 1958. ISBN 0-486-61471-9 (英语). 
  • 马丁·戴维斯. Applied nonstandard analysis [应用非标准分析]. 纽约: 约翰威立. 1977. ISBN 9780471198970 (英语). 
  • 马丁·戴维斯; 伊莱恩·韦尤克英语Elaine Weyuker; Sigal, Ron. Computability, complexity, and languages: fundamentals of theoretical computer science [可计算性、复杂性与语言——理论计算机科学的基础] 第2版. 波士顿: Brace哈科特英语Harcourt (publisher)学术出版社英语Academic Press. 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 [是数学洞察算法]. 行为与脑科学英语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·罗伯逊英语Edmund F. Robertson, 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) (英语). 

外部链接