Matematiken avfärdar simuleringshypotesen

Fysik
Mathematics kills the simulation hypothesis
Ny forskning baserad på Gödels ofullständighetsteorem antyder att universum inte kan reduceras till en datoralgoritm, vilket vederlägger en populär myt från Silicon Valley.

I Journal of Holography Applications in Physics publicerades nyligen en anspråkslös forskningsartikel som försöker göra det som decennier av science fiction och filosofiska diskussioner inte lyckats med: att dra ur kontakten för Matrix. Medan tech-branschens elit har ägnat det senaste decenniet åt att debattera huruvida vi alla bara är subrutiner i en post-human lekstuga, bestämde sig ett team lett av Dr. Mir Faizal vid University of British Columbia’s Okanagan-campus för att kontrollera matematiken. Deras slutsats är en kalldusch för simuleringsförespråkarna: verklighetens fundamentala struktur är logiskt oförenlig med att vara ett datorprogram.

För dem som följt "Simuleringshypotesen" sedan Nick Bostrom först formaliserade den 2003, har debatten alltid känts mer som en sekulär religion än som en teknisk undersökning. Den postulerar att i takt med att datorkraften växer kommer varje avancerad civilisation förr eller senare att köra högupplösta simuleringar av sina förfäder. Rent statistiskt, lyder teorin, borde det finnas miljontals simulerade universum och endast en "basverklighet", vilket gör det överväldigande troligt att vi är de som lever på en hårddisk. Det är ett prydligt, skrämmande logiskt trick som har fångat fantasin hos allt från Elon Musk till skaparna av ChatGPT. Men Faizal och hans internationella medarbetare, inklusive den välkände fysikern Lawrence M. Krauss, argumenterar för att denna logik vilar på ett fundamentalt missförstånd av vad en dator faktiskt är.

Gödels fälla för digitala arkitekter

Kärnan i forskarnas argument vilar på Kurt Gödels ofullständighetsteorem, en pelare inom 1900-talets matematik som i princip fungerar som en "Tillträde förbjudet"-skylt för absolut logik. Gödel bevisade att det i varje tillräckligt komplext matematiskt system alltid kommer att finnas påståenden som är sanna men som inte kan bevisas med systemets egna regler. Om universum vore en simulering skulle det nödvändigtvis styras av en algoritm – en ändlig uppsättning beräkningsregler. Faizals team påpekar dock att den fysiska verkligheten, särskilt när den betraktas genom linsen av kvantgravitation, uppvisar egenskaper som är icke-algoritmiska.

För att simulera ett universum behöver du en komplett uppsättning regler som kan redogöra för varje möjlig tillstånd och interaktion. Men om Gödel har rätt kan ingen sådan komplett uppsättning regler finnas för ett system så komplext som vår verklighet. Det finns ett gap mellan vad "koden" kan beskriva och vad som faktiskt sker. Forskarna refererar till detta som "icke-algoritmisk förståelse". Det är idén att universum fungerar på en komplexitetsnivå som inte kan reduceras till en serie ettor och nollor, eller ens till de komplexa kvantbitarna i en kvantdator. Om universum kräver icke-algoritmiska processer för att fungera, kan per definition en dator – som är en rent algoritmisk maskin – inte vara värd för det.

Detta är inte bara en filosofisk oenighet; det är ett hårdvaruproblem. Inom klassisk databehandling arbetar vi med Church-Turing-maskiner, system som kan beräkna allt som är beräkningsbart. Artikeln från UBC antyder att fysikens lagar faktiskt inte är beräkningsbara på det sätt vi antar. Vi kan simulera en rakets bana eller en stjärnas värme eftersom dessa är approximationer. Men att simulera själva uppkomsten av rumtiden ur kvantgravitationens "information" kräver en typ av processorkraft som överskrider de logiska gränserna för alla system byggda på programmerade regler.

Den höga kostnaden för digitala tvillingar

Medan den teoretiska fysikvärlden debatterar verklighetens icke-algoritmiska natur satsar EU för närvarande miljarder euro på att vi åtminstone ska kunna simulera delar av den. Initiativet "Destination Earth" (DestinE) är ett flaggskeppsprojekt som syftar till att skapa en "digital tvilling" av planeten för att övervaka klimatförändringar och extrema väderhändelser. Det är en omfattande upphandlingsprocess som involverar Europeiska rymdorganisationen (ESA) och Europeiska centrumet för medellånga väderprognoser (ECMWF). Projektet vilar på antagandet att om man kastar tillräckligt många petaflops av datorkraft på ett problem, kan man återskapa jordens system med perfekt exakthet.

Faizals rön antyder dock ett stundande tak för dessa ambitioner. Om verkligheten är fundamentalt icke-algoritmisk kommer varje simulering – oavsett hur många GPU-kluster i Bonn eller Bologna vi använder – förr eller senare att stöta på en vägg av "irreducibel komplexitet". Vi ser redan detta inom väderprognoser, där klyftan mellan en modell och den faktiska atmosfären inte bara handlar om mer data, utan om kaotiska variabler som kan vara matematiskt omöjliga att "förberäkna". Bryssel kanske finansierar den mest sofistikerade spegel som någonsin byggts, men UBC-forskningen antyder att spegeln aldrig kan bli det föremål den reflekterar.

I Tyskland, där halvledarförsörjningskedjan ofta betraktas ur ett perspektiv av industriell suveränitet, är tanken på att universum inte är en dator märkligt tröstande. Om världen vore en simulering skulle den mäktigaste entiteten vara den som äger serverhallen. Med dagens inriktning inom chiptillverkning skulle det troligen vara ett företag i Santa Clara eller ett statsunderstött gjuteri i Hsinchu. Genom att bevisa att universum inte är ett program återställer matematiken i praktiken den verkliga världens "fysik" – resursintensiv, stökig och fundamentalt okontrollerbar – till sin primära position.

Kan information existera utan kod?

En av de mer nyanserade punkterna i artikeln rör informationens roll. Modern fysik, särskilt det holografiska princip som nämns i tidskriftens titel, antyder att universum består av information. Detta har ofta använts som bevis för simuleringsteorin: om allt bara är information, är det väl bara mjukvara? Forskarna menar att detta är ett kategorifel. Information i fysikalisk mening – tillstånden hos kvantpartiklar – är inte detsamma som digital information lagrad i en databas.

Detta sätter en ny spinn på det "kvantsprång" som företag som IQM i Finland eller Pasqal i Frankrike jagar. Vi bygger inte datorer för att simulera verkligheten; vi bygger maskiner som försöker utnyttja just de icke-algoritmiska luckor som Faizal identifierar. Målet är att använda "konstigheten" i kvantmekaniken – de delar som inte är logiska i en klassisk dator – för att utföra uppgifter. Men även en kvantdator är ett logiskt system. Den verkar fortfarande inom ramarna för vad som kan struktureras matematiskt.

Slutet på Silicon Valley-religionen

Den simuleringshypotesen har alltid varit populär eftersom den ger en känsla av ordning. Om vi befinner oss i en simulering finns det en skapare, ett syfte och kanske till och med ett "debug-läge". Det förvandlar kosmos skräckinjagande vidsträckt till något bekant: en produkt. Det är det ultimata uttrycket för tech-branschens hybris – tron att allt, från en stjärnas födelse till känslan av en första kyss, i slutändan kan reduceras till en patenterbar process.

Tech-miljardärerna kanske fortsätter att finansiera forskning som letar efter "glitchar i Matrix" eller sätt att "bryta sig ut" ur simuleringen, men de jagar troligen spöken. Universum misslyckas inte med att ladda sina texturer; det fungerar bara på en nivå av matematisk komplexitet som inte bryr sig om vår binära logik. Det är ett slag mot programmerarens ego, men en seger för fysikern. Universum är ingen dator, och det är precis därför det fungerar.

Europa har ägnat decennier åt att försöka bygga den perfekta modellen av världen. Det visar sig att det enda sättet att verkligen förstå universum är att leva i det, snarare än att försöka kompilera det. Forskningen är en påminnelse om att även om man kan simulera regn, kan man aldrig riktigt göra datorn blöt.

Mattias Risberg

Mattias Risberg

Cologne-based science & technology reporter tracking semiconductors, space policy and data-driven investigations.

University of Cologne (Universität zu Köln) • Cologne, Germany

Readers

Readers Questions Answered

Q Hur utmanar Gödels ofullständighetsteorem idén om att vi lever i en simulering?
A Gödels teorem visar att alla komplexa matematiska system innehåller sanningar som inte kan bevisas med systemets egna regler. Eftersom en datorsimulering måste fungera utifrån en ändlig uppsättning algoritmiska regler, kan den inte ta hänsyn till den icke-algoritmiska naturen hos den fysiska verkligheten, såsom kvantgravitation. Forskare hävdar att detta logiska gap bevisar att universum besitter en komplexitetsnivå som är fundamentalt omöjlig att reducera till ett datorprogram eller en serie algoritmiska instruktioner.
Q Vad är den primära skillnaden mellan fysisk och digital information enligt forskarna?
A Forskarna hävdar att fysisk information, såsom tillstånden hos kvantpartiklar, fundamentalt skiljer sig från digital information lagrad i en databas. Även om det holografiska principen antyder att universum är informationsbaserat, betyder det inte att det fungerar som programvara. Digital information styrs av algoritmer, medan fysisk information involverar komplexa, icke-algoritmiska processer. Att sammanblanda dessa anses vara ett kategorifel eftersom regelbaserad programvara inte kan replikera den röriga och okontrollerbara naturen hos kvantfysik.
Q Vilka är begränsningarna med att skapa en digital tvilling av jorden med hjälp av superdatorer?
A Storskaliga projekt som Europeiska unionens Destination Earth syftar till att simulera planetens system med hög trohet. Studien antyder dock att dessa ansträngningar kommer att nå ett tak av irreducibel komplexitet. Om fysikens lagar är icke-beräkningsbara kan en simulering aldrig perfekt matcha verkligheten. Även med massiv datorkraft förblir dessa digitala tvillingar approximationer eftersom de inte kan förutberäkna kaotiska variabler eller icke-algoritmiska fysiska processer som sker i den verkliga världen.
Q Vem ledde forskningen om den matematiska inkompatibiliteten hos simuleringshypotesen?
A Forskningen leddes av Dr. Mir Faizal vid University of British Columbia’s Okanagan-campus, i samarbete med ett internationellt team inklusive fysikern Lawrence M. Krauss. Deras resultat publicerades i Journal of Holography Applications in Physics. Teamet använde principer från kvantgravitation och 1900-talets matematiska logik för att argumentera för att universums fundamentala struktur inte är beräkningsbar, vilket effektivt utmanar den populära teknikindustriella tron på att verkligheten är en digital simulering.

Have a question about this article?

Questions are reviewed before publishing. We'll answer the best ones!

Comments

No comments yet. Be the first!