Carlo Toffalori

Vabbè, il titolo ufficiale di questo librobè 2ℵ0 = ℵ1. Vi lascio immaginare perché si usi il sottotitolo per indicarlo :-) Come il titolo indica, Toffalori non vuole raccontare l'aritmetica degli infiniti (cardinali, per amor di precisione) quanto la storia dell'ipotesi del continuo. Ho apprezzato alcune sue intuizioni che non avevo mai visto in giro; ma devo dire di essere rimasto un po' deluso quando ho visto che i teaser che aveva sparso per il testo si sono limitati alla segnalazione di alcuni risultati degli ultimi anni che hanno a che fare con l'ipotesi del continuo, senza però andare non dico nel dettaglio ma almeno un po' più in profondità. Non garantisco che la cosa fosse fattibile: ma allora sarebbe stato meglio evitare di pubblicizzarla...… (mais)

Che cos'è un algoritmo? Oramai la metafora classica è ben nota: una ricetta, dove però non si trovano quelle indicazioni "un pizzico", "q.b." e simili che fanno imbestialire chi come me non capisce perché i dati nonpossano essere specificate una volta per tutte. In questo libro , però, Toffalori ci porta più avanti, dandoci un assaggio di come gli algoritmi si possano catalogare. La differenza tra le classi P (gli algoritmi che hanno una soluzione in tempo che varia come una specifica potenza della dimensione dei dati in ingresso) e NP (gli algoritmi per cui al momento sappiamo solo dimostrare rapidamente che una soluzione dataci è in effetti corretta, ma per cui al momento il tempo necessario per trovare una soluzione cresce esponenzialmente con la dimensione dei dati) è nota a molti, ma Toffalori aggiunge tante altre classi, creando uno zoo di algoritmi che non si sa ancora classificare in modo unitario. L'unico appunto che posso fare al libro è che sceglie di parlare di algoritmi a livelli molto diversi, perdendo probabilmente parte dei lettori e annoiandone il resto. È inutile: non si può scrivere un testo per tutti.… (mais)

A metà fra l'excursus (quasi) classificatorio ed il dizionario dei romanzieri (gialli) con vena matematica (rari i matematici con vena letteraria).
Un'indagine esso stesso, nello sviscerare analogie e differenze, rimandi, similitudini, leggerezze e qualche errore, da Poe a Sherlock Holmes, Ellery Queen, Philo Vance, Nero Wolfe, con lunghi passaggi su Borges e Chesterton (un sorprendente Padre Brown) ed un tenero omaggio alla modernità (in senso matematico, naturalmente) del Commissario Maigret.
Un qualche approfondimento è dedicato (e come poteva essere diverso?) ai gialli matematici in senso stretto: il teorema di Fermat e la congettura di Goldbach. Quest'ultimo (in
Zio Petros e la congettura di Goldbach di Doxiadis) giustamente trattato come una sorta di summa della matematica del '900, con un incontro/scontro durissimo, anzi fatale del protagonista con le mine di Godel (una volta tanto non citato a sproposito).
Un'unica pecca (peraltro purtroppo assai diffusa): manca l'indice dei nomi (ma è proprio per trovarci, a tutti i costi, qualcosa che non va).… (mais)