蒙特卡洛的密碼鎖：環環相扣的邏輯謎題（簡體書）

這是一本內容奇特的趣味邏輯推理書。有的謎題看起來簡單，卻極容易被答錯；有的謎題有多種解決方法，而最巧妙的方法往往不容易被發現；有的謎題顧左右而言他，只有經過縝密的思考才能夠識破重重干擾，發現其中的奧妙；有些謎題環環相扣，如懸疑小說般引人入勝。本書啟發人們從不同的角度思考問題，有助於培養邏輯推理能力。

雷蒙德·M.斯穆裡安是世界著名的邏輯學家、數學家，也是一位職業鋼琴演奏家和職業魔術師。1959年於普林斯頓大學獲得哲學博士學位。先後任教於達特茅斯學院、普林斯頓大學、印第安納大學、紐約城市大學雷曼學院等。斯穆裡安是哥德爾不完全性定理研究專家，但他同時致力於向普通讀者普及數理邏輯。著有30余部著作，包括數理邏輯專業著作以及趣味邏輯謎題書。

《蒙特卡洛密碼鎖謎案》既是一本趣味邏輯科普書，又算得上一本情節曲折、引人入勝的推理小說。其中的每一個謎題都基於特定的情境，有監獄、瘋人院、發問者之島、夢之小島、蒙特卡洛銀行、邏輯機器……這些故事背景充滿奇幻色彩，在燒腦的同時亦勾起了讀者的好奇心和想象力，引人遐思。

我的第一本謎題書出版之後，收到了為數眾多、令人著迷的讀者來信，但寫信人的名字我一直記不住。其中，有一封信來自一位著名數學家(他曾經是我的同學)的10歲兒子，他也曾如饑似渴地閱讀過我的書。那封信裡面有一個漂亮的原創謎題，據說創作它的靈感源於我的書裡面的一些謎題。我很快給男孩的父親打了電話，祝賀他有一個聰明的兒子。在叫男孩來接電話之前，這位父親用柔和的、尋求同謀的語氣對我說：“他正在讀你的書，可喜歡呢!但是你和他通話時，千萬不要讓他知道他正在讀的東西是數學，因為他討厭數學!如果他知道這本書實際上是數學書，那麼他肯定會馬上停止讀這本書!”
我之所以提這件事，是因為它反映了一個最奇怪但也最普遍的現象：我見過許許多多的人聲稱他們討厭數學，但是當我把邏輯題或數學題用謎題的形式呈現出來時，他們又會對這些問題產生極其濃厚的興趣。倘若好的迷題書被認定是治療所謂“數學焦慮”的最好方法之一，那麼我完全不會感到訝異。另外，所有數學專著其實都可以改編成謎題書!我有時候會想，歐幾裡得要是採用這樣的方式來撰寫那部經典著作《幾何原本》,結果會怎麼樣?譬如，不是把等腰三角形的底角相等表述為一個定理並且給出證明，而是這樣寫：“問題：假定一個三角形有兩邊相等，那麼是否必定有兩個角相等?為什麼是，或者為什麼不是?”歐幾裡得的其他定理也這樣來處理。那麼這本書很可能成為非常受歡迎的一本謎題書!
總的來說，我自己的謎題書往往與眾不同，因為我首要關心的是那些跟邏輯和數學當中深刻而重要的結論有重大關聯的謎題。因此，我的第一本邏輯書的真正目的，在於讓公眾粗略了解哥德爾的偉大定理談論的是什麼。你現在拿著的這本書則朝著這個方向進一步推進。我的一門名為“謎題與悖論”的課程就是採用了本書內容。課堂上有個學生對我說：“你知道嗎，整
本書，特別是第三和第四部分，充滿了數學小說的味道。我以前可從來沒有看過這樣的東西!”
我認為“數學小說”這個詞用得特別貼切，這本書的大部分內容確實是以講故事的方式來寫的。本書還有一個相當不錯的別名：《蒙特卡洛的密碼鎖》①,因為書的後半部分講的是蘇格蘭場的探員克雷格必須破解蒙特卡洛的一個保險箱的密碼，以阻止一場災難。當克雷格首次開箱失敗後，他回到倫敦，在那裡偶然結識了一位才華橫溢但又古怪的機器發明家。他們和一位數理邏輯學家合作，很快三個人就意識到他們身處一片越來越深的水域，正漂向哥德爾偉大發現的核心。當然，他們最後發現蒙特卡洛鎖就是一種偽裝的“哥德爾”鎖，它的操作方法完美地展現了哥德爾的一種基本思想。這一思想常被用於處理自我增殖這種備受關注的現象。
作為一個值得一提的意外收獲，克雷格和他的朋友的研究牽扯出了一些迄今為止公眾或者科學團體都未知曉的令人驚奇的數學發現。這些發現就是在本書中首次揭曉的“克雷格定律”和“弗格森定律”。它們對於普通人、邏輯學家、語言學家以及計算機科學家來說應該具有同樣的吸引力。
整本書的創作對於我來說充滿了樂趣，閱讀起來也應該會同樣有趣。我正在計劃幾部後續作品。我再一次想感謝我的編輯克婁斯(Ann Close)及製作編輯羅森塔爾(Melvin Rosethal),感謝他們給予了我很大的幫助。

第一部分 是女人還是老虎/001
第1章 老掉牙的故事和新編的故事/003
第2章 是女人還是老虎/011
第3章 塔爾博士和費舍爾教授的瘋人院/022
第4章 克雷格探員造訪特蘭西瓦尼亞/035
第二部分 謎題和元謎題/049
第5章 發問者之島/051
第6章 夢之小島/063
第7章 元謎題/073
第三部分 蒙特卡洛的密碼鎖/083
第8章 蒙特卡洛的密碼鎖/085
第9章 一個古怪的數字機器/090
第10章 克雷格定律/101
第11章 弗格森定律/115
第12章 插曲：讓我們來推廣一下/124
第13章 其中的關鍵/128
第四部分 可解還是不可解/135
第14章 弗格森的邏輯機器/137
第15章 可證明性和真句子/146
第16章 會自我判斷的機器/156
第17章 必死數和不朽數/168
第18章 永遠無法製造出來的機器/174
第19章 萊布尼茨的夢想/179