I miei colleghi mi chiedono aiuto con i numeri. Conosco la matematica, presumono. L’ironia della sorte è che faccio schifo in aritmetica mentale.
Le persone sbagliano i calcoli. Pensano che siano somme veloci, sottrazioni fatte a mente mentre compri il caffè. No. La vera matematica riguarda la costruzione di mondi.
Il mito della fondazione
Inizi con le regole. Assiomi. Verità fondamentali su cui sei d’accordo solo così il gioco può iniziare. Da lì, accumuli cose. Gli insiemi diventano numeri, i numeri diventano funzioni, le funzioni si trasformano in geometria. Tutto poggia su quel piano iniziale.
Per molto tempo i matematici hanno giocato un pericoloso gioco di equilibrio. Volevano meno regole possibili, ma sufficienti per descrivere l’universo moderno. E quelle regole dovevano sembrare giuste. Intuitivo. Come dire “esiste un insieme vuoto”. Ha semplicemente senso.
Nel 1900 tutti scelsero ZFC. Teoria degli insiemi di Zermelo-Fraen con scelta. Nove regole. Questo è tutto. Quello era il fondamento.
O almeno così pensavano.
Gödel rompe tutto
I matematici amavano le loro fondamenta. Sognavano un sistema che fosse due cose contemporaneamente:
- Completo. Ogni verità può essere dimostrata.
- Coerente. Non sono ammesse contraddizioni.
Arriva il 1931. Entra Kurt Gödel. Venticinque anni. Lancia una bomba che spacca le fondamenta.
Il suo primo teorema di incompletezza è brutale. Dice che in qualsiasi sistema forte e coerente ci sono affermazioni che non possono essere dimostrate vere o false. Periodo. Poi arriva il Secondo Teorema. Ancora peggio. Il sistema non può dimostrare che sia coerente.
Sembra accademico, certo. Roba di logica astratta. I suoi colleghi speravano che fosse una stranezza. Uno strano errore teorico senza denti. Si sbagliavano.
Gödel ha dimostrato che la certezza ha un limite. Non puoi sapere tutto, anche all’interno delle regole che hai stabilito.
Prendi il sistema ZFC stesso. È pieno di cose non dimostrabili. L’ipotesi del continuo è quella più importante. Esiste un infinito tra numeri interi e numeri reali? Non lo sappiamo. E non potremo mai dimostrarlo, utilizzando i nostri strumenti attuali. La domanda… resta lì.
Irrisolto. Anche irrisolvibile.
Quindi sì, puoi costruire mondi partendo da assiomi. Puoi passare da insiemi semplici a topologie complesse. Ma la struttura ha dei buchi. Punti ciechi incorporati dove si nasconde la verità, per sempre fuori portata.
Perché la mente brama il completamento se il completamento è impossibile?
