Una congettura è una affermazione ritenuta probabilmente vera ma non ancora dimostrata. Una vota dimostrata la sua validità diviene un teorema. La Congettura di Goldbach è uno dei problemi più vecchi non ancora risolti, infatti risale al 1742, fu enunciata da Goldbach e riformulata da Euler nel seguente modo:

Ogni numero naturale pari maggiore di 2 puo' esere scritto come la somma di due numeri primi.

Proviamo a dimostrare la sua inesattezza

Su una congettura possiamo effettuare due tipo di dimostrazioni, possiamo dimostrare la sua correttezza o la sua inesattezza. Ovviamente l'una esclude l'altra. Tenteremo di dimostrare che la congettura è falsa, per fare ciò basta trovare un controesempio tele che l'enunciato risulti falso. Quindi nel nostro caso basta trovare un solo numero pari che non è la somma di due primi. Per trovare questo numero scriveremo un programma.
Read More