内容简介
由Windows编程大师Charles Petzold耗时多年编写的这本书剖析了现代计算机原理开山之作、阿兰·图灵流芳百世的论文“On Computable Numbers,with an Application to the Entscheidungs problem”。图灵在其中描述了一种假想的计算机器，探索了其功能和内在的局限性，由此建立了现代程序设计和可计算性的基础。这本书也像是一本小说，行文间穿插讲述了图灵的成长经历和教育背景，以及他跌宕起伏的一生，包括破解德国恩尼格密码的传奇经历，他对人工智能的探索，他的性取向，以及最终因同性恋的罪名而在41岁时自杀的悲惨结局。
AI简介
这是一本深入探讨计算机科学和数学基础的书籍。书中不仅剖析了现代计算机原理开山之作、阿兰·图灵流芳百世的论文“On Computable Numbers,with an Application to the Entscheidungs problem”，还穿插讲述了图灵的成长经历和教育背景，以及他跌宕起伏的一生，包括破解德国恩尼格密码的传奇经历，他对人工智能的探索，他的性取向，以及最终因同性恋的罪名而在41岁时自杀的悲惨结局。
书中首先介绍了图灵机与可计算性的深入探讨，揭示了计算的本质，帮助我们理解哪些数是可以被计算的，哪些数是无法被计算的。接着，书中讲述了阿兰·图灵的生平与教育背景，展现了他对数学和计算机科学的浓厚兴趣和卓越贡献，他的成就对现代计算机科学的发展产生了深远的影响。
书中还深入探讨了判定性问题的计算机证明探索，揭示了通用计算机器无法判断自身的正确性，从而挑战了我们对计算和可计算性的理解。此外，书中还讲述了可计算收敛序列的概念，展示了可计算数与可计算序列之间的关系，以及它们在解决各种问题中的应用。
书中还介绍了哥德尔的不完备性定理，揭示了任何足够强大的数学系统都无法证明
推荐影视
阅读/下载地址