L’intuizione umana è finita. Essa opera attraverso immagini mentali come la sequenza, l’accumulo, l’estensione. Quando cerchiamo di pensare l’infinito, tendiamo a ridurlo a un’idea di crescita illimitata, a qualcosa che aumenta indefinitamente senza mai arrestarsi. In questo senso, l’infinito viene concepito come un “molto grande” portato all’estremo. Tuttavia, l’infinito non coincide necessariamente con ciò che si ottiene proseguendo un processo di crescita.
Il pensiero umano è strutturalmente legato ai confini. Comprendere significa delimitare, distinguere, chiudere una forma. Il nostro modo di conoscere si fonda su opposizioni elementari — inizio e fine, prima e dopo, questo e quello — che rendono possibile l’orientamento concettuale. L’infinito, al contrario, non si lascia circoscrivere. Non si presenta come un oggetto che possa essere completato o ricondotto a una totalità chiusa. Mentre il pensiero umano procede per passaggi discreti, l’infinito non procede: non è un processo, ma una condizione.
Eppure, è naturale immaginare che l’infinito sia comunque raggiungibile per iterazione, come se bastasse continuare a contare senza mai fermarsi; come se bastasse varcare i limiti ad oltranza. Ma questa idea non esaurisce l’immagine dell’infinito.
Georg Cantor, matematico del XIX secolo, mostrò che l’infinito non è un concetto unico. Alcuni infiniti possono essere messi in corrispondenza con una sequenza, e sono quelli che l’intuizione tende a riconoscere per primi: gli infiniti numerabili. Ma ne esistono altri che sfuggono a ogni possibile enumerazione, non per un limite pratico, bensì per una differenza strutturale.
Cantor ci chiede di accettare che la realtà matematica — e forse la realtà in generale — non sia costruita a misura della nostra intuizione. Che esistano livelli che non emergono dall’accumulo, salti che non sono preparati da alcuna gradualità. Per rendere precisa questa distinzione, introduce un’idea radicale: anche gli infiniti possono avere una grandezza. Non una grandezza nel senso metrico o fisico, ma una grandezza logica, che riguarda la possibilità di stabilire corrispondenze.
Un insieme infinito può essere confrontato con un altro insieme infinito chiedendosi se esiste una corrispondenza biunivoca tra i loro elementi. Se tale corrispondenza esiste, i due insiemi hanno la stessa cardinalità, anche se contengono infiniti elementi. È in questo senso che Cantor parla di numeri transfiniti: simboli che non servono a contare passo dopo passo, ma a classificare la “quantità” di elementi di un insieme infinito.
Il primo di questi numeri è ℵ₀ (aleph zero), la cardinalità dell’insieme dei numeri naturali. È l’infinito della conta: un insieme che non termina mai, ma i cui elementi possono essere elencati uno dopo l’altro, almeno in linea di principio. A questo stesso infinito appartengono, contro l’intuizione comune, anche altri insiemi come i numeri interi o i numeri razionali. Pur sembrando “più grandi”, possono essere messi in corrispondenza con i naturali senza che resti nulla fuori. Questo è il senso tecnico dell’espressione infinito numerabile. La situazione cambia radicalmente con l’insieme dei numeri reali. Cantor dimostra che non esiste alcun modo di elencarli tutti. Non importa quale procedura si adotti: ci sarà sempre almeno un numero reale che sfugge alla lista. Questo risultato, noto come argomento diagonale, mostra l’esistenza di un infinito di cardinalità maggiore, detto non numerabile.
Da qui in poi l’infinito perde definitivamente l’aspetto di un’unica estensione indistinta. Esistono infiniti più grandi di altri infiniti, e questa “maggiore grandezza” non dipende da una crescita progressiva, ma dalla struttura stessa dell’insieme. I numeri transfiniti non sono tappe di un percorso, ma indicatori di ordine.
In questo senso, i numeri transfiniti non misurano un avanzamento, ma una possibilità. Non dicono quanto lontano si possa andare contando, ma che tipo di totalità si ha di fronte. L’infinito non viene più pensato come ciò che sta alla fine del processo, bensì come ciò che definisce il campo entro cui il processo ha senso.
Rispondi