Donna o Tigre?

Un libro che fa brillare di nuove prospettive i principi della logica matematica, con un tesoro di nuovi giochi. Ispirato al classico racconto di Frank Stockton, in cui un prigioniero deve scegliere tra due stanze, una delle quali contiene una donna e l'altra la tigre: se sceglie la prima, sposa la donna; se sceglie l'altra, viene mangiato dalla tigre, il lettore viene guidato alla scelta della porta da aprire, basandosi sulla logica, anziché affidarsi alla fortuna. Nei diciannove capitoli del libro, partendo dai più semplici indovinelli e metaindovinelli, che coinvolgono i soliti personaggi di Smullyan: cavalieri e fanti, umani e vampiri, dottori e pazzi, diurni e notturni ecc., si arriva ad esplorare le basi della logica e della matematica, attraverso un divertente racconto matematico: "Il mistero della serratura di Monte Carlo". In questo racconto l'ispettore Craig (altra nota creatura del nostro autore) deve riuscire a scoprire la combinazione perduta di una cassaforte a Monte Carlo, per evitare un disastro. La serratura risulterà essere una serratura "Gödeliana", permettendo al lettore di scoprire una nuova lettura del "Teorema di Incompletezza" di Gödel e del Teorema di Tarski, oltre a fondamentali considerazioni su dimostrabilità e verità e la costruzione di macchine matematiche.