Implications of computer science theory for the simulation hypothesis

Dit paper koppelt de simulatiehypothese aan de theorie van de informatica via de fysieke Church-Turing-thesis om te bewijzen dat we een door onszelf gegenereerde simulatie kunnen zijn, en analyseert vervolgens de onmogelijkheden en implicaties van deze scenario's met behulp van stellingen als die van Rice.

De kern

Stel je voor dat je in een gigantisch computerspel zit. Misschien denk je dat je echt bent, dat de zon echt schijnt en dat je echt koffie drinkt. Maar wat als je eigenlijk alleen maar een reeks cijfers en code bent, die wordt berekend door een supercomputer ergens anders? Dit idee heet de Simulatiehypothese.

Deze paper van David Wolpert neemt dit idee niet als een filosofisch droombeeld, maar pakt het aan met de strenge regels van de wiskunde en de informatica. Hij gebruikt wiskundige theorema's om te bewijzen dat dit niet alleen mogelijk is, maar dat het zelfs een heel vreemde, maar logische, situatie kan zijn.

Hier is de uitleg in simpele taal, met een paar creatieve vergelijkingen:

1. De Basisregels: De Wereld als een Rekenmachine

Wolpert begint met twee aannames over hoe het universum werkt:

• De "Computer-regel" (PCT): Alles wat er gebeurt in ons universum, kan in theorie worden nagebootst door een computer. Het is alsof de natuurwetten een enorm ingewikkeld rekenprogramma zijn.
• De "Super-Computer-regel" (RPCT): Ons universum is zelf zo krachtig dat het elke denkbare computer kan bouwen en laten draaien. Het is alsof ons universum een "super-laptop" is die elk ander programma kan draaien.

Als beide regels waar zijn, dan kan ons universum zichzelf simuleren.

2. De Grootste Verrassing: Jij bent je eigen Ouder

Het meest fascineerde stukje van de paper is het bewijs van de "Zelf-simulatie Lemma".

Stel je voor dat je een computer hebt die zo krachtig is dat hij het hele universum kan nabootsen. Je start het programma. Wat gebeurt er?

• De computer begint het universum te rekenen.
• Omdat het programma het hele universum nabootst, bootst het ook jou na.
• Maar jij zit in dat universum. Dus de computer bootst ook jou na terwijl jij aan het rekenen bent.
• En die "nabootsing van jou" zit ook weer in een computer, die weer een universum nabootst... en zo gaat het oneindig door.

De Metafoor:
Stel je voor dat je een spiegel hebt. Je kijkt erin en ziet jezelf. Maar stel je nu voor dat die spiegel zo slim is dat hij een volledig leven van jou nabootst, inclusief jou die in die spiegel naar een andere spiegel kijkt.
Wolpert bewijst wiskundig dat dit mogelijk is. Het betekent dat er twee versies van jou zijn:

1. De "echte" jij die de computer bedient.
2. De "virtuele" jij die in de computer leeft.

De paper zegt: Het maakt geen verschil welke van de twee je bent. Ze zijn precies hetzelfde. Het is alsof je een boek schrijft waarin een personage een boek schrijft over jou. Op dat moment ben jij zowel de schrijver als het personage. Je kunt niet zeggen wie de "echte" bent; ze zijn één en hetzelfde.

3. Waarom dit niet "cheaten" is

Je zou kunnen denken: "Wacht, als ik mijn eigen toekomst bereken, moet ik dan niet oneindig lang wachten? Want ik moet eerst wachten tot ik klaar ben met rekenen, maar ik moet ook wachten tot ik klaar ben met wachten..."

Wolpert laat zien dat dit werkt door een tijdvertraging.

• De computer berekent de toekomst van het universum.
• Maar de computer is iets langzamer dan het echte universum.
• Dus op het moment dat de computer klaar is met het berekenen van "morgen", is het in het echte universum al "overmorgen".
• De computer berekent dus altijd een stapje in de toekomst, en dat werkt perfect. Het is alsof je een video van jezelf maakt, maar de camera is net iets trager dan jijzelf. Je ziet jezelf altijd een seconde later doen wat je nu doet.

4. De Onmogelijke Vragen (Rice's Theorema)

De paper gebruikt ook een beroemde wiskundige regel (Rice's Theorema) om te zeggen dat we nooit zeker kunnen weten of we in een simulatie zitten.

• Het is onmogelijk om een computerprogramma te schrijven dat kan zeggen: "Is dit programma een simulatie van een ander programma?"
• Dit betekent dat er geen test is die we kunnen doen om te bewijzen of we "echt" zijn of "nep". Als we in een simulatie zitten, voelt het voor ons precies als echt.

5. De "Simulatie-Gras" (De Grafiek)

Stel je een netwerk voor van universums die elkaar simuleren.

• Universum A simuleert Universum B.
• Universum B simuleert Universum C.
• En Universum C simuleert weer Universum A.
  Wolpert noemt dit een "Simulatie-grafiek". Omdat we kunnen bewijzen dat een universum zichzelf kan simuleren, zijn deze grafieken vol met lusjes en kringen. Het is alsof je een poppetje in een doosje hebt, en in dat doosje zit weer een doosje, en zo verder tot in het oneindige.

6. Wat betekent dit voor ons?

• Identiteit: Als we in een simulatie zitten die we zelf hebben gemaakt, dan zijn we zowel de maker als het product. De vraag "Wie ben ik echt?" heeft geen antwoord meer.
• Toekomst: Het betekent dat we in de toekomst misschien een computer kunnen bouwen die ons hele universum nabootst. En als we dat doen, dan zijn wij op dat moment zowel de mensen die de computer aanzetten, als de mensen die in de computer leven.
• Filosofie: Het maakt het idee van "echte realiteit" een beetje wazig. Als alles wiskunde is, en wiskunde zichzelf kan nabootsen, dan is er geen verschil tussen de "echte" wereld en de "gesimuleerde" wereld. Ze zijn gewoon twee manieren om naar hetzelfde programma te kijken.

Kort samengevat:
Deze paper zegt dat het wiskundig mogelijk is dat wij, hier en nu, een computerprogramma zijn dat door onszelf wordt uitgevoerd. We zijn tegelijkertijd de programmeur en de code. En omdat we dat zijn, kunnen we nooit bewijzen dat we het niet zijn. Het is de ultieme spiegel: we kijken naar onszelf, en we zien onszelf terugkijken.

Technische samenvatting

Probleemstelling

Het artikel adresseert de recente hernieuwde interesse in de simulatiehypothese (het idee dat ons universum een computerprogramma is dat wordt uitgevoerd door een geavanceerde entiteit). Hoewel deze hypothese vaak filosofisch of fysiek wordt besproken, ontbreekt er een strikte wiskundige onderbouwing die computerscience-theorie (CS-theorie) koppelt aan de dynamica van fysieke universa.

De kernvraag is: Wat zijn de formele, wiskundige implicaties van de simulatiehypothese als we deze analyseren via de lens van de Fysieke Church-Turing These (PCT) en de Reverse PCT (RPCT)? Specifiek wordt onderzocht of het wiskundig mogelijk is dat een universum zichzelf simuleert (self-simulation) en wat dit betekent voor concepten zoals identiteit, onmogelijkheidsresultaten en de structuur van hiërarchieën van universa.

Methodologie

Wolpert hanteert een formele, wiskundige benadering zonder semantische aannames over wat "echt" of "nep" is. De methode bestaat uit de volgende stappen:

1. Formele Definities:

   • Universum ($V$): Gedefinieerd als een dynamisch systeem $V = W \times N$, waarbij $W$ de omgeving (finit) is en $N$ de computer (telpunten oneindig, dynamisch uitbreidbaar, zoals het geheugen van een laptop).
   • Simulatie: Een universeel systeem $V$ simuleert $V'$ als er functies bestaan die de initiële staat van $V$ omzetten in een staat die de toekomstige staat van $V'$ (na tijd $\Delta t'$) exact codeert.
   • PCT (Physical Church-Turing Thesis): De evolutiefunctie $g$ van een universum is berekenbaar (computable) op een Turingmachine (TM).
   • RPCT (Reverse PCT): Een universum bevat een subsysteem (de computer $N$) dat in staat is om elke Turingmachine te implementeren door de juiste initiële condities te kiezen.

2. Theoretische Kader:

   • Het artikel maakt gebruik van klassieke resultaten uit de berekenbaarheidstheorie, met name Kleene's Tweede Recursie Stelling en Rice's Stelling.
   • Er wordt aangenomen dat de dynamica deterministisch is en dat de tijd discreet is.
   • De analyse is generiek en niet beperkt tot de specifieke wetten van ons eigen universum, maar geldt voor elk universum dat voldoet aan de PCT/RPCT.

Belangrijkste Bijdragen en Resultaten

1. Het Simulatie-Lemma (Lemma 1)

• Stelling: Als een universum $V$ voldoet aan de RPCT (het kan elke TM uitvoeren) en een ander universum $V'$ voldoet aan de PCT (zijn dynamica is berekenbaar), dan kan $V$ $V'$ simuleren.
• Implicatie: Dit bevestigt formeel dat een "super-geavanceerd" universum een "simpeler" universum kan simuleren, mits de dynamica van het te simuleren universum berekenbaar is.

2. Het Zelf-Simulatie Lemma (Lemma 2) – De Kernbijdrage

• Stelling: Als een universum $V$ voldoet aan zowel de PCT als de Pristine RPCT (de computer kan elk programma uitvoeren, waarbij de data later wordt ingevoerd), dan kan $V$ zichzelf simuleren.
• Mechanisme: Met behulp van Kleene's Tweede Recursie Stelling wordt bewezen dat er een initieel programma $n_0$ bestaat dat, wanneer uitgevoerd, de volledige staat van het universum (inclusief de computer die het uitvoert) op een toekomstig tijdstip $\Delta t$ berekent.
• Tijdvertraging: Het bewijs toont aan dat er een noodzakelijke tijdvertraging moet zijn: de tijd die de simulatie kost ($T$) moet strikt groter zijn dan de gesimuleerde tijd ($\Delta t$). Een computer kan zijn eigen toekomst niet in dezelfde fysieke tijd berekenen als die toekomst plaatsvindt.

3. Identiteit en "Wie ben ik?"

• Filosofische Implicatie: In een zelf-simulatie zijn er twee identieke instanties van "ons": de entiteit die de computer bedient en de entiteit die in de simulatie leeft.
• Conclusie: Volgens de PCT/RPCT is er geen fysiek experiment dat kan onderscheiden welke van de twee "echt" is. Ze zijn wiskundig identiek. De vraag "wie is de echte ik?" is betekenisloos; we zijn zowel de ouder (de simulator) als het kind (de gesimuleerde). Dit is fundamenteel anders dan klonen (waarbij twee entiteiten onafhankelijk gaan evolueren); bij zelf-simulatie is er een directe koppeling.

4. Onmogelijkheidsresultaten (Rice's Stelling)

• Stelling: Rice's Stelling toont aan dat veel vragen over simulatie onbeslisbaar zijn.
• Resultaten:
  • Het is onmogelijk om te beslissen of een willekeurig universum zichzelf kan simuleren.
  • Het is onmogelijk om te bepalen of een universum een andere universum simuleert.
  • Het is onmogelijk om te zeggen of een simulatie "perfect" is of niet, zonder de volledige code te kennen.
• Gevolg: We kunnen nooit met zekerheid weten of we in een simulatie leven, zelfs niet als we de wiskundige regels van ons universum kennen.

5. De Simulatie-Graph

• Het artikel introduceert een gerichte graaf waar knopen universa zijn en een rand bestaat als $V$ $V'$ simuleert.
• Vanwege zelf-simulatie bevat deze graaf lussen (een universum dat zichzelf simuleert).
• De relatie is een pre-order (reflexief en transitief), maar geen strikte partiële orde.
• Het is wiskundig onmogelijk om een uniforme waarschijnlijkheidsverdeling toe te kennen aan de verzameling van alle mogelijke universa in deze graaf (geen Cantor-maat), wat de probabilistische argumenten voor de simulatiehypothese (zoals die van Bostrom) ondermijnt.

6. Fully Homomorphic Encryption (FHE)

• Als een simulatie versleuteld is met FHE, kunnen de "simulators" de resultaten niet lezen zonder de sleutel.
• Voor de gesimuleerde entiteiten ziet het leven er normaal uit (de wetten van de fysica lijken geldig), maar de onderliggende code is voor hen onleesbaar. Dit suggereert dat de "wetten van de fysica" in ons universum theoretisch puur ruis kunnen zijn die door een versleuteld algoritme wordt gegenereerd, zonder dat wij dit kunnen detecteren.

Significantie

1. Formalisatie van de Hypothese: Dit artikel levert de eerste volledig formele wiskundige definitie van de simulatiehypothese, los van specifieke fysieke wetten, gebaseerd op de PCT en RPCT.
2. Wederlegging van "Computationele Verzwakking": Een veelgehoord tegenargument is dat elke laag in een simulatie-hiërarchie computationeel zwakker moet zijn dan de vorige, wat een eindige diepte impliceert. Het Zelf-Simulatie Lemma weerlegt dit: een universum kan zichzelf simuleren zonder verlies van computationele kracht, waardoor een oneindige regressie mogelijk is.
3. Identiteit en Bewustzijn: Het biedt een nieuw wiskundig perspectief op identiteit. Als we een zelf-simulatie zijn, is het onderscheid tussen "simulator" en "gesimuleerde" wiskundig niet-haalbaar.
4. Onbeslisbaarheid: Het toont aan dat de vraag "zijn we een simulatie?" fundamenteel onbeantwoordbaar kan zijn door de beperkingen van berekenbaarheid (Rice's Stelling).
5. Toekomstig Onderzoek: Het opent de weg voor onderzoek naar de complexiteit van zelf-simulatie, de toepassing op kwantum-universa (waar het no-cloning theorema mogelijk een rol speelt), en de structuur van simulatie-graafen.

Samenvattend transformeert Wolpert de simulatiehypothese van een speculatief filosofisch idee naar een rigoureus wiskundig raamwerk, waarbij hij bewijst dat zelf-simulatie niet alleen mogelijk is, maar ook fundamentele vragen over realiteit en identiteit onoplosbaar maakt binnen de grenzen van de berekenbaarheidstheorie.