Nel 1995 il matematico britannico Andrew Wiles rese pubblica la dimostrazione in 129 pagine dell’Ultimo Teorema di Fermat. Dopo decenni in cui la verifica riga …
L’Ultimo Teorema di Fermat ha sfidato i più grandi matematici per oltre tre secoli, stimolando lo sviluppo della moderna teoria dei numeri. Dalla storica dimostrazione di Andrew Wiles fino alle recenti frontiere della verifica formale e del calcolo assistito, questo enigma resta il punto di riferimento per l’evoluzione del rigore logico e scientifico.