Altra ristampa di uno dei tanti libri di Smullyan, anche questo (Raymond M. Smullyan, Donna o tigre? [The Lady or the Tiger? and other logic puzzles], RBA Italia 2009 [1948, 1992], pag. 184, € 9,99, trad. Stefano Evangelisti) parte con una serie di problemini da risolvere con la logica, valutando i vari indizi che sono forniti e arrivando a volte ai metaindovinelli, quelli cioè che si possono risolvere senza sapere la risposta a una domanda specifica, ma sapendo che – se la si sapesse – allora lo si potrebbe risolvere. Un po’ contorto, ma la logica a volte lo è. La seconda parte del libro tratta invece di uno dei cavalli di battaglia di Smullyan, il teorema di Gödel: come già in altri suoi libri, vengono fatti alcuni esempi che man mano portano a un teorema di tipo Gödel in un ambiente ridotto, legati alla costruzione di macchine che seguano una certa logica. In questo caso si fa notare la differenza tra teorema vero e teorema dimostrabile, e si arriva anche al problema dell’halting. Come già negli altri casi, un libro per gli amanti della logica, anche se non facilissimo da seguire. Nota: all’interno del libro il nome del traduttore (che ho ricavato dall’edizione originale Zanichelli) non è indicato, e questo non è bello. La traduzione di Stefano Evangelisti in sé è comunque buona, anche se un po’ datata; c’è uno svarione con le figure a pagina 12 e 16 invertite, ma non penso sia colpa sua.
Ultimo aggiornamento: 2023-01-04 17:44