Libri Giorgio Balzarotti / Lava Paolo P. - Facile, Anzi... Difficilissimo I Pro

Argomenti trattati nel volume: Parte prima La macchina per creare i teoremi, L'obsolescenza della dimostrazione, La costruzione di ACMET (A Computer Making Every Theorem), La Fabbrica del Duomo (ovvero manca sempre qualche cosa per completare il lavoro), Problemi logici, I metodi matematici sono validi per risolvere i problemi della fisica? Parte seconda I 33 problemi di Ibn al-Khawwām, I 23 problemi di Hilbert, I 7 problemi di Clay, ovvero: i più grandi problemi del Millennio (almeno per la matematica), L'ipotesi di Riemann, La teoria di Yang-Mills. Parte terza I numeri di Giuga, I problemi del Caffè Scozzese (Un'approssimazione negli spazi di Banach), Pozze d'acqua sulle superfici matematiche (Quadrati magici in 3 dimensioni), Gradini di roccia nel mare (I fossati di Gauss), Il distributore di caramelle (La congettura di Keplero e altri problemi di impacchettamento), Quadrati inscritti in una curva chiusa (La congettura di Toeplitz), Ricoperture n-dimensionali (La congettura di Hadwi