La matematica dice che l'universo non è una simulazione

I ricercatori sostengono che un limite matematico renda impossibile una simulazione perfetta

Tali affermazioni e la più ampia reazione dell'opinione pubblica sono state riassunte in una serie di conferenze stampa e servizi legati alla pubblicazione dell'articolo.

Perché l'indecidibilità logica è importante per la fisica

In breve, Gödel ha dimostrato che in ogni sistema formale sufficientemente espressivo esistono proposizioni vere che il sistema non può dimostrare. Tarski ha evidenziato che alcune nozioni semantiche non possono essere definite dall'interno di un sistema, e Chaitin ha introdotto la teoria dell'informazione dimostrando che molte stringhe sono algoritmicamente casuali — prive di una descrizione algoritmica più breve della stringa stessa. Gli autori dell'articolo sostengono che quando si tenta di costruire lo spaziotempo e le leggi fisiche partendo da un fondamento puramente algoritmico, tali limiti permangono: si incontreranno caratteristiche reali del mondo che resistono alla derivazione algoritmica. A loro avviso, ciò preclude la possibilità di una simulazione dell'intera realtà che sia completa, coerente e algoritmica.

Come interpretare questa tesi — e i suoi limiti

Vi sono due precisazioni importanti da tenere a mente. In primo luogo, si tratta di un'argomentazione teorica e matematica su ciò che il calcolo può e non può fare in base a determinati presupposti formali. Non indica un'anomalia empirica nei dati che potrebbe falsificare l' ipotesi della simulazione in laboratorio. In secondo luogo, ogni argomentazione di questo tipo si basa su scelte di modellazione: come viene formalizzata la gravità quantistica, cosa viene considerato un "algoritmo" e se si ammettono nel simulatore caratteristiche che esulano dal calcolo convenzionale. Se si cambiano queste premesse, la conclusione potrebbe non essere più valida.

Le voci scettiche — e perché sono importanti

Già prima di questo articolo, molti fisici e filosofi avvertivano che l'ipotesi della simulazione è un intreccio complesso di ingegneria, metafisica e probabilità. Gli scettici sottolineano che passare dall'indecidibilità formale all'impossibilità ontologica richiede cautela: l'indecidibilità matematica si applica a particolari sistemi formali, ma la natura non è necessariamente vincolata a quegli stessi limiti sintattici. Alcuni commentatori notano anche il problema annoso per cui gli argomenti sulla simulazione possono essere strutturati in modo da sfuggire alla falsificazione stabilendo il comportamento del simulatore: un simulatore onnisciente potrebbe nascondere qualsiasi traccia rivelatrice. Tali preoccupazioni concettuali rimangono rilevanti anche se il nuovo risultato matematico fosse corretto.

Quindi, questo pone fine al dibattito sulla simulazione?

Non del tutto. Ciò che questo nuovo lavoro offre è una solida confutazione formale a un presupposto comune dietro molte tesi sulla simulazione — vale a dire, che tutte le caratteristiche del mondo siano in linea di principio riducibili ai passaggi di un calcolo. Se si accettano i presupposti e i passaggi tecnici dell'articolo, allora una simulazione interamente algoritmica è impossibile. Tuttavia, la questione culturale più ampia — se possa essere vera qualche altro tipo di "simulazione" o di ontologia stratificata — è più resiliente. Si possono sempre ipotizzare simulatori che operano tramite mezzi non algoritmici, o limitare ciò che si tenta di replicare. La conversazione, in altre parole, si sposta: dal chiedersi se una simulazione sia possibile nella pratica, al chiedersi quali tipi di modelli metafisici siano compatibili con la matematica e la fisica attuali.

Perché questo è importante al di là delle speculazioni notturne

L'articolo tocca questioni con conseguenze intellettuali immediate. Si confronta con la tendenza a trattare l'informazione e il calcolo come la sostanza primitiva della realtà — un approccio che ha avuto successi, ma che secondo questo lavoro non può rappresentare l'ultima parola. È importante anche per il modo in cui scienziati e tecnologi inquadrano le grandi affermazioni sul futuro della simulazione, dei mondi virtuali e dell'intelligenza artificiale. Se esistono limiti di principio a ciò che i sistemi algoritmici possono rappresentare, allora alcuni tipi di spiegazione scientifica o di coscienza sintetica potrebbero essere fondamentalmente fuori portata per qualsiasi strategia basata sulla simulazione.

Quali saranno i prossimi passi per gli scienziati

Come per ogni ambiziosa tesi teorica, un ulteriore esame è inevitabile. Altri ricercatori analizzeranno i presupposti formali dell'articolo, verificheranno se le riduzioni matematiche corrispondano correttamente ai modelli fisici ed esploreranno se versioni più deboli o alternative di "simulazione" sopravvivano alla critica. È così che la fisica teorica progredisce: una proposta matematica audace apre una linea di dibattito che rafforza la nostra fiducia nel risultato o identifica le premesse precise in cui esso viene meno.

Per ora, l'articolo compie un'operazione utile: impone una distinzione più netta tra due domande che spesso vengono confuse — se sia possibile costruire mondi simulati convincenti e se il tipo di replica totale e algoritmica implicito in una letterale ipotesi della simulazione sia matematicamente ammissibile. Secondo l'attuale lettura degli autori, almeno a questa seconda domanda, la risposta è negativa. Se ciò risolva o meno il più ampio dibattito metafisico spetta alla fisica, alla filosofia e al tempo.

— James Lawson, Dark Matter