19990

youtube

“Enjoy the Silence” by Depeche Mode

Violator (1990)

nature.com
Two-hundred-terabyte maths proof is largest ever
A computer cracks the Boolean Pythagorean triples problem — but is it really maths?

E’ il primo articolo (di due) che vi regalo sul tema delle dimostrazioni in matematica portate avanti con l’ausilio di un computer.
In questo caso si tratta di una dimostrazione per esaustione: dobbiamo dimostrare che un numero finito (ma potenzialmente molto grande) di oggetti verifica o non verifica una certa proprietà. Quindi prepariamo un programma che controlli gli oggetti uno ad uno (o per gruppi con certe caratteristiche) e aspettiamo che finisca.
Se le cose vanno come vogliamo il teorema è dimostrato, altrimenti abbiamo sicuramente trovato un controesempio dove il programma si è arrestato.
Si pone un dilemma: è una vera “dimostrazione”?
Tutto dipende da cosa intendiamo per dimostrazione ed è questo il vero cuore dell’articolo.
Consigliato anche ai non matematici ;)

-L