马丁·戴维·戴维斯
马丁·戴维·戴维斯（Martin David Davis，1928年3月8日—）是一位美国数学家，以在希尔伯特第十问题上的工作而著称。[1][2]
| 马丁·戴维·戴维斯 | |
|---|---|
 | |
| 出生 | 1928 年3月8日 纽约 |
| 国籍 | 美国 |
| 母校 | 普林斯顿大学 |
| 知名于 | 戴维斯–普特南算法 DPLL算法 在希尔伯特第十问题上的工作 |
| 奖项 | 乔夫涅特奖（1975） |
| 科学生涯 | |
| 机构 | 纽约大学 |
| 论文 | On the Theory of Recursive Unsolvability[递归不可解理论]（1950） |
| 博士導師 | 阿隆佐·邱奇 |
| 博士生 | 莫西·科佩尔、唐纳德·洛夫兰德 |
奖项与荣誉
戴维斯在希尔伯特第十问题上做出了杰出的工作，并凭借相关论述而获得了1975年勒罗伊·斯蒂尔奖、乔夫涅特奖（与鲁本·赫什一起）和1974年莱斯特·福特奖。[2][4]他于1982年成为美国文理科学院院士，[2]于2012年被选为美国数学学会首届会士之一。[5]
主要出版物
- 书籍
- 马丁·戴维斯. [可计算性和不可解性]. 纽约: 多佛出版社. 1958. ISBN 0-486-61471-9 （英语）.
- 马丁·戴维斯. [应用非标准分析]. 纽约: 约翰威立. 1977. ISBN 9780471198970 （英语）.
- 马丁·戴维斯; 伊莱恩·韦尤克; Sigal, Ron. [可计算性、复杂性与语言——理论计算机科学的基础] 第2版. 波士顿: Brace哈科特学术出版社. 1994. ISBN 9780122063824 （英语）.
- 马丁·戴维斯. [逻辑的引擎——数学家与计算机的起源]. 纽约: W·W·诺顿公司. 2000. ISBN 9780393322293 （英语）.
- 论文
- 马丁·戴维斯. [希尔伯特第十问题是无解的]. 美国数学月刊. 1973, 80 (3): 233–269 （英语）.
- 马丁·戴维斯. [是数学洞察算法]. 行为与脑科学. 1995, 13 (4): 659–60 （英语）.
参见
- 对非标准分析的批评
- 停机问题
- 非标准分析的影响
参考文献
- Jackson, Allyn, [马丁·戴维斯访谈] (PDF), 美国数学学会通知 55 (5) (普罗维登斯: 美国数学学会), 2007-09, 55 (5): 560–571 (2008-05) [2020-06-23], ISSN 0002-9920, OCLC 1480366, （原始内容存档 (PDF)于2020-07-19） （英语）
- 約翰·J·奧康納; 埃德蒙·F·羅伯遜, , （英语）
- 马丁·戴维·戴维斯在數學譜系計畫的資料。
- 马丁·戴维斯. [希尔伯特第十问题是无解的]. 美国数学月刊. 1973, 80 (3): 233–269 [2020-06-23]. JSTOR 2318447. doi:10.2307/2318447. （原始内容存档于2020-06-25） （英语）.
- [美国数学学会会士名单]. [2014-03-17]. （原始内容存档于2018-09-26） （英语）.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.