Georg Cantor non ha cambiato solo la matematica. L’ha rotto.
Nato a San Pietroburgo nel 1845, questo matematico tedesco guardò i numeri e vide qualcosa che agli altri sfuggiva. Prima di lui l’infinito era un concetto vago. Un grande numero che è andato avanti. Ma Cantor lo vedeva come un luogo. Un paesaggio con regioni diverse, dimensioni diverse e regole diverse.
Divenne il fondatore della teoria degli insiemi trattando i sistemi numerici come entità complete. Non si è limitato a guardare i singoli numeri razionali. Guardò l’intero gruppo. Tutti insieme. Questo cambiamento di prospettiva ha portato a una scoperta che ancora oggi sembra sbagliata alla maggior parte delle persone.
Non tutti gli infiniti sono uguali.
Contare l’Innumerevole
La prima cosa che Cantor dimostrò fu che è possibile contare alcuni insiemi infiniti. Prendiamo i numeri razionali. Queste sono frazioni. Qualsiasi numero che puoi scrivere come un numero intero diviso per un altro. Sembra che ci siano molte più frazioni che contare i numeri (1, 2, 3…).
Cantor ha mostrato una corrispondenza uno a uno. Ha accoppiato ogni numero razionale con un numero di conteggio univoco. Nessuno escluso. Nessuno ripetuto.
L’insieme dei numeri razionali è numerabile.
Ciò significava che l’infinito delle frazioni ha la stessa “dimensione” dell’infinito dei numeri interi. I matematici chiamano questo infinito numerabile. È gestibile. Puoi elencarlo. Puoi indicizzarlo.
Ma poi arrivò il vero shock.
Cantor rivolse la sua attenzione ai numeri irrazionali. Numeri come pi greco o la radice quadrata di due. Questi decimali continuano all’infinito senza ripetersi. Riempiono gli spazi tra le frazioni. Cantor ha dimostrato che qui non esiste tale corrispondenza.
Non puoi accoppiarli con il conteggio dei numeri. Ce ne sono semplicemente troppi.
Questo insieme non è numerabile. È più grande. È un infinito più grande.
Gradi di infinito
Questa scoperta costrinse Cantor a classificare quelli che chiamò numeri transfiniti. Questi sono gradi di infinito.
Se pensi all’infinito come a un’altezza, Cantor ha dimostrato che non si tratta solo di un alto picco. È una catena montuosa. Alcuni picchi sono più alti di altri. L’infinito dei numeri reali è superiore all’infinito dei numeri da contare.
Non lo ha scoperto semplicemente indovinando. Ha usato una logica rigorosa. Ha confrontato direttamente la dimensione dei set. Se riesci ad abbinare ogni elemento del set A al set B senza avanzi, avranno la stessa dimensione. Se non puoi, uno è più grande.
Questo è il motivo per cui è importante comprendere l’argomentazione diagonale di Cantor. È la prova che i numeri reali non sono numerabili. Mostra un modo concreto per trovare un numero che non è presente in nessun elenco che provi a creare.
Perché è importante per imparare la matematica
La maggior parte delle persone smette di sentire parlare di Cantor al liceo. O non sentirne mai parlare affatto. Imparano la matematica come un insieme di regole statiche. Aggiungere. Sottrarre. Moltiplicare. Dividere.
Cantor ci insegna che la matematica è dinamica. Riguarda le relazioni tra i gruppi. Non solo singole cifre.
Quando studi le nozioni di base della teoria degli insiemi, impari a pensare per strutture. Come si incastrano questi pezzi? Possono mapparsi tra loro? Cosa resta?
Questa non è solo teoria astratta. È il modo in cui l’informatica gestisce i dati. È così che funziona la logica. È così che comprendiamo i limiti
