DomandeIl mondo esiste davvero?Calcolare tutti gli universi possibili costa meno che calcolarne uno solo
Il mondo esiste davvero?Probabilmente una simulazione

Calcolare tutti gli universi possibili costa meno che calcolarne uno solo

Il Grande Programmatore; la fisica digitale; l'universo è calcolato (Zuse, Schmidhuber)

Jürgen Schmidhuber nato nel 1963Informatico: il nostro universo è forse calcolato da un programma molto breve, che calcola anche ogni altro universo possibile.
Vedi la scheda
Che cosa sostiene

Dunque è ragionevole pensare che il nostro universo sia calcolato da un programma breve, tra tutti gli universi computabili: siamo, in questo senso, in una simulazione.

Perché

Un piccolo programma che esegue ogni universo possibile richiede meno informazione che descriverne uno solo: è più semplice.

La stessa idea attraverso la storia
Konrad Zuse1969Zuse è il primo a proporre, già nel 1967 (libro «Rechnender Raum» nel 1969), che la storia dell'universo sia calcolata da un computer, forse un automa cellulare. Non lo abbiamo letto direttamente: si tratta del riassunto di Schmidhuber.
Edward Fredkin1985Fredkin riprende l'idea negli anni Ottanta («fisica digitale»), secondo la pagina di Schmidhuber; non abbiamo letto i suoi testi.
Jürgen Schmidhuber1997Nel 1997 Schmidhuber ipotizza un Grande Programmatore che fa girare tutti gli universi calcolabili, e aggiunge un argomento di semplicità: descriverli tutti richiede meno informazione che descriverne uno solo. Nel 2000 difende l'ipotesi stessa: è la spiegazione più semplice compatibile con ciò che sappiamo.
Max Tegmark2008Tegmark spinge l'idea oltre: il computer non ha nemmeno bisogno di calcolare, gli basta descrivere la struttura matematica dell'universo.
In breve

«Calcolare tutti gli universi possibili costa meno che calcolarne uno solo» è un argomento di Jürgen Schmidhuber (Schmidhuber, 1997 e 2000, 1997) sulla domanda «Il mondo esiste davvero?» (risposta: probabilmente una simulazione). La sua tesi: Dunque è ragionevole pensare che il nostro universo sia calcolato da un programma breve, tra tutti gli universi computabili: siamo, in questo senso, in una simulazione. Secondo la verifica logica di AskPhilosophy (solutore Z3), l'argomento è valido solo se si ammette una premessa che l'autore non formula (P4). AskPhilosophy presenta 2 obiezioni, 1 delle quali con una risposta documentata, e il testo originale di ciascuna premessa, verificato parola per parola.

Schmidhuber, 1997 e 2000
Valido con una premessa implicita

Nel 1997 l'informatico Jürgen Schmidhuber immagina un «Grande Programmatore» che, molto tempo fa, ha scritto un programma che fa girare sul suo grande computer tutti gli universi possibili, cioè tutti quelli calcolabili. Il nostro sarebbe uno di questi. Il suo è un argomento di semplicità. La maggior parte degli universi possibili è puro disordine, e servirebbe un programma lunghissimo per descriverne anche uno solo. Ma il programma che li esegue tutti, uno dopo l'altro, è cortissimo. Nel 2000 aggiunge il tassello mancante: nulla di ciò che sappiamo ci obbliga a pensare che l'universo sia non calcolabile, e una teoria in cui esso è calcolato è la più semplice di tutte. Quindi si può crederci finché nessuna prova la contraddice. Una precisazione: il Grande Programmatore è un'immagine; l'argomento riguarda la lunghezza dei programmi, non l'identità di chi li farebbe girare. Questo è «probabilmente una simulazione» nel senso di «un mondo calcolato», non nel senso di Bostrom (discendenti che ci simulano).

P1Nulla di ciò che sappiamo ci obbliga a pensare che l'universo sia non computabile: una storia prodotta passo dopo passo da un programma è la spiegazione più semplice compatibile con ciò che osserviamo.
P2Quasi tutti gli universi computabili sono puro disordine: descriverne uno in particolare richiede un programma molto lungo. Al contrario, il programma che li fa girare tutti è molto breve.
P3Quando esistono due spiegazioni, la più semplice è la migliore: un'impostazione in cui tutti gli universi possibili sono calcolati è più semplice di una in cui lo è soltanto il nostro.
P4 · premessa implicitaSe la migliore spiegazione del nostro universo è che esso sia il risultato di un programma, allora viviamo in un mondo calcolato, cioè simulato.
Dunque è ragionevole pensare che il nostro universo sia calcolato da un programma breve, tra tutti gli universi computabili: siamo, in questo senso, in una simulazione.

clicca su una premessa per rifiutarla

Se accetti tutte le premesse, la logica ti obbliga ad accettare la conclusione. Il dibattito riguarda dunque le premesse.
Verificato da un solutore logico: è impossibile che tutte le premesse siano vere e la conclusione falsa.
Senza la premessa implicita: Senza P4, nulla impedisce che la spiegazione più semplice dell'universo sia un programma senza che ciò faccia di noi degli esseri «simulati»: un programma può limitarsi a descrivere le leggi, senza che nessuno lo esegua.
P1: nulla ci obbliga a pensare che l'universo sia non computabile, e pensarlo calcolato è la cosa più semplice. P2: calcolare tutti gli universi costa meno informazione che calcolarne uno solo. P3: la semplicità decide tra le spiegazioni. P4, nascosta, afferma che un universo la cui migliore spiegazione è un programma è davvero un mondo calcolato. Quindi è ragionevole credere di trovarci in un mondo calcolato. Ciò che è discusso: P1 (la fisica è computabile?) e la distanza tra «calcolato» e «simulato da qualcuno».
Analogia. Pensa a una biblioteca che contenga tutti i libri possibili. Si descrive in una frase («tutte le successioni di lettere»), mentre descrivere un singolo libro preciso, dall'aspetto casuale, significa ricopiarlo per intero. L'idea di Schmidhuber è la stessa: calcolare tutto è più semplice che scegliere un solo universo a caso. (Immagine nostra.)

Obiezioni

2

Ogni obiezione è una conversazione: clicca per vedere chi risponde e a che punto è il dibattito.

Roger Penrose 1989 · attacca la premessa 1

Penrose sostiene che il pensiero cosciente non si riduce a un calcolo e che servirà una fisica nuova, non computabile, per comprenderlo. Se è vero, l'universo non è il risultato di un programma, e P1 cade.

Schmidhuber risponde
Schmidhuber
Schmidhuber risponde che nessuna prova obbliga a far intervenire grandezze non computabili per spiegare il mondo. Si può credere l'universo computabile finché nessuno mostra che non potrebbe esistere senza numeri non computabili.
Il dibattito continua (nostra sintesi) La risposta è generale: Schmidhuber non discute l'argomento proprio di Penrose, che parte dalla comprensione matematica e dal teorema di Gödel, non da un'osservazione fisica (nostra sintesi).
A che punto è il dibattito (nostra sintesi)Punto aperto: non sappiamo se le leggi della fisica siano interamente computabili. Schmidhuber pone l'onere della prova su Penrose; Penrose pensa di averlo assolto con Gödel, cosa che la maggior parte dei logici contesta (nostra sintesi).
S
Sabine Hossenfelder 2021 · attacca la premessa 1

Hossenfelder ammette che «il nostro universo calcola le sue leggi» non ha nulla di scandaloso, ma osserva che oggi nessuno sa ritrovare la relatività generale e il modello standard con un algoritmo passo dopo passo. I tentativi sono in genere incompatibili con le simmetrie di Einstein.

senza risposta
Non abbiamo ancora individuato una risposta diretta di Schmidhuber nei suoi testi.
Il dibattito continua (nostra sintesi) Hossenfelder scrive nel 2021, dopo Schmidhuber (1997); a nostra conoscenza egli non ha risposto a questo testo. Lei prende di mira soprattutto l'idea di un programmatore che fa girare una simulazione, più che la tesi prudente di Schmidhuber (nostra sintesi).
A che punto è il dibattito (nostra sintesi)Disaccordo di fondo: «l'universo obbedisce a leggi matematiche» è largamente accettato; «è il risultato di un algoritmo che riproduce la fisica nota» non è dimostrato. Punto aperto (nostra sintesi).