Raymond Smullyan (1919-2017) est connu pour avoir écrit des livres d'énigmes logiques et mathématiques qui permettent de montrer au grand public des concepts avancés en logique comme les théorèmes d'incomplétude de Gödel.