l 哪扇门里是女人而不是老虎?算对就可以无罪释放。
l 一所被精神病患者占领的精神病院,医生被关起来了,如何发现这里的问题,并救出里面的医生?
l 在一个只提问而不正面回答问题的小岛上如何分辨出实在人和狡诈人?
……
数学、逻辑思维、哲学,我们生活中又离不开数学推理。谜题书是治疗“数学焦虑”最好的方法之一。这本烧脑的数学逻辑推理小说让你爱上推理,爱上数学。
无论你是高中生,还是对逻辑学、语言学、计算机科学感兴趣的人,或者是谜题爱好者,这本数学小说一定会让你爱上推理,爱上数学。
在我所收到的为数众多、让人着迷的那些关于《我的第一本谜题书》(我可能从来都记不得它的名字!)的信件当中,有一封来自一个著名数学家(我以前的一个同学)的十岁的儿子。那封信里面有一个漂亮的原创谜题,它的诞生缘于他曾经如饥似渴地阅读的那本书当中某些谜题的启发。我马上给男孩的父亲打电话,祝贺他有一个聪明的儿子。在叫男孩接电话之前,男孩的父亲用柔和的、寻求同谋的语气对我说:“他正在读你的书,可喜欢了!但是当你和他通话时,不要让他知道他正在读的东西是数学!如果他哪怕有一点点意识到这实际上就是数学,那么他肯定会马上停止读那本书的!”
我提到这件事,因为它描述了一个最奇怪但也是最普遍的现象:我碰见如此多的人宣称他们憎恨数学,如果我把任意的逻辑或者数学问题以谜题的形式呈现出来的话,他们却又会对这些问题产生极其强烈的兴趣。如果可以证明好的谜题书是治疗所谓“数学焦虑”的最好方法之一,那么我一点都不会对此感到惊奇。另外,所有数学论著其实都能够以谜题书的形式写出来!有时候,我想知道,欧几里得要是采用这样的方式撰写他那本经典的《几何原理》会怎么样。譬如,不是把等腰三角形的底角相等表述为一个定理并且接着给出它的证明,而是这样写:
问题:假定一个三角形有两边相等,那么其中是否必然有两个角相等?为什么是,或者为什么不是?(答案参见XX页。)
所有其他定理也这样处理,那么这样的一本书也许早就成为历史上最受欢迎的谜题书了!
我自己的谜题书往往与众不同,因为我首要关心的是那些跟逻辑和数学中深刻而且重要的结果有重大关联的谜题,《我的第一本逻辑书》的真正写作目的,在于让公众粗略了解哥德尔的伟大定理谈论的是什么。你现在拿着的这本书在这个方向走得更远。我在一个名为“谜题与悖论”的课程里面采用了这本书的手稿,在那个课程当中,有一个学生对我说:“你知道,这整本书,特别是第三部分和第四部分,有太多数学小说的味道。我以前从来没有见过这样的东西!”
我认为“数学小说”这个短语用得特别贴切。这本书的大部分内容确实是以叙述的方式来写的,并且因为本书的后半部分讲的是这样一个案子,苏格兰场的探员克雷格必须要找到打开用蒙特卡洛法设置的保险箱的密码来阻止一场灾难,所以还可以给这本书另外起一个“蒙特卡洛之锁谜案”这样的好名字。当这个探员发现刚开始破解箱子的努力不成功的时候,他回到伦敦,在那里他偶然碰上一个许久未见的熟人,而这个熟人恰恰是一个非常聪明但又古怪的数字机器发明家。他们和一个数理逻辑学家一起合作,很快三个人就意识到他们自己正身处那些奔向哥德尔伟大发现的核心地带的、深不可测的水流之中。当然,最后发现蒙特卡洛之锁就是一把伪装的“哥德尔”锁,它的操作方法漂亮地反映了哥德尔的一个根本观念,这个观念在许多处理自我增殖这种引人注目的现象的科学理论当中都有一些基本应用。
作为一个值得注意的意外收获,克雷格和他的朋友们的调查牵扯出了一些迄今为止不为公众或者科学团体所知的令人惊奇的数学发现。这些发现就是这里首次发表的“克雷格定律”和“弗格森定律”,对于外行人、逻辑学家、语言学家以及计算机科学家来说应该具有同样程度的吸引力。
整本书的写作对于我来说一直是一个巨大的乐趣,而阅读它也应该会带来同等的乐趣。我正在计划几部后续作品。我再次感谢我的编辑安·克娄斯以及制作编辑梅尔文·罗森塔尔给予我的那些美妙帮助。
雷蒙德·斯穆里安(RaymondSmullyan),生于1919年,至今年届九旬。世界著名数学家、逻辑学家和哲学家,他还是一个钢琴演奏师和舞台魔术师。他先后在芝加哥大学的罗斯福学院教授钢琴,在达特茅斯大学教授数学。在普林斯顿大学、印第安纳大学、纽约城市大学的雷曼学院和研究生中心教授哲学和逻辑。后来又回到印第安纳大学。应聘为奥斯卡·尤因哲学教授。最后在那里荣誉退休。他撰写了23本书。其中6本是学术专著,17本是通俗著作。
第一部分 是女人还是老虎?
第一章 老掉牙的和崭新的故事
第二章 女人和老虎?
第三章 塔尔博士和费瑟尔教授的疯人院
第四章 克雷格探员造访特兰西瓦尼亚
第二部分 谜题和元谜题
第五章 发问者之岛
第六章 梦之小岛
第七章 元谜题
第三部分 蒙特卡洛之锁的秘密
第八章 蒙特卡洛之锁的秘密
第九章 一台古怪的数字机器
第十章 克雷格定律
第十一章 弗格森定律
第十二章 插曲:让我们来推广吧!
第十三章 其中的关键
第四部分 可解的还是不可解的?
第十四章 弗格森的逻辑机器
第十五章 可证明性和真
第十六章 谈论它们自己的机器
第十七章 必死的数和不死的数
第十八章 永远不会建造出来的机器
第十九章 莱布尼兹的梦想