图灵的秘密-人物传记-社会科学-太极之巅书单号

书刊介绍

《图灵的秘密》内容简介

图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型，本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。
书中在详解论文的同时，也附带了大量的历史背景资料、图灵的个人经历，以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。
本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
Charles Petzold Windows编程界大师,世界顶级技术作家。1994年5月，Petzold作为仅有的七个人之一（并且是唯一的作家）被《Window Magazine》和Microsoft公司授予Windows Pioneer奖，以表彰他对 Microsoft Windows的成功做出的贡献。Charles Petzold从1984年开始编写个人计算机程序，从1985年开始编写 Microsoft Windows程序。他在《Microsoft Systems Joumal》1986年 12月号上发表了第一篇关于Windows程序设计的杂志论文。从1986年到1995年，他为《PC Magazine》撰写“Environments”专栏，给读者介绍了Windows和OS/2程序设计的许多方面。
直到今天他依然维持 Windows GDI 程序设计首席技术作家的地位。其大作：《Windows程序设计》是尽人皆知的Win32 API编程经典，也称为“Petzold Book”，学习Win32 API编程的人几乎都从这本书入手。

作品目录

引
言
第一部分
基
础
第1章：这个墓穴埋葬着丢番图
第2章：无理数和超越数
第3章：几个世纪以来的发展
第二部分
可计算数
第4章：图灵的学业
第5章：运作的机器
第6章：加与乘
第7章：子程序
第8章：万物皆数字
第9章：通用机
第10章：计算机与可计算性
第11章：机器与人
第三部分
判定性问题
第12章：逻辑与可计算性
第13章：可计算函数
第14章：主要证明
第15章：λ演算
第16章：对连续统的设想
第四部分
题外话
第17章：万物皆是图灵机？
第18章：长眠的丢番图
参考文献