查字典图书网
查字典图书网
内容简介：
图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型，本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，也附带了大量的历史背景资料、图灵的个人经历，以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
目录：
目 录
第一部分 基 础
第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
文章试读：研究过计算机的历史、技术或理论的人，都会接触到“图灵机”这个概念。在1936年，为帮助解决数理逻辑中的一个问题，英国数学家阿兰•图灵（1912—1954）提出了图灵机。它是一种纯属虚构的计算机，连计算机假设也算不上。而由此得到的意外收获是，图灵创立了一个新的研究领域——计算理论（或可计算性），它主要研究数字计算机的功能和局限性。 尽管图灵机是一种并不太合理的计算机，但由于其自身极其简单而大放异彩...
(查看全部试读)