计算进化史

读着费劲，总感觉文笔差

很好的科普，浅出

主要想讨论的是计算对证明的重要性。对“证明”这一概念的梳理比较清楚，尤其谓词逻辑和判定性问题的章节，提纲挈领，对理解语言哲学也有帮助。

难得把如此深奥、本质的主题介绍地如此浅显和引人入胜。

第二章算是本书真正的重点，从介绍谓词演算到丘奇图灵论题再到构造性证明，是一般此类书籍涉及较少的领域，但是第一、三章就过于平庸了，可以不带期待随便看看，比较平实无华。

这个主题好新奇，但是要承认后面看不懂了

深入浅出，但是数学本身就永无止境。

中学生科普，流畅。 ——感谢当当云阅读提供电子文本。

很好的書，但是繙譯特別拉垮。前面幾章應當配合Versitasium的視頻「Math Has a Fatal Flaw」食用。