Prendere in giro un uccello canterino: e altri rompicapi logici

In questa collezione di rompicapi logici, divertente e stimolante, Raymond Smullyan, autore di Forever Undecided, continua a deliziarci e sorprenderci con il suo talento nel presentare alcuni dei più importanti pensieri matematici del nostro tempo nella forma piacevole dei puzzle. Nella prima parte del libro, ci trasporta ancora una volta in quel meraviglioso regno dove cavalieri, imbroglioni, sorelle gemelle, fratelli quadrupli, dei, demoni e mortali dicono sempre la verità o mentono sempre, e dove i cercatori di verità affrontano una varietà di problemi affascinanti. La sezione culmina in un incantevole e profondo metapuzzle in cui l'ispettore Craig di Scotland Yard è coinvolto nella ricerca della Fontana della Giovinezza sull'Isola dei Cavalieri e degli Imbroglioni. Nella seconda parte di To Mock a Mockingbird, accompagniamo l'ispettore in un'avventura estiva nel campo della logica combinatoria, un ramo della logica che gioca un ruolo importante nell'informatica e nell'intelligenza artificiale. La sua avventura, che include foreste incantate, uccelli parlanti, sociologi degli uccelli e una classica ricerca, ci offre lungo il cammino il piacere di risolvere puzzle di crescente complessità fino a raggiungere la Master Forest e, grazie al famoso teorema di Gödel, la rivelazione finale.