论可计算数

入门计算理论。然而翻译水平不太高…准备继续学习推荐阅读。08-24

本书解决了一直困扰我的问题：当我们谈论“计算机之父”时，我们在谈论哪个父？04-15

大多数都是维基百科上能找到的内容，写得更通俗。翻译真的是……一致性翻译成连续性，完备性翻译成完整性，差分机翻译成差异分析器，天哪……08-11

为原著打五星，同时，中文版也是被翻译毁掉的范本（labmda 积分，Jesus…06-19

图灵为了解决判定问题，而提出了图灵机，证明了图灵机上的是否接纳自身编码问题、停机问题属于不可判定问题（即给定算法和输入，不能给出确定的输出）。这个中间产物图灵机却是指导了后面的通用计算机器的诞生，与现代计算机的物理结构非常类似。而邱奇用lambda演算系统来描述计算，以现代程序语言的角度看，是一种使用宏定义（子字符串的替代规则）来处理字符串的方法，这两套系统的本质是等价的，实在是非常神奇。图灵机模型的物理实现更简单，图灵就也成计算界的祖师了。书中列举了详细的参考文献，可供于下一步深入研究。08-09

天才般的想法，优雅的证明。05-13

lambda 积分？这出版社和译者可用无耻来形容08-14

翻译太差： Hilbert showed that Euclidean geometry was consistent if arithmeticwas consistent 翻译成 "希尔伯特证明，如果算术是连续的，那么欧几里得几何也是连续的". consistent 居然翻译成连续， 在数学上完全是两个不同的概念11-16

看得云里雾里，似懂非懂，糊里糊涂地读完了。一翻一大堆公式就已经露怯了，还是硬着头皮翻完了，总算星星点点采撷了一些精华，对这块有所认知。10-27

一篇论文的来龙去脉。03-18

花一个晚上一口气读完了，这是一本很适合有计算理论基础的人看的书，换而言之，不是特别适合对于有限状态机， 对角线法则一无所知的人。这本书最大的好处在于条理比较清晰的从数学方面描述了整个从第十问题到通用图灵机深化过程，并介绍了等价的lambda、post等系统，很不错。推荐喜欢的人一读。10-04

原作是值得推荐的优秀科普书，可惜译者乱译常用数学名词，这很典型的体现了中信出版社善于引进好书但译者和编辑不负责任的做派。11-16

不知道英文原版如何，反正中文翻译之烂也是没谁了，Lambda积分、差异引擎这种无厘头的东西都出来，我还能说些什么？02-10