生平
贡献
奖项与荣誉
主要出版物 书籍 马丁·戴维斯. Computability and Unsolvability [可计算性和不可解性]. 纽约 : 多佛出版社 ISBN 0-486-61471-9（英语） . 马丁·戴维斯. Applied nonstandard analysis [应用非标准分析]. 纽约: 约翰威立 . 1977. ISBN 9780471198970（英语） . 马丁·戴维斯; 伊莱恩·韦尤克 波士顿 : Brace哈科特 学术出版社 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 [是数学洞察算法]. 行为与脑科学 13 (4): 659–60 （英语） .
参见
参考文献 ^ 1.0 1.1 1.2 Jackson, Allyn, Interview with Martin Davis [马丁·戴维斯访谈] (PDF) , 美国数学学会通知 55 (5) (普罗维登斯 : 美国数学学会 ), 2007-09, 55 (5): 560–571 (2008-05) [2020-06-23 ] , ISSN 0002-9920 , OCLC 1480366 , （原始内容 (PDF) 于2020-07-19） （英语） ^ 2.0 2.1 2.2 2.3 2.4 約翰·J·奧康納; 埃德蒙·F·羅伯遜 MacTutor数学史档案 （英语） ^ 马丁·戴维·戴维斯在數學譜系計畫 的資料。 ^ 马丁·戴维斯. Hilbert's tenth problem is unsolvable [希尔伯特第十问题是无解的]. 美国数学月刊 . 1973, 80 (3): 233–269 [2020-06-23 ] . JSTOR 2318447 . doi:10.2307/2318447 . （原始内容于2020-06-25） （英语） . ^ List of Fellows of the American Mathematical Society [美国数学学会会士名单]. [2014-03-17 ] . （原始内容于2018-09-26） （英语） .
外部链接
马丁, 戴维, 戴维斯, martin, david, davis, 1928年3月8日, 是一位美国数学家, 以在希尔伯特第十问题上的工作而著称, 出生, 1928, 1928, 年3月8日, 94歲, 纽约国籍美国母校普林斯顿大学知名于戴维斯, 普特南算法, 英语, davis, putnam, algorithm, dpll算法在希尔伯特第十问题上的工作奖项乔夫涅特奖, 英语, chauvenet, prize, 1975, 科学生涯机构纽约大学论文on, theory, recursive, unsolva. 马丁 戴维 戴维斯 Martin David Davis 1928年3月8日 是一位美国数学家 以在希尔伯特第十问题上的工作而著称 1 2 马丁 戴维 戴维斯出生 1928 03 08 1928 年3月8日 94歲 纽约国籍美国母校普林斯顿大学知名于戴维斯 普特南算法 英语 Davis Putnam algorithm DPLL算法在希尔伯特第十问题上的工作奖项乔夫涅特奖 英语 Chauvenet Prize 1975 科学生涯机构纽约大学论文On the Theory of Recursive Unsolvability 递归不可解理论 1950 博士導師阿隆佐 邱奇博士生莫西 科佩尔 英语 Moshe Koppel 唐纳德 洛夫兰德 英语 Donald W Loveland 目录 1 生平 2 贡献 3 奖项与荣誉 4 主要出版物 5 参见 6 参考文献 7 外部链接生平 编辑戴维斯的父母都是从波兰罗兹移民到美国的犹太人 他们在纽约重逢后结了婚 戴维斯在布朗克斯长大 他的父母鼓励他在那里接受完整的教育 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 主要出版物 编辑书籍马丁 戴维斯 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 英语 参见 编辑对非标准分析的批评 英语 Criticism of nonstandard analysis 停机问题 非标准分析的影响 英语 Influence of nonstandard analysis 参考文献 编辑 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 英语 请检查 publication date 中的日期值 帮助 2 0 2 1 2 2 2 3 2 4 約翰 J 奧康納 埃德蒙 F 羅伯遜 英语 Edmund F Robertson Davis MacTutor数学史档案 英语 马丁 戴维 戴维斯在數學譜系計畫的資料 马丁 戴维斯 Hilbert s tenth problem is unsolvable 希尔伯特第十问题是无解的 美国数学月刊 1973 80 3 233 269 2020 06 23 JSTOR 2318447 doi 10 2307 2318447 原始内容存档于2020 06 25 英语 List of Fellows of the American Mathematical Society 美国数学学会会士名单 2014 03 17 原始内容存档于2018 09 26 英语 外部链接 编辑维基共享资源中相关的多媒体资源 马丁 戴维 戴维斯马丁 戴维斯的网页 页面存档备份 存于互联网档案馆 取自 https zh wikipedia org w index php title 马丁 戴维 戴维斯 amp oldid 61875074, 维基百科，wiki ，书籍，书籍，图书馆，
文章 ，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。