人物-雷蒙·斯木连

雷蒙·斯木连（Raymond Smullyan, 1919-2017）是一位杰出的美国数学家、逻辑学家、钢琴家和多产的逻辑谜题作家。他在本书中被多次提及，因为他擅长用通俗易懂、引人入胜的方式来阐释深刻的逻辑概念，特别是与概念-哥德尔不完全性定理相关的思想。

对形式系统和哥德尔定理的阐释

斯木连的学术著作《形式系统理论》因其对概念-形式系统和哥德尔定理的优雅、简洁的表述而受到作者侯世达的高度评价。

一篇高级论文，但却以关于形式系统的优美讨论开始，是哥德尔定理用优雅的方式表达的一个简单版本。只有第一章值得一读。

Smullyan Raymond[斯木连·雷蒙]，Theory of Formal Systems《形式系统理论》，新泽西，Princeton: Princeton University Press，1961年版，平装本。

逻辑谜题

斯木连更为人所知的是他创作的大量关于概念-悖论、概念-自指和逻辑推理的谜题集。他的著作《这本书叫什么名字？》（What Is the Name of This Book?）与《集异璧》有着相似的读者群和精神内核，都致力于将深奥的逻辑思想普及化、趣味化。

是关于脖论、自指和哥德尔定理的谜题和奇思异想。似乎会有同我这本书一样的读者群。他的书是在我这本全部写完后（除了本文献目录中的某一条外）面世的。

Smullyan Raymond[斯木连·雷蒙]，What Is The Name of This Book?《本书的名字是什么？》，新泽西，Englewood Cliffs: Prentice-Hall，l978年版。

斯木连的工作证明了，最深刻的数学和逻辑思想，完全可以通过轻松、幽默甚至荒诞的谜题来传达，这与《集异璧》通过对话、音乐和艺术来探索同样思想的手法异曲同工。