Potremmo immaginare che l'uso dei computer possa aiutarci nel verificare se una congettura come questa sia vera o no; è facile utilizzare un PC per verificarla per un grandissimo numero di casi.
La nostra congettura è stata verificata tramite un computer per valori iniziali fino a \[20 \times 2^{58} \sim 5,764 \times 10^{18}\]
Si tratta di un numero alquanto grande ma una verifica di questo genere anche se conforta coloro che vorrebbero dimostrare che è vera e crea dei problemi a coloro che invece vogliono trovare un contro esempio, di per sé non vuole dire molto perché il primo numero per cui è falso potrebbe essere molto più grande.
A questo proposito si fanno di solito tre esempi:
In tutti e tre i casi sappiamo che i relativi controesempi si trovano per valori decisamente enormi.
Nessun commento:
Posta un commento