图灵的秘密
图灵的秘密内容简介
图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型，本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，也附带了大量的历史背景资料、图灵的个人经历，以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
热门摘录
为了纪念图灵机臭名昭著的低性能，我们使用“tar-pit”一词来描述过度一般化的计算机例程，准备这些例程比运行它们花费的时间更多
在这次演讲中，希尔伯特第一次提出了在20世纪20年代早期开始为大家所知的希尔伯特计划，该计划偏离了逻辑主义，试图为所有的数学体系寻求严格的公理系统。为了分析公理系统，希尔伯特构思出了“元数学”和“证明论”，能够使用数理逻辑推导其他数学体系结构中的结论。 现在，这种方法在数学中称为形式化。在希尔伯特的概念里，要构建一个形式化的数学系统，首先要构建定义、公理和从公理推导至定理的法则。理想状态下，生成的系统应该拥有以下四种互相关联的特性： 1、独立性 2、一致性 3、完备性 4、可判定性
图灵的秘密书评
还没人写过点评，快来抢沙发吧
