- I fisici pruponenu chì a realità ùn hè micca riproducibile da l'algoritmi, mettendu in discussione l'ipotesi di l'universu simulatu.
- L'opera combina a gravità quantica è teoremi logichi cum'è u teorema d'incompletezza di Gödel.
- L'autori sustenenu chì ci sò aspetti di a realità chì ùn ponu esse calculati da alcuna macchina.
- U dibattitu hè in crescita in Europa è in Spagna, cù richieste di revisione è testi supplementari.
Per anni, u ipotesi chì campemu in una simulazione Hè statu discussu in discussioni, fori è laboratorii. Avà, un articulu scrittu da parechji fisici introduce un elementu matematicu chì, secondu i so autori, Lascia l'idea di un "universu simulatu" senza una basa computazionale..
A squadra, guidata da Mir Faizal (UBC Okanagan) è cù a cullaburazione di Lawrence M. Krauss, Arshid Shabir è Francesco Marino, hà publicatu i so risultati in u Journal of Holography Applications in Physics è in archivi accademichi. A so tesi cintrale hè chì I fundamenti di a realità implicanu una capiscitura non algoritmica, fora di u scopu di qualsiasi prugramma.
Chì sustene esattamente u novu travagliu?
A pruposta cullega a fisica teorica è a logica matematica: aduprendu u Teorema d'incompletezza di GödelI circadori sustenenu chì in ogni sistema formale Ci sò sempre verità chì ùn ponu esse pruvate da l'internu.. Trasferitu à a cosmologiaCiò implica chì una teoria puramente computazionale ùn abbraccerebbe mai tutta a realtà.
Faizal riassume succintamente l'idea: Una descrizzione cumpleta di u mondu fisicu aduprendu una teoria computazionale di a gravità quantica hèSicondu i so calculi, impraticabile in principiuIn altre parolle, ùn ci saria micca una mancanza di putenza di calculu, ma piuttostu un limite logicu insormontabile.
A chjave si trova in u cuncettu stessu di simulazione: tutta a simulazione dipende da regule è algoritmichì processanu l'input per generà output. S'elli esistenu fatti veri inaccessibili à qualsiasi prucedura algoritmica, Nisun urdinatore pò esaurisce a realitàper quantu raffinata possa esse a so architettura.
Implicazioni per l'ipotesi di "universu di simulazione"
U coautore Lawrence M. Krauss a dice direttamente: s'è e lege fundamentali danu nascita à u spaziu-tempu stessu, ùn ponu esse cunfinati da elluQuesta lettura sfida l'aspettativa di una "teoria di tuttu" espressa in codice eseguibile.
U studiu affronta ancu l'obiezione classica di a recursione (simulazioni in simulazioni). L'aghjunghje di strati ùn risolverebbe micca u prublema, dicenu, perchè una catena di macchine algoritmiche Ùn saria ancu capace di generà ciò chì, logicamente, ùn hè micca calculabile.
Sicondu l'autori, u dibattitu si move cusì da u duminiu puramente speculativu à un duminiu più formale: quellu di u strumenti matematichi verificabiliTuttavia, ammettenu chì si duverà discute se u scopu di i teoremi aduprati copre tutte e varianti imaginabili di "calculu".
In l'ambiente accademicu europeu, A pruposta hà suscitatu à tempu interessu è prudenza.Parechji gruppi cunsultati anu indicatu chì, ancu s'è u ragiunamentu hè suggestivu, Hè cunsigliatu di rivedere l'ipotesi è e definizioni (chì calculu accettemu, chì significa "non algoritmicu" in fisica) prima di dichjarallu finale.
In Spagna, a discussione s'hè diffusa per via di seminarii è rete scientifiche, induve a necessità di replicazione indipendente è esaminà u sustegnu logicu-formale cù una lente d'ingrandimentuIn parallelu, l'ecu di i media riaccende e dumande classiche nantu à a natura di a cuscenza è di a limiti di l'intelligenza artificiale.
Ciò chì resta da verificà
U prublema tecnicu si trova in l'estrapolazione: L'esistenza di verità micca pruvabili in i sistemi formali ùn implica micca automaticamente chì ogni descrizzione fisica scontra un limite simile.L'articulu prupone stu saltu cù argumenti dettagliati, ma a cumunità dumanderà validazioni è sfumature.
In ogni casu, u dibattitu hà cambiatu. Ùn si tratta più solu di induvinà se "simu un codice", ma di per individuà induve si trovanu i limiti di l'informatica applicatu à a realitàÈ chì, in fisica teorica, Hè assai terrenu guadagnatu..
L'opera in tuttu, e so citazioni è a discussione successiva lascianu tutte una idea chjave: Sè a basa di u cosmos richiede una forma di capiscitura chì ùn pò esse cuntenuta in l'algoritmi, allora u sognu di riproduce lu interamente cum'è software hè futile. Ùn si mantene micca sottu à e regule attuali.; l'universu, almenu secondu sta pruposta, ùn saria micca un prugramma, ma qualcosa di più sfuggente per qualsiasi macchina.
Sò un entusiasta di a tecnulugia chì hà trasfurmatu i so interessi "geek" in una professione. Aghju passatu più di 10 anni di a mo vita cù a tecnulugia d'avanguardia è scacciendu ogni tipu di prugrammi per pura curiosità. Avà sò specializatu in tecnulugia di computer è video games. Questu hè chì dapoi più di 5 anni aghju scrittu per diversi siti web nantu à a tecnulugia è i video games, creendu articuli chì cercanu di dà l'infurmazioni chì avete bisognu in una lingua chì hè comprensibile à tutti.
Sì avete qualchì quistione, a mo cunniscenza varieghja da tuttu ciò chì riguarda u sistema operatore Windows è ancu Android per i telefunini. È u mo impegnu hè di voi, sò sempre dispostu à passà uni pochi di minuti è aiutavvi à risolve tutte e dumande chì pudete avè in questu mondu Internet.