«Non è possibile! È la quinta volta!»
Il giovane matematico era furioso. Il suo volto sarebbe stato paonazzo, se solo l'algoritmo di codifica video non avesse ritenuto impossibile un simile colore e avesse autonomamente deciso di ricolorare tutta l'immagine, donandogli così un ancora meno probabile tenue arancione. Dall'altra parte della connessione 6G, la faccia della Sovrintendente Zonale era impassibile, e soprattutto di una perfetta nuance ebano.
«Certo che non è possibile! – replicò gelida la Sovrintendente Zonale – È la quinta Unità Computazionale Logica che è riuscito a distruggere. Gliel'avevo ribadito: queste Unità Autoapprendenti sono sperimentali, e non conosciamo perfettamente il loro comportamento in condizioni non standard. Le avevamo vietato di continuare le sue ricerche; eppure lei ha perserverato, persino falsificando le sue credenziali per poter accedere ancora al Reticolo. Non ci resta che terminare la sua interfaccia di connessione.»
«Ma... Come... Questo è un sopruso! Come faccio a terminare le mie ricerche? Sarei già arrivato alla dimostrazione del Teorema di Inconsistenza, se i gestori del Reticolo fossero stati in grado di far funzionare decentemente queste Unità Autoapprendenti!»
«Niente ma e niente come! Se crede davvero di essere il Gödel del ventunesimo secolo, si metta a fare i suoi conti a mano. Ah: buon lavoro amanuense...»
L'ologramma della Sovrintendente Zonale sparì. Ma quel che era peggio, sparì anche quello della scrivania di collegamento con il Reticolo. L'avevano fatto davvero! Per fortuna, pensò il giovane matematico, avevo salvato il testo della parte iniziale del mio lavoro. Quella lì credeva di aver fatto una battuta ironica, invitandomi a lavorare a mano? Le farò vedere io di cosa è capace un Vero Matematico!
Il Teorema di Inconsistenza sarebbe stato il coronamento del lungo processo di distruzione delle certezze matematiche. Tutto era iniziato un secolo prima con la pubblicazione del notissimo articolo di Kurt Gödel che dimostrò come un qualunque linguaggio abbastanza potente da essere usato per eseguire le usuali operazioni aritmetiche aveva un guaio: nel linguaggio si può definire un teorema che è vero, ma non è dimostrabile se non "uscendo dal sistema", cioè aggiungendo un nuovo postulato ad hoc. Ma questa aggiunta generava nuovi teoremi indimostrabili, e così all'infinito: un po' come il paradosso di Achille e della tartaruga, si era costretti a compiere tutta una serie di passi obbligati senza mai vedere nemmeno avvicinarsi la fine. I matematici del ventesimo secolo furono inizialmente sconcertati, temendo che tutto il loro castello di costruzioni e dimostrazioni crollasse miseramente: ma gli esseri umani sono esperti nell'abituarsi a tutto, e in pochi anni si era passati dal chiedersi "vero o falso?" a un meno assolutista "vero, falso o indecidibile?" quando si doveva analizzare un enunciato matematico.
Il teorema di Gödel era però più sottile di quanto il grande pubblico aveva letto nelle riviste di cultura popolare. Esso affermava infatti l'esistenza di teoremi indimostrabili sotto un'ipotesi ben precisa: che la matematica fosse coerente, che cioè non fosse possibile dimostrare una cosa e allo stesso tempo il suo contrario. Nessun matematico nel pieno possesso delle sue facoltà mentali – anche se un'affermazione di questo tipo, parlando di matematici, è piuttosto pericolosa – credeva che la matematica potesse non essere coerente: in fin dei conti, due più due come potrebbe mai fare cinque? Eppure il giovane matematico aveva avuto un'intuizione. Catene molto lunghe di inferenze matematiche potevano prendere percorsi diversi nello spazio dei problemi e ritrovarsi nello stesso punto ma con valori di verità opposti, un po' come due formiche che camminassero in direzioni opposte su un nastro di Möbius finirebbero per ritrovarsi, ma essendo l'una diventata l'immagine speculare dell'altra. Una simile scoperta rivoluzionerebbe tutta la matematica che conosciamo, e porterebbe dritti al premio Abel, il Nobel per la matematica, e poi chissà...
Senza l'uso del Reticolo l'impresa sembrava al di fuori della portata di chiunque, ma per sua fortuna il matematico aveva salvato due catene inferenziali promettenti: secondo le sue stime, bastava aggiungere una cinquantina di passaggi ai 1250 già presenti per arrivare alla contraddizione. Un lavoro che il Reticolo avrebbe computato in una giornata, ma anche fatto a mano richiedeva al più un paio di mesi. Il matematico si mise a lavorare febbrilmente, ricontrollando tre volte ogni passaggio. L'ultima notte la passò insonne: la prima catena era ormai completa, e non restava che scrivere esplicitamente l'ultimo passaggio della seconda, per ottenere la tanto agognata contraddizione. I simboli si allineavano regolari e la contraddizione era lì davanti, quasi personificata: restavano ancora da trascrivere cento simboli, cinquanta, venti, dieci, cinque, tre, due, uno. Il giovane tremava, mentre faceva l'ultimo controllo: ma i passaggi erano tutto corretti, e a prova di errore. Non c'era dubbio: la matematica è contraddit
«Non è possibile! È la quinta volta!»
L'entità osservò l'universo giocattolo che andava velocemente a pezzi. La trama delle sue vibrazioni non aveva più alcuna regolarità: frequenze irrazionali continuavano a emergere, senza che l'entità riuscisse a smorzarle.
«Certo che non è possibile! – replicò gelida l'altra entità, mentre la compenetrazione andava rapidamente scemando. – È il quinto universo che sei riuscito a distruggere. Te l'avevo spiegato che con quelle leggi aritmetiche non avresti potuto ottenere nulla di stabile. E invece tu hai perseverato, e hai persino cercato di barare inserendo una routine di autoblocco non appena un computer avesse trovato una contraddizione di base, per aggirare l'impossibilità della costruzione di un universo contraddittorio... Eppure è una nozione di base: non appena appare una contraddizione in un punto qualsiasi di un universo, essa si propaga istantaneamente e non c'è tempo per bloccare il disfacimento. Mi spiace: sei bocciato anche stavolta.»
16 settembre 2012