La Matematica Platonica
Hamming ha indagato cinque principali scuole di pensiero su cosa sia la matematica. Nessuna si è rivelata pienamente soddisfacente.
La scuola più antica: il Platonismo. Platone ha sostenuto che il mondo delle idee — inclusi gli oggetti matematici — è più reale del mondo fisico. Gli oggetti fisici sono istanziazioni imperfette e temporanee di forme perfette e immutabili.
Applicato alla matematica: il numero 7 non è il numerale scritto su una pagina, non sono sette cavalli, non sono sette sedie. Il numero astratto 7 esiste in un regno di idee pure. Non ha alcuna istanziazione fisica. Non hai mai visto, udito, toccato o odorato il numero 7 stesso — solo le sue ombre nel mondo fisico.
L'osservazione chiave di Hamming: indipendentemente dalla notazione, 7 è un numero primo. In numeri romani (VII), in binario (111), in esadecimale (7) — la primalità non dipende dalla rappresentazione. Questa indipendenza dalla notazione è ciò a cui i platonici si riferiscono come prova dell'esistenza indipendente degli oggetti matematici.
Il Formalismo: La Matematica come Manipolazione di Simboli
La scuola formalista, associata a David Hilbert, assume la posizione opposta. La matematica è un gioco formale: scegli un insieme di assiomi e regole di inferenza, poi derivano i teoremi applicando meccanicamente le regole. I simboli non hanno significato al di fuori del sistema formale.
In questa visione, la matematica è inventata, non scoperta. Diversi sistemi assiomatici producono matematiche diverse. La geometria euclidea e la geometria non euclidea sono entrambe valide — iniziano da assiomi diversi.
La posizione di Hamming: agisce come un platonico quando fa matematica (sente di stare scoprendo verità preesistenti) ma sospetta che i formalisti abbiano ragione sui fondamenti (non c'è un regno eterno, solo il gioco formale che scegliamo di giocare).
Il test pratico di Hamming per un risultato matematico: indipendentemente da quale scuola abbia ragione, un teorema provato all'interno di un sistema formale coerente è affidabile. Il dibattito filosofico non influisce sul valore ingegneristico del risultato.
La Matematica e il Mondo Fisico
Nel 1960, il fisico Eugene Wigner ha pubblicato un saggio intitolato «L'efficacia irragionevole della matematica nelle scienze naturali». La tesi: la matematica sviluppata da matematici puri per ragioni puramente astratte continua a risultare descrivere la realtà fisica con precisione inquietante.
Esempi citati da Hamming:
- Le equazioni di Maxwell: derivate dalla pura eleganza matematica & simmetria, hanno predetto onde elettromagnetiche — e specificamente, la velocità della luce — prima di qualsiasi verifica sperimentale.
- La geometria riemanniana: sviluppata da Bernhard Riemann negli anni 1850 come matematica pura, senza nessuna applicazione fisica in mente. Einstein l'ha usata 60 anni dopo come il framework matematico per la relatività generale.
- La meccanica quantistica: costruita su spazi di Hilbert, algebre di operatori, e teoria dei gruppi — tutti sviluppati indipendentemente da matematici per ragioni astratte.
Perché la matematica sviluppata nella mente, per ragioni puramente estetiche, dovrebbe descrivere la realtà fisica così precisamente? Né i platonici né i formalisti hanno una risposta pienamente soddisfacente.
Valutazione dell'Enigma di Wigner
L'osservazione di Wigner è impressionante, ma può essere messa in questione. Non tutta la matematica che viene sviluppata risulta essere utile — solo la matematica che finisce per descrivere qualcosa sopravvive nella storia della fisica. Forse l'effetto di selezione sta facendo il lavoro.
Più Astratto = Più Ampiamente Applicabile
Hamming ha fatto un'affermazione controintuitiva: più astratto è uno strumento matematico, più ampiamente si applica.
Matematica concreta: la formula per l'area di un rettangolo specifico. Si applica a una forma.
Matematica astratta: algebra lineare su un campo. Si applica alla meccanica quantistica, alla computer grafica, all'economia, alla compressione dati, all'analisi di circuiti, alla statistica — qualsiasi dominio dove emergono vettori e trasformazioni lineari.
Perché? L'astrazione elimina il contenuto specifico del dominio, lasciando solo la struttura. Due sistemi con la stessa struttura obbediscono agli stessi teoremi, anche se uno comporta campi elettrici e l'altro comporta distribuzioni di probabilità.
Matematica universale: Hamming ha notato che qualsiasi civiltà capace di comunicazione interstellare deve aver sviluppato la stessa matematica. La ragione: la matematica deriva i suoi teoremi dagli assiomi tramite la logica, e la logica sembra universale. Il numero 7 è primo in qualsiasi notazione perché la primalità è una proprietà strutturale, non una notazionale.
Il Valore dell'Astrazione
La storia della matematica contiene molti esempi di strutture astratte sviluppate senza nessuna applicazione in mente che in seguito divennero strumenti essenziali in fisica o ingegneria.