Wiskunde ontkracht de simulatiehypothese

In het Journal of Holography Applications in Physics is onlangs een ingetogen artikel verschenen dat probeert te doen wat decennia aan sciencefiction en stoned gefilosofeer niet konden: de stekker uit de Matrix trekken. Terwijl de elite van de techindustrie het afgelopen decennium debatteerde over de vraag of wij allemaal slechts subroutines zijn in een post-humane speelbak, besloot een team onder leiding van Dr. Mir Faizal van de Okanagan-campus van de University of British Columbia de wiskunde te controleren. Hun conclusie is een koude douche voor de simulatie-aanhangers: de fundamentele structuur van de realiteit is logisch onverenigbaar met het zijn van een computerprogramma.

Voor degenen die de "Simulatiehypothese" volgen sinds Nick Bostrom deze in 2003 voor het eerst formaliseerde, voelde het debat altijd meer aan als een seculiere religie dan als een technisch onderzoek. Het stelt dat naarmate de rekenkracht toeneemt, elke geavanceerde beschaving uiteindelijk simulaties van hoge kwaliteit van hun voorouders zal draaien. Statistisch gezien, zo luidt de theorie, zouden er miljoenen gesimuleerde universums zijn en slechts één "basis"-realiteit, waardoor het overweldigend waarschijnlijk is dat wij degenen zijn die op een harde schijf leven. Het is een vernuftige, angstaanjagend logische truc die de verbeelding heeft geprikkeld van iedereen, van Elon Musk tot de makers van ChatGPT. Maar Faizal en zijn internationale medewerkers, waaronder de bekende fysicus Lawrence M. Krauss, stellen dat deze logica berust op een fundamenteel misverstand van wat een computer eigenlijk is.

De Gödel-valstrik voor digitale architecten

De kern van het argument van de onderzoekers berust op de onvolledigheidsstellingen van Kurt Gödel, een pijler van de 20e-eeuwse wiskunde die in feite fungeert als een "Verboden Toegang"-bord voor absolute logica. Gödel bewees dat er in elk voldoende complex wiskundig systeem altijd beweringen zullen zijn die waar zijn, maar die niet kunnen worden bewezen met de regels van dat systeem. Als het universum een simulatie was, zou het noodzakelijkerwijs worden bestuurd door een algoritme—een eindige set computationele regels. Faizal’s team wijst er echter op dat de fysieke realiteit, met name bezien vanuit het perspectief van kwantumzwaartekracht, eigenschappen vertoont die niet-algoritmisch zijn.

Om een universum te simuleren, heb je een volledige set regels nodig die elke mogelijke toestand en interactie kan verklaren. Maar als Gödel gelijk heeft, kan zo'n volledige set regels niet bestaan voor een systeem dat zo complex is als onze realiteit. Er is een kloof tussen wat de "code" kan beschrijven en wat er daadwerkelijk gebeurt. De onderzoekers noemen dit "niet-algoritmisch begrip". Het is het idee dat het universum functioneert op een niveau van complexiteit dat niet kan worden gereduceerd tot een reeks 1-en en 0-en, of zelfs de complexe qubits van een kwantumcomputer. Als het universum niet-algoritmische processen nodig heeft om te functioneren, dan kan per definitie een computer—die een puur algoritmische machine is—het niet hosten.

Dit is niet louter een filosofisch meningsverschil; het is een hardwareprobleem. In de klassieke informatica hebben we te maken met Church-Turing-machines, systemen die alles kunnen berekenen wat berekenbaar is. Het artikel van de UBC suggereert dat de wetten van de fysica in feite niet berekenbaar zijn op de manier die we aannemen. We kunnen de baan van een raket of de hitte van een ster simuleren omdat dit benaderingen zijn. Maar het simuleren van het ontstaan van de ruimtetijd zelf uit de "informatie" van kwantumzwaartekracht vereist een type verwerking dat de logische limieten van elk systeem dat op geprogrammeerde regels is gebouwd, overstijgt.

De hoge kosten van digitale tweelingen

Terwijl de theoretische natuurkundegemeenschap debatteert over het niet-algoritmische karakter van de realiteit, zet de Europese Unie momenteel miljarden euro's in op het idee dat we ten minste delen ervan kunnen simuleren. Het initiatief "Destination Earth" (DestinE) is een vlaggenschipproject dat gericht is op het creëren van een "digitale tweeling" van de planeet om klimaatverandering en extreme weersomstandigheden te monitoren. Het is een enorme aanbesteding waarbij de European Space Agency (ESA) en het European Centre for Medium-Range Weather Forecasts (ECMWF) betrokken zijn. Het project berust op de aanname dat als je genoeg petaflops aan rekenkracht op een probleem loslaat, je de systemen van de aarde met perfecte getrouwheid kunt nabootsen.

Faizal’s bevindingen wijzen echter op een naderend plafond voor deze ambities. Als de realiteit fundamenteel niet-algoritmisch is, zal elke simulatie—ongeacht hoeveel GPU-clusters in Bonn of Bologna we er ook op loslaten—uiteindelijk stuiten op een muur van "irreducibele complexiteit". We zien dit al bij weersvoorspellingen, waar de kloof tussen een model en de werkelijke atmosfeer niet alleen een kwestie is van meer data, maar van chaotische variabelen die wiskundig gezien mogelijk onmogelijk "vooraf te berekenen" zijn. Brussel financiert wellicht de meest geavanceerde spiegel die ooit is gebouwd, maar het UBC-onderzoek suggereert dat de spiegel nooit werkelijk het object kan worden dat hij reflecteert.

In Duitsland, waar de halfgeleider-toeleveringsketen vaak wordt bekeken door de lens van industriële soevereiniteit, is het idee dat het universum geen computer is, vreemd genoeg geruststellend. Als de wereld een simulatie zou zijn, zou de machtigste entiteit degene zijn die de serverfarm bezit. Onder het huidige traject van chipfabricage zou dat waarschijnlijk een bedrijfsentiteit in Santa Clara zijn of een door de staat gesteunde fab in Hsinchu. Door te bewijzen dat het universum geen programma is, herstelt de wiskunde effectief de "fysica" van de echte wereld—hulpbronintensief, rommelig en fundamenteel onbeheersbaar—naar zijn primaire positie.

Kan informatie bestaan zonder code?

Een van de meer genuanceerde punten in het artikel betreft de rol van informatie. De moderne natuurkunde, in het bijzonder het holografisch principe dat in de titel van het tijdschrift wordt genoemd, suggereert dat het universum is opgebouwd uit informatie. Dit is vaak gebruikt als bewijs voor de simulatietheorie: als alles slechts informatie is, is het dan niet gewoon software? De onderzoekers stellen dat dit een categoriefout is. Informatie in fysieke zin—de toestanden van kwantumdeeltjes—is niet hetzelfde als digitale informatie opgeslagen in een database.

Dit werpt een ander licht op het "kwantumvoordeel" waar bedrijven als IQM in Finland of Pasqal in Frankrijk naar streven. We bouwen geen computers om de realiteit te simuleren; we bouwen machines die proberen de zeer niet-algoritmische hiaten die Faizal identificeert te benutten. Het doel is om de "vreemdheid" van de kwantummechanica—de delen die geen zin hebben in een klassieke computer—te gebruiken om taken uit te voeren. Maar zelfs een kwantumcomputer is een systeem van logica. Hij werkt nog steeds binnen de grenzen van wat wiskundig gestructureerd kan worden.

Het einde van de Silicon Valley-religie

De simulatiehypothese is altijd populair geweest omdat deze een gevoel van orde geeft. Als we in een simulatie zitten, dan is er een maker, een doel en misschien zelfs een "debug"-modus. Het verandert de angstaanjagende uitgestrektheid van de kosmos in iets vertrouwds: een product. Het is de ultieme uiting van de hoogmoed van de techindustrie—het geloof dat alles, van de geboorte van een ster tot het gevoel van een eerste kus, uiteindelijk reduceerbaar is tot een patenteerbaar proces.

De techmiljardairs blijven wellicht onderzoek financieren naar "glitches in de Matrix" of manieren om "uit te breken" uit de simulatie, maar waarschijnlijk jagen ze op spoken. Het universum verzuimt niet om zijn texturen te laden; het opereert gewoon op een niveau van wiskundige complexiteit dat zich niets aantrekt van onze binaire logica. Het is een klap voor het ego van de programmeur, maar een overwinning voor de fysicus. Het universum is geen computer, en dat is precies waarom het werkt.

Europa heeft decennia besteed aan het bouwen van het perfecte model van de wereld. Het blijkt dat de enige manier om het universum echt te begrijpen is door erin te leven, in plaats van te proberen het te compileren. Het onderzoek is een herinnering dat, hoewel je de regen kunt simuleren, je de computer nooit echt nat kunt krijgen.