逻辑学入门电子版 我的数理逻辑入门书

人生就是如此奇妙，奇妙之处在于其偶然性，而这偶然性似乎又是冥冥之中的一种必然。这种偶然与必然的关系，绝非用辩证法可以打发，而是我们依然未知的世界奥秘所在，是生命的秘密所在。

2007年，是我人生的一大转折，这到不是事业上的，而是心灵上的-----我居然第一次觉得我“会”读书了---我终于知道我需要看什么书，以及我应该怎样看书。（关于这两个问题，我愿意跟有缘人交流探讨，但在此文不展开说了）

《逻辑的引擎》可以说是我转折时期最早阅读的一批书中之一，而且精读了好多遍，对我了解数理逻辑以及莱布尼茨、布尔、康托尔、希尔伯特、罗素、哥德尔、图灵等等起到了极大的作用。

因为，这本书写得通俗易懂，作者马丁·戴维斯本身就是数理逻辑学家，功力深厚。他对希尔伯特第十问题有过深入研究，他写的《可计算性与不可解性》一书被誉为“计算机科学领域极少数真正的经典之一”（引自译者张卜天译后记）。正因为作者本身即是行家，文笔流畅，加上张卜天行云流水般的翻译，使得此书的可读性大大加强。

也就是因为这本书，我知道了张卜天老师，我一直以为他是一位老先生，直到前几年，有幸与张老师相识，才得知他翻译此书时，年仅20出头，让我惊诧不已，因为此时，我已经买过卜天老师翻译的书近20本了，其中有《爱因斯坦传》、《大问题》、《世界的和谐》、《科学革命》《科学源流译丛》（已出11本）等等，后来又买了许多，这个书单还在继续增加。剧透一下，卜天新译作荣格的《金花的秘密》、李约瑟的《大滴定》，彼得·哈里森的《科学与宗教的领地》将在近期上架，都是重量级大书，值得期待！

买书、卖书与读书（不敢说是藏书）可能将伴随我一生了，也将伴随哲学园、智慧园、拾柒年蝉、直觉生活这些公众号。一些我认为的好书，往往都是一些冷门书，她们待字闺中无人识，作者和译者也都是清苦一身，若我能为这样的书做些事情，让她们得以传播，那也算是对我自认的“会”读书的一种评判了。

以下是我读过的《逻辑的引擎》书影

当时读得确实用心

长按二维码购买

¥15