图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型，本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，也附带了大量的历史背景资料、图灵的个人经历，以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
具体描述
读后感
艾伦•麦席森•图灵（Alan Mathison Turing）1912年6月23日生于英国伦敦梅达维洛（Maida Vale, London），今年正好是他100周年诞辰。这位英国皇家学会会员、数学家、逻辑学家，被国际公认为计算机科学与人工智能之父。正当他具有奔流不息的思维源泉和将其付诸实践的巨大热...
评分介绍了图灵的数学理论，由浅入深，大学六级英语水平加高中数学知识要求。暂时只扫了一眼，看完后补上详尽的评论。
评分艾伦图灵 ：计算理论，论可计算数及其在判定性问题上的应用 oncomputable numbers，with an application to the Entscheidungsproblem 图灵写这篇论文的动机是想解决德国数学家大卫、希尔伯特构想的一个问题，希尔伯特想寻找一种通用的方法来判定数理逻辑中的任意命题是否可证...
评分这本书的可读性真的很低，趣味性也不强，除了一开始看到的图灵测试的解释以外，其他的就是基于图灵的一篇关于图灵测试的论文的解释，数学太多，不好读，反正不适合一般人读，当我失去了耐心，从头拖到尾都已经觉得是浪费时间，因为学不到什么了，前面的几十页，大量列举了一些...
用户评价
论文那块读的比较费劲，还是没看太懂啊
评分靠被骗了……这是数学啊啊啊
评分一阶谓词逻辑系统是完备的，但是加上算术系统后就是不完备的了
评分靠被骗了……这是数学啊啊啊
评分完全论文即视感..
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有