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.

Nel caso dell’ipotesi di Riemann, a differenza del Teorema di Fermat, è già complicato spiegare l’enunciato: non parliamo naturalmente della dimostrazione. John Derbyshire, matematico di formazione e giornalista di professione, ha pensato di raccogliere la sfida e ha scritto questo libro (John Derbyshire, L’ossessione dei numeri primi [Prime Obsession], Le Scienze 2009 [2003], pag. 403, € 11.80, trad. Angela Iorio) che racconta la storia dei tentativi di soluzione dell’ipotesi. (L’edizione che ho letto io è quella pubblicata per Le Scienze, che stata licenziata da Bollati Boringhieri) Derbyshire ha deciso di separare i capitoli: quelli pari raccontano in maniera più o meno romanzata la storia dell’ipotesi e dei matematici che vi si sono cimentati, mentre quelli dispari sono più tecnici, anche se l’autore promette di non usare praticamente mai l’analisi matematica (e non “senza introdurre alcun calcolo”, come è stato tradotto… L’inglese “calculus” non sono i calcoli!). Ci è riuscito? Mah. La parte matematica non è comunque così facilmente comprensibile, e lo stile è un po’ troppo pettegolezzaio per i miei gusti… però probabilmente è il modo migliore per rendere appetibile la materia a chi non è un esperto del campo.