Descrizione

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 Hadwiger-Levi), Come disporre il sofà, Catene additive (La congettura di Scholz), I primi mancanti (La congettura di Legendre), I numeri di Euclide e la sequenza di Euclide-Mullin, La costante di Eulero-Mascheroni, La fattorizzazione dei numeri di Fermat, Le frazioni egizie con denominatori dispari (Espansione "greedy" dispari), La congettura di Rassias, I numeri di Riesel, Sierpi?ski e Brier, I primi di Wolstenholme, La congettura di Bunyakosvky, Le curve di Mordell, La congettura abc, John Lewis Selfridge, Numeri amichevoli e numeri solitari, La congettura di Erd?s-Stewart sui fattoriali.

Dettagli