克里斯•伯恩哈特是美国费尔菲尔德大学数学系的一位教授,他从数学的角度入手,研究图灵的可计算数理论及现代计算的诞生,堪称图灵理论最深入的研究者。
发表于2024-05-21
论可计算数 2024 pdf epub mobi 电子书
关于计算机,可以说其发明是一个划时代的发明,在我之前小学中学的教材上一提到计算机都会让记住“ENIAC”这台世界上第一台通用计算机。可以说随后计算机的发展的步伐就开始加速度前进,到了现在计算机可以说是越做功能越强大,越做体积越小越方便携带。可以说我们在享用计算机...
评分第一次知道图灵还是在大学学习计算机基础的时候,当时才知道虽然比尔盖茨靠电脑系统当上了世界首富,但是对电脑真正具有奠基地位的应该是图灵,负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发,成为世界上第一位把计算机实际用于数学研究的科学家。也...
评分在数学和计算机史上,图灵的伟大不言而喻,被称为计算机之父,人工智能之父。1951年,由于在可计算数方面所取得的成就,成为英国皇家学会会员,时年39岁。故这本书主要介绍的是:图灵24岁时写的一篇论文——《论可计算数及其在判定问题中的应用》。 为了解释这篇论文,...
评分在数学和计算机史上,图灵的伟大不言而喻,被称为计算机之父,人工智能之父。1951年,由于在可计算数方面所取得的成就,成为英国皇家学会会员,时年39岁。故这本书主要介绍的是:图灵24岁时写的一篇论文——《论可计算数及其在判定问题中的应用》。 为了解释这篇论文,...
评分从目录看,《论可计算数》原著肯定是好书,但译者太糟。仅就前面的一点翻译来说,就看到把“反证法”译为“矛盾证明法”,“不可公度量”译为“无法测量的长度”。最不能忍的是“希尔伯特证明,如果算术是连续的,那么欧式几何也是连续的”这一句了,根据前后文我估计“连续”...
图书标签: 数学 计算机 计算理论 科普 图灵 计算机科学 人工智能 编程
1936年,24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。这篇论文堪称图灵一生中最重要的贡献。然而,大众对图灵的了解多停留在破解德国的著名密码系统Enigma,帮助盟军取得二战的胜利上。对于数学家图灵,人们往往知之甚少。
在本书中,作者深入分析了图灵的这篇论文,读者只需具备高中水平的数学知识,即可轻松读懂这篇划时代的论文,了解其对现代计算发展的杰出贡献。正如人工智能之父马文•明斯基所说,图灵的论文有着超乎寻常的简洁性及数学之美。任何希望深入了解图灵及其工作的读者都不该错过这本书!
花一个晚上一口气读完了,这是一本很适合有计算理论基础的人看的书,换而言之,不是特别适合对于有限状态机, 对角线法则一无所知的人。这本书最大的好处在于条理比较清晰的从数学方面描述了整个从第十问题到通用图灵机深化过程,并介绍了等价的lambda、post等系统,很不错。推荐喜欢的人一读。
评分虽然翻译有瑕疵还是必须5颗星。
评分科普也许还行
评分看得云里雾里,似懂非懂,糊里糊涂地读完了。一翻一大堆公式就已经露怯了,还是硬着头皮翻完了,总算星星点点采撷了一些精华,对这块有所认知。
评分翻译拉低评分系列
论可计算数 2024 pdf epub mobi 电子书