具体描述
图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型，本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，也附带了大量的历史背景资料、图灵的个人经历，以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
作者简介
目录信息
第一部分 基 础
第1章 这个墓穴埋葬着丢番图 2
第2章 无理数和超越数 10
第3章 几个世纪以来的发展 28
第二部分 可计算数
第4章 图灵的学业 48
第5章 运作的机器 69
第6章 加与乘 86
第7章 子程序 97
第8章 万物皆数字 114
第9章 通用机 130
第10章 计算机与可计算性 150
第11章 机器与人 175
第三部分 判定性问题
第12章 逻辑与可计算性 188
第13章 可计算函数 216
第14章 主要证明 244
第15章 λ演算 266
第16章 对连续统的设想 285
第四部分 题外话
第17章 万物皆是图灵机？ 310
第18章 长眠的丢番图 333
参考文献 341
· · · · · · (收起)
读后感
终于将这本书翻完了，如释重负。 之所以这么说，因为这本书至少有70%的内容是在将图灵的思想和论文，此外还有大量文字讲解数学知识，初看还能接受，但后面竟有多个章节都是讲述这些理论，实在有些专业与乏味。 这本书严格意义上不能算是图灵的传记，少的是图灵的故事，多的是...
评分艾伦图灵 ：计算理论，论可计算数及其在判定性问题上的应用 oncomputable numbers，with an application to the Entscheidungsproblem 图灵写这篇论文的动机是想解决德国数学家大卫、希尔伯特构想的一个问题，希尔伯特想寻找一种通用的方法来判定数理逻辑中的任意命题是否可证...
评分在这之前因为简单看过一些哲学普及书，一直纠结于唯物论->因果论->机械论和自由意志之间的矛盾。我是相信唯物论的，但是又觉得自由意志这个东西并不能由简单的因果关系决定，直到看到了这本书。 这本书详细分析了图灵机的不可判定性问题和哥德尔的不确定性原理，在我看起来，虽...
评分在这之前因为简单看过一些哲学普及书，一直纠结于唯物论->因果论->机械论和自由意志之间的矛盾。我是相信唯物论的，但是又觉得自由意志这个东西并不能由简单的因果关系决定，直到看到了这本书。 这本书详细分析了图灵机的不可判定性问题和哥德尔的不确定性原理，在我看起来，虽...
评分最近一年断断续续在读《图灵的秘密》，现在终于有点眉目了。读图灵机时，第一台图灵机打印010101……倒好明白，第二台图灵机打印0010110111011110……就不太明白了，反复读了若干遍，终于有点明白了。但作者介绍的计算2的平方根的图灵机不懂。就跳过去了。直接看子程序，其中大...
用户评价
别被名字骗了，这是一本很硬的数学书。。。
评分别被名字骗了，这是一本很硬的数学书。。。
评分因为图灵与乔布斯的故事，大家终于把这个天才记起来了。这书不错。
评分对于我是数学再启蒙
评分有点天书的感觉
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有