![这本书叫什么 - [美] 雷蒙德·斯穆里安](https://static.book345.com/covers/s/9787532634316.jpg)
书籍介绍
翻开它之前，你会以为拿到了一本趣味谜题集：白骗一场、狮子与独角兽、德拉古拉堡的谜语，读来像成人版的脑筋急转弯。可翻到后三分之一，斯穆里安悄悄把哥德尔不完全性定理塞了进来——那个'断定自身不可证明的真句子'，竟能借'岛民'之口让你自己悟出来。这正是全书最见功力的地方：它不靠堆砌公式吓人，而是把'有些真理永远无法被证明'这件足以动摇数学根基的冷峻结论，藏进一场场看似儿戏的推理游戏里。读者反馈两极分明：有人乐在其中，有人被'扇了一巴掌'，也有人读到'假命题蕴涵任何命题'时感到震惊。它适合愿意被'绕进去'再'走出来'的人，也适合对'逻辑究竟能证明什么'怀有好奇的读者。
作者简介
雷德蒙·斯穆里安（Raymond Smullyan，1919— ），印第安纳大学哲学教授。生于纽约，1955年获芝加哥大学理学硕士，1959年在普林斯顿大学取得博士学位。除了《哥德尔不完全性定理》（1992年）、《集合论与连续统问题》（1996年）等逻辑学专著外，他还 出版了一大批普及读物，例如《大道无言》（1977年）、《这本书叫什么？》（1978年，本书被译成意大利文、德文、俄文、日文等多种文字）、《福尔摩斯的象棋经》（1979年）、《秘境中的艾丽丝》（1982年）、《逻辑迷宫》（2009年）等。同时，他还是一位技艺精湛的古典钢琴演奏家、专业的魔术师。
AI导读
核心看点
- 以趣味谜题引入逻辑学，从简单推理进阶至哥德尔不完备性定理
- 融合诡辩、笑话与脑力训练，构建独特的逻辑迷宫阅读体验
- 经典教材级内容，通过君子小人岛等设定训练严密思维
读者共识
- 被誉为逻辑之美启蒙书，兼具趣味性与学术深度
- 部分读者反映后期内容晦涩，需一定脑力储备
- 译文质量获认可，是逻辑谜题领域的经典之作
精彩摘录
- "▶11 另一个法律谜题 两个人因杀人案受审。陪审团确认其中一人有罪，另一人无罪。法官朝着有罪的那一人说：“这才是我今生审过的案子里最最奇特的哩！尽管你犯的罪铁证如山，没有半点理由怀疑，法律还是逼得我非放你不可。” 这怎么解释？ ▶14 熊 这道题有趣之处是不少人听说过，也知道答案，但他们的答案理由不充分。所以，即便你自以为知道答案，也务必查查题解。 某人在一只熊的正南方100码处。他往东走100码，再转向正北，朝正北开枪，便击中了熊。 熊是什么颜色呢？ ▶16 略知天主教教义的诸君，可知天主教教会准不准男人娶他的遗孀的姐妹为妻？ ▶17 某人住在一座三十层公寓楼的第二十五层上。除了星期六和星期"
- "▶38 爱德华还是爱德温？ 这次你只碰到一个岛民，一边吹号，一边擂鼓。你记得他不是叫爱德温便是叫爱德华，却不记得到底叫什么了。你就问他叫什么，他答：“爱德华。” 他到底叫什么？"
- "▶75 麦格雷戈商店案 伦敦某店主麦格雷戈先生打电话报告伦敦警察厅刑事部，他的商店被盗了。三名嫌疑犯A、B、C被抓来审问。确定了如下事实： (1)盗案发生之日，A、B、C三人都到过店里，没有别人到过店里。 (2)如果A有罪，他恰好有一个搭档。 (3)如果B无罪，C也无罪。 (4)如果恰好两人有罪，A是其中之一。 (5)如果C无罪，B也无罪。 克雷格探长指控谁？ ▶78 这一案和下一案审三个人，A、B、C，都因为涉嫌参与作盗。 这一案确定了如下两个事实： (1)如果A无罪或B有罪，C有罪。 (2)如果A无罪，C也无罪。 能具体确定三个人里某人有罪吗？ ▶80 这一案更有趣，牵涉四名被告A、B、C"
- "▶96 改一下，假定你爱的姑娘只想嫁给富君子。你怎么能用一个陈述就让她相信你是富君子？（前提是在君子小人岛，君子永远说真话，小人永远说假话，且岛民都能归入穷和富两类）"
- "(3)如果P那么Q。 这个陈述，人们用符号写成P→Q，有时候也读作“P蕴涵Q”。用“蕴涵”这个词也许有点不合适，不过这个词在文献里已经按这种意思用惯了。前面说过，这个陈述的意思不外是指并非P真而Q假（也就是唯一使其不成立的情况是P真且Q假）。既然如此，我们就有了下面这几个事实： 事实1：如果P假，P→Q自动真。 事实2：如果Q真，P→Q自动真。 事实3：有一种也只有一种情况能够使P→Q假，那就是P真而Q假。 事实1的意思有时被解释成“假命题蕴涵任何命题”。这种说法使许多哲学家十分吃惊（进一步的讨论见第14章224题）。事实2的意思有时被解释成“真命题被任何命题所蕴涵”。"
- "1931年哥德尔公布了令人震惊的发现：在一定意义上数学真理是不可能被全部形式化的。他表明，对一大批满足某些很有道理的条件的数学系统来说，永远免不了有一些句子，尽管是真句子，却不能由系统的公理得到证明！由此可见，不管构思何等精到，也没有一个形式系统适合于证明全部数学真理。起初，哥德尔是就怀特海和罗素的著名系统《数学原理》证明这个结果的。但是，我说过了，他的证明也适用于别的许多系统。在所有的这些系统中，都有一类良定义的表达式叫做句子，都有法子把全部句子分成真句子和假句子这两类。这些系统取某些真句子作公理，而且规定了精确的推论规则好让人能够去证明某些句子和否证另一些句子。除了句子之外，这些系统里还有"
- "考虑到下面这个悖论：这个句子永远不能证明。悖理之处在这里：如果这个句子是假的。“它永远不能证明”就是假的，因此它是能证明的，这意味着它必定是真的，可见，如果她是假的，我们会碰到卖盾，所以它只能是真的。 且慢，我刚才已经证明这个句子是真的了。既然它是真的，它说的其实合乎实际，这意味着它永远不能证明。那么，我刚才怎么又证明了它呢？ 上面这个推理错在哪里？错在可证明概念并不是良定义的。名为“数理逻辑”的那门学科的重要目的之一是要使证明概念变成一个精确的概念。然而，至今也还给不出一个完全严格的证明概念，能按某种绝对的意义去理解。大家谈的都只是在给定系统内的可证明性。现在，假定我们有一个系统，权称系统S"
目录
用户评论
关于逻辑趣题的书那么多，让人哈哈大笑的（我所知的）就这一个。||212的笑话有更好的讲法：出题人对诺依曼说：很多人都用求无穷级数和的方法，那样既笨又慢，还是你聪明啊！诺依曼沉默了几秒，说：我用的就是求无穷级数和的方法。||（雷蒙德对诺依曼真是一点不客气啊。）
第一次感受到逻辑之美
学过谓词逻辑的可以不用去看前70%，后30%颇有启发。
习题集。畅销书风格。
翻了一下，题目没有一一做完，脑袋大
完全锻炼逻辑能力的一本书，无论年龄都很适宜，也能感觉到译者的用心。
小故事比较精彩，要看数理逻辑不如去看教材
interesting
准备在某九做饭时 提问来玩
挺好玩的，脑体急转弯升级版
下载
收藏