本書是一本趣味橫生地講述形式邏輯主題的故事書，融合了眾多讀者喜聞樂見的邏輯謎題，以一種獨特的方式來普及數理邏輯。從第一章到第十六章有大量的趣味謎題供讀者思考，包括說謊和講真話的邏輯、沉默的騎士和無賴等... more

的人物在這裡又歡聚一堂，他們鮮明的性格、清奇的腦迴路和怪誕的行為不時讓人捧腹大笑，而其中蘊含的智慧和邏輯知識一定會讓你大開眼界、受益匪淺。 讓我們打開這本書，盡情享受閱讀的樂趣吧。 雷蒙德·M.斯穆里安(1919—2017)，邏輯學家、數學家...... more

本書主要介紹哥德爾不完全性定理，在用簡單例子解說哥德爾的本質思想的基礎上，證明了基於加、乘及冪的塔斯基算術定理和基於加與乘的皮亞諾算術系統的不完全性定理，給出了基於—致性的原初證明、基於簡單一致性的證... more

，你居然也可以到達有史以來最了不起的邏輯發現的洞口。 這個發現叫「哥德爾不完全性定理」，就藏在離洞口不遠的陰影里。你休指望《這本書叫什麼?(奇譎的邏輯謎題)》作者斯穆里安引你進洞，他已經揚長而去了。 雷蒙德·M·斯穆里安(Raymond...... more