Logical Dependence of Physical Determinism on Set-theoretic Metatheory

Il Codice Nascosto dietro l’Universo

Immaginate di cercare di prevedere il futuro di un sistema complesso, come una galassia rotante, una pallina che rimbalza o un microchip. In fisica, solitamente assumiamo che se conosciamo le regole e la posizione iniziale, il futuro sia fisso. Questo è chiamato determinismo. È l'idea che l'universo sia come una gigantesca e perfetta macchina a ingranaggi: caricala e funzionerà esattamente allo stesso modo ogni volta.

Ma per fare queste previsioni, i fisici si affidano a una fondazione nascosta chiamata teoria degli insiemi. Pensate alla teoria degli insiemi come al regolamento supremo su come contare, raggruppare e misurare le cose. È la matematica dietro la matematica. Per molto tempo, gli scienziati hanno pensato che questo regolamento fosse solo uno strumento astratto e noioso che non importava per la fisica del mondo reale. Credevano che l'uso di una versione o di un'altra del manuale non avrebbe cambiato il modo in cui un buco nero ruota o come un magnete si raffredda. Questa convinzione è chiamata "tesi dell'insularità": l'idea che gli angoli profondi e polverosi della matematica siano isolati dal mondo disordinato ed eccitante della fisica.

Tuttavia, c'è un trucco. Alcune delle domande più avanzate della matematica riguardano l'"infinito" in modi complicati. Ci sono due modi principali per scrivere il regolamento dell'infinito. Una versione, chiamata V=L, è molto rigorosa e minimalista; dice che non esistono altri insiemi infiniti oltre a quelli che possiamo costruire passo dopo passo. L'altra versione, chiamata LC/PD, è più generosa; permette strutture infinite enormi e misteriose che rendono la matematica più fluida e prevedibile. Per decenni, i matematici hanno discusso su quale manuale fosse quello "vero", ma i fisici li hanno in gran parte ignorati, assumendo che ciò non influenzasse il loro lavoro.

La Grande Scoperta del Saggio

Questo saggio, scritto da Justin Clarke-Doane, mette in discussione tale assunzione. Argomenta che la "tesi dell'insularità" è errata. L'autore suggerisce che la scelta tra questi due manuali matematici (V=L vs. LC/PD) potrebbe effettivamente cambiare se l'universo sia determinante o meno.

Per capire questo, immaginate di essere un detective che cerca di risolvere un mistero. Avete un insieme di indizi (le leggi fisiche) e un sospettato (lo stato iniziale dell'universo). In un normale storia poliziesca, gli indizi dovrebbero portare a una singola soluzione chiara. Ma Clarke-Doane mostra che, in alcuni casi, gli stessi "indizi" dipendono dal manuale che utilizzate per leggerli.

Il saggio esplora questo attraverso tre diversi "livelli" di lavoro investigativo:

1. Il Livello della "Coerenza": L'Indizio è Anche Reale?
A volte, una legge fisica vi chiede di calcolare qualcosa basandosi su una specifica forma o un modello. Nel manuale rigoroso (V=L), quel modello potrebbe essere così strano e frastagliato da non avere una dimensione definita o una "misura". È come cercare di pesare una nuvola che cambia forma ogni volta che la guardate. Se il modello non è "misurabile", la matematica si rompe e la legge diventa incoerente. Ma nel manuale generoso (LC/PD), lo stesso modello è fluido e misurabile, quindi la legge funziona perfettamente. Il saggio mostra che, per certi assetti matematici, la legge è valida in un universo matematico ma interrotta in un altro.

2. Il Livello dell' "Unicità": Un Risultato o Molti?
Il determinismo implica solitamente che ci sia un solo futuro. Ma il saggio mostra che, per alcuni sistemi, il numero di futuri possibili dipende dal manuale. Nel manuale rigoroso, un sistema potrebbe avere due risultati stabili differenti (come una palla che può rotolare a sinistra o a destra). Nel manualo generoso, lo stesso sistema potrebbe avere un unico risultato (la palla rotola solo a sinistra). La matematica non cambia l'impostazione fisica; cambia quanti risultati l'impostazione consente.

3. Il Livello dell' "Identità": Si Tratta dello Stesso Punto di Partenza?
Questa è la parte più intricata. Immaginate di avere una ricetta per una torta. In un manuale, la ricetta descrive una torta specifica. Nell'altro, le stesse identiche parole descrivono una torta completamente diversa (o forse nessuna torta affatto). Il saggio sostiene che i "dati iniziali" per un sistema fisico potrebbero non essere la stessa cosa nei due manuali. Pertanto, anche se pensate di partire con le stesse condizioni, potreste in realtà partire con condizioni diverse, portando a futuri differenti.

Il Test di "Robustezza": Regge l'Urto?

Il saggio va oltre questi semplici esperimenti mentali. Esamina come i fisici utilizzino realmente il determinismo nel mondo reale. I fisici non si accontentano di scenari teorici perfetti; cercano la robustezza. Vogliono sapere: "Se cambio il modo in cui misuro le cose, o se uso una griglia leggermente diversa per calcolare la risposta, il risultato rimane lo stesso?"

L'autore dimostra che quando ponete queste domande sulla "robustità", le risposte spesso cadono in una zona matematica chiamata $\Sigma^1_2$. Questo è un modo elaborato per dire che le domande sono abbastanza complesse tali che il manuale matematico standard (ZFC) non può decidere la risposta. È come un giudice che dice: "Non ho abbastanza leggi per decidere questo caso".

Il saggio presenta due grandi "teoremi di codifica" per provare questo punto:

• Il Caso del Magnete Ising: L'autore costruisce un modello specifico di un magnete (usando una griglia di spin) con un insieme fissato di regole. Dimostra che chiedere se questo magnete si stabilizzerà in un modello prevedibile è una domanda che il manuale matematico standard non può rispondere. Se usate il manuale rigoroso, il modello che descrive il comportamento del magnete è non misurabile (il che significa che manca della regolarità necessaria per la probabilità standard). Se usate il manuale generoso, quello stesso modello è universalmente misurabile (ovvero ben comportato e regolare). Il magnete stesso non è cambiato; è cambiata solo la "fluidità" matematica della descrizione.
• Il Caso del Buco Nero: Il saggio esamina l'interno di un buco nero rotante (un buco nero di Kerr). I fisici cercano di capire se le leggi della fisica si interrompono all'altezza dell' "orizzonte di Cauchy" (un confine all'interno del buco nero). Il saggio mostra che il problema di scegliere un modo "standard" per descrivere lo spazio lì è un enigma matematico che non può essere risolto senza scegliere un manuale. Nel manuale rigoroso (V=L), si può scegliere una descrizione standard (un selettore), ma è disordinata e irregolare. Nel manuale generoso (LC/PD), nessuna descrizione standard esiste che sia definibile in modo ragionevole; le regole proibiscono l'esistenza di un tale selettore.

Cosa Significa Tutto Questo (e Cosa Non Significa)

Il saggio è molto attento alle proprie rivendicazioni. NON afferma che l'universo funzioni sicuramente diversamente a seconda del manuale matematico che scegliamo. NON afferma di aver scoperto una nuova legge della fisica.

Inveve, prova una possibilità logica. Mostra che se prendiamo il modo in cui i fisici parlano effettivamente del determinismo (con tutti i suoi requisiti di robustezza, tipicità e misurazione) e lo applichiamo a certi modelli matematici, i risultati dipendono dal contesto matematico di fondo.

L'autore chiama questo campo "fisica inversa", simile alla "matematica inversa". Proprio come la matematica inversa chiede: "Quali assiomi matematici servono per provare questo teorema?", la fisica inversa chiede: "Quali assiomi matematici servono per far funzionare questa teoria fisica?".

Il saggio conclude che la "tesi dell'insularità" è dubbia. Le profonde dispute astratte sull'infinito non sono riservate solo ai matematici. Esse potrebbero essere intrecciate con le fondamenta stesse di come comprendiamo il mondo fisico. Se una teoria della fisica si basa su concetti che sono indecidibili nella matematica standard, allora potremmo dover cercare nuove leggi fisiche o nuovi assiomi matematici per dirimere la questione. Il saggio ci lascia con una domanda affascinante: il determinismo dell'universo è un fatto della natura, o dipende dall'invisibile manuale che usiamo per leggerlo?