在大数字电子计算机出現以前，阿兰?图灵就预期了他们的作用和实用性……也证实了什么事是电子计算机终究做不来的。
由Windows程序编写高手Charles Petzold用时很多年撰写的这这书分析了当代计算机原理劈山之作、阿兰?图灵名垂千古的毕业论文“On Computable Numbers, with an Application to theEntscheidungsproblem”。图灵之中叙述了这种幻想的电子计算机器，探寻了其作用和本质的局限，从而创建了当代编程设计和可计算性的基本。这这书也好像1本小说集，写作间交叉叙述了图灵的成长历程和教育经历，及其他起起伏伏的一辈子，包含破译法国恩尼格登陆密码的神话亲身经历，他对人工智能技术的探寻，他的性取向，及其最后因双性恋的罪行而在41岁时自尽的凄惨下场。本书详细表明了阿兰?图灵不凡、神话而不幸的一辈子，是掌握图灵的观念和平生的很好经典著作。
阿兰·图灵（1912—1954）是美国物理学家、逻辑学家，被称作电子信息科学鼻祖、人工智能之父，是电子计算机逻辑性的奠基者，明确提出了“图灵机”和“图灵测试”等关键定义。为留念他在计算机领域的巨大贡献，英国电子计算机研究会于1966年开设图灵奖，此荣誉奖被称作电子计算机科技界的诺贝尔奖。
目录
- 第一部分 基 础
- 第1章 这个墓穴埋葬着丢番图
- 第2章 无理数和超越数
- 第3章 几个世纪以来的发展
- 第二部分 可计算数
- 第4章 图灵的学业
- 第5章 运作的机器
- 第6章 加与乘
- 第7章 子程序
- 第8章 万物皆数字
- 第9章 通用机
- 第10章 计算机与可计算性
- 第11章 机器与人
- 第三部分 判定性问题
- 第12章 逻辑与可计算性
- 第13章 可计算函数
- 第14章 主要证明
- 第15章 λ演算
- 第16章 对连续统的设想
- 第四部分 题外话
- 第17章 万物皆是图灵机？
- 第18章 长眠的丢番图
- 参考文献
