Matematica & Logica Emanuela G 24 Febbraio 2026 0 Commenti

La congettura Goldbach: quando la matematica Incontra il mistero dell’infinito

Un enunciato così semplice che si può spiegare ai bambini

Nel giugno del 1742, il matematico prussiano Christian Goldbach scrisse una lettera a Leonhard Euler, all’epoca considerato il più grande matematico vivente. In quella lettera, gettava le basi di un mistero che resiste ancora oggi:

“Ogni numero pari maggiore di 2 può essere espresso come somma di due numeri primi.”

Questa affermazione, che oggi chiamiamo Congettura di Goldbach, ha una caratteristica rara nel panorama della matematica avanzata: è comprensibile a chiunque abbia appreso le tabelline. Non richiede formule complesse, concetti astratti o anni di studio. Basta sapere cosa sia un numero primo — un numero divisibile solo per 1 e per sé stesso — e verificare qualche esempio.

4 = 2 + 2 ✓
6 = 3 + 3 ✓
8 = 3 + 5 ✓
10 = 3 + 7 = 5 + 5 ✓
100 = 3 + 97 = 11 + 89 = 17 + 83 = … (sei combinazioni diverse)

La congettura funziona. I computer l’hanno verificata per tutti i numeri pari fino a 4 × 10¹⁸ — circa quattro milioni di miliardi di casi. Eppure, in matematica, l’evidenza non basta: serve una dimostrazione che valga per tutti i numeri pari, fino all’infinito. Senza quella dimostrazione, la Goldbach rimane — per definizione — una congettura. E dopo 283 anni, nessuno l’ha ancora trovata.

La storia di un’incompiuta

La lettera originale di Goldbach a Euler era più articolata di quanto riportiamo comunemente. Goldbach formulava in realtà due enunciati collegati:

1. La Congettura Forte (o Binaria): Ogni numero pari maggiore di 2 è somma di due primi.
2. La Congettura Debole (o Ternaria): Ogni numero dispari maggiore di 5 è somma di tre primi.

Euler, nonostante il suo genio, non riuscì a dimostrare né l’uno né l’altro. Nel 1742, la matematica non disponeva ancora degli strumenti necessari per affrontare un problema di questo tipo. Occorrevano sviluppi che sarebbero arrivati solo nei secoli successivi: la teoria analitica dei numeri, il metodo del cerchio di Hardy e Littlewood, la teoria dello screening.

Per oltre due secoli, la Goldbach rimase un’errata corrige nella storia della matematica. Matematici di ogni epoca ci provarono, sviluppando tecniche che poi si rivelarono utili per altri problemi, ma senza mai scalfire la congettura originale.

I progressi: avvicinarsi senza toccare la soluzione

La storia dei tentativi di dimostrazione è anche una storia di soluzioni parziali e teoremi vicinissimi:

1923: Hardy e Littlewood

G.H. Hardy e J.E. Littlewood dimostrarono che la congettura è vera per “quasi tutti” i numeri pari, utilizzando il cosiddetto metodo del cerchio — un approccio analitico basato sulle serie di Fourier e sulla distribuzione dei numeri primi. Il risultato era condizionato all’Ipotesi di Riemann generalizzata, un altro problema aperto della matematica. Quasi tutti, ma non tutti.

1930: Schnirelmann e la densità

Il matematico sovietico Lev Schnirelmann introdusse un concetto rivoluzionario: la densità di un insieme di numeri. Dimostrò che esiste un numero k finito tale che ogni intero è somma di al più k primi. Trovò inizialmente k ≤ 800.000, poi progressivamente ridotto. Aveva dimostrato che i primi sono “sufficientemente densi” da ricoprire tutti i numeri, ma non abbastanza da garantire la Goldbach forte.

1973: Il Teorema di Chen

Uno dei risultati più significativi arrivò dal matematico cinese Chen Jingrun. Chen dimostrò che ogni numero pari sufficientemente grande può essere espresso come somma di:

Un numero primo, più
Un quasi-primo (un numero con al massimo due fattori primi)

Questo Teorema di Chen è considerato il progresso più importante finora. Tecnicamente, è “abbastanza vicino” alla Goldbach da costituire un risultato fondamentale. Praticamente, quella “abbastanza” separa due mondi: quello che sappiamo dimostrare e quello che sappiamo essere vero.

1995: Ramaré e i sei primi

Olivier Ramaré dimostrò che ogni numero pari è somma di al più sei primi. Un altro passo avanti, ma sempre lontano dai due primi richiesti dalla Goldbach.

2013: Helfgott e la congettura debole

Nel 2013, il matematico peruviano Harald Helfgott pubblicò la dimostrazione completa della Congettura Debole (Goldbach ternaria). La sua dimostrazione utilizzava sia metodi analitici avanzati che verifiche computazionali, e fu successivamente validata dalla comunità matematica.

Una delle due congetture era finalmente risolta. Ma la Goldbach forte — quella binaria, quella originale — continua a resistere.

Perché è così difficile? La distribuzione dei numeri primi

La difficoltà della Congettura di Goldbach non è accidentale. Deriva da una caratteristica profonda dei numeri primi: la loro distribuzione apparentemente casuale.

Non esiste una formula chiusa che ci dica dove si trova il prossimo numero primo. Il Teorema dei Numeri Primi descrive statisticamente la loro densità asintotica — “all’incirca un numero su log(n) è primo” — ma non la loro posizione esatta. Sono entità definite moltiplicativamente (non si scompongono in fattori) ma la Goldbach li interroga additivamente.

Questa tensione — tra la struttura moltiplicativa e quella additiva dei numeri — è un esempio di come in matematica mondi astratti apparentemente separati interagiscano in modi imprevedibili. Controllare questa interazione richiede strumenti analitici di grande sofisticazione.

Il Significato filosofico: la Goldbach come specchio epistemologico

La resistenza della Congettura di Goldbach per quasi tre secoli solleva interrogativi profondi sulla natura della conoscenza matematica.

Il limite dell’induzione

In matematica, a differenza delle scienze empiriche, l’evidenza non costituisce prova. Quattro milioni di miliardi di verifiche positive non dimostrano l’enunciato per l’infinito. Questo richiama il problema epistemologico dell’induzione sollevato da David Hume: perché dovremmo assumere che il futuro sarà come il passato?

Realismo vs Formalismo

Esistono diverse filosofie della matematica che interpretano diversamente lo status della Goldbach:

Il Realista (Platonista): Sostiene che i numeri primi “esistono” in un regno astratto, indipendente dalla mente umana. La Goldbach sarebbe vera semplicemente perché descrive una proprietà di questo regno; non abbiamo ancora trovato il modo di “vederla”.
Il Formalista: Sostiene che la verità matematica dipende dagli assiomi che scegliamo. La Goldbach è vera se è derivabile dagli assiomi standard della aritmetica — qualcosa che non sappiamo ancora.

Per entrambe le filosofie, la Goldbach non dimostrata rappresenta un limite: per il realista, della nostra capacità di accesso alla realtà matematica; per il formalista, della nostra capacità di costruire dimostrazioni.

Il problema dell’infinito

La Goldbach ci confronta con un concetto che trascende la nostra intuizione fenomenica: l’infinito attuale. Verificare la congettura per tutti i numeri pari richiederebbe un numero infinito di operazioni — qualcosa di impossibile per una mente finita. La dimostrazione deve trovare un argomento che “catturi” l’infinito in un ragionamento finito.

La Goldbach e l’Intelligenza Artificiale

Con l’avvento dell’intelligenza artificiale, qualcuno si chiede se sistemi come GPT-4, AlphaProof o le architetture neurali avanzate potrebbero “risolvere” problemi come la Goldbach.

La risposta breve è: non ancora. I sistemi AI attuali eccellono nel riconoscere pattern, completare dimostrazioni note o esplorare spazi di ricerca ben definiti. Ma creare una dimostrazione originale di un problema aperto centenario richiede: