What computer science has to say about the simulation hypothesis
The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns computers that simulate physical universes, which means that to formally investigate it we need to couple computer science theory with p...
Uložené v:
| Vydané v: | Journal of physic, complexity Ročník 6; číslo 4; s. 045010 |
|---|---|
| Hlavný autor: | |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
IOP Publishing
11.11.2025
|
| Predmet: | |
| ISSN: | 2632-072X, 2632-072X |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns computers that simulate physical universes, which means that to formally investigate it we need to couple computer science theory with physics. Here I couple those fields with the physical Church-Turing thesis. I then exploit that coupling to investigate some of the computer science theory aspects of the simulation hypothesis. In particular, I use Kleene’s second recursion theorem to prove that it is mathematically possible for us to be a simulation that is being run on a computer — by us. In such a self-simulation, there would be two identical instances of us; the question of which of those is “really us” is meaningless. I also show how Rice’s theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; and briefly investigate the graphical structure of universes simulating universes simulating universes . . ., among other issues. I end by describing some of the possible avenues for future research. |
|---|---|
| AbstractList | The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns computers that simulate physical universes, which means that to formally investigate it we need to couple computer science theory with physics. Here I couple those fields with the physical Church-Turing thesis. I then exploit that coupling to investigate some of the computer science theory aspects of the simulation hypothesis. In particular, I use Kleene’s second recursion theorem to prove that it is mathematically possible for us to be a simulation that is being run on a computer — by us. In such a self-simulation, there would be two identical instances of us; the question of which of those is “really us” is meaningless. I also show how Rice’s theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; and briefly investigate the graphical structure of universes simulating universes simulating universes . . ., among other issues. I end by describing some of the possible avenues for future research. The simulation hypothesis has recently excited renewed interest in the physics and philosophy communities. However, the hypothesis specifically concerns computers that simulate physical universes. So to formally investigate the hypothesis, we need to understand it in terms of computer science (CS) theory. In addition we need a formal way to couple CS theory with physics. Here I couple those fields by using the physical Church–Turing thesis. This allow me to exploit Kleene’s second recursion, to prove that not only is it possible for us to be a simulation being run on a computer, but that we might be in a simulation that is being run on a computer – by us . In such a ‘self-simulation’, there would be two identical instances of us, both equally ‘real’. I then use Rice’s theorem to derive impossibility results concerning simulation and self-simulation; derive implications for (self-)simulation if we are being simulated in a program using fully homomorphic encryption; and briefly investigate the graphical structure of universes simulating other universes which contain computers running their own simulations. I end by describing some of the possible avenues for future research. While motivated in terms of the simulation hypothesis, the results in this paper are direct consequences of the Church–Turing thesis. So they apply far more broadly than the simulation hypothesis. |
| Author | Wolpert, David |
| Author_xml | – sequence: 1 givenname: David orcidid: 0000-0003-3105-2869 surname: Wolpert fullname: Wolpert, David |
| BookMark | eNpNkM1KAzEURoNUsNbuXeYFxuZvJpOdUtQWCm4U3YXMnRsnpZ2USbro29taKa7u5SzOB-eWjPrYIyH3nD1wVtczUUlRMC2-Zg45luyKjC9o9O-_IdOU1owxoTXnJR-Tx8_OZQpxu9tnHGiCgD0g7VyiOdLkDtQ1cZ9p7pCmsN1vXA6xp91hF48ohXRHrr3bJJz-3Qn5eHl-ny-K1dvrcv60KoArwwrTKN-WjEssK6hQCwYcKgOtkeCl9qKVTilpSiE8COaUEFq2jTcCjNEe5IQsz942urXdDWHrhoONLthfEIdv64YcYIMWRdN6jtqArJWRdS2MN95h2RwXUbGji51dMMSUBvQXH2f2FNSeitlTMXsOKn8AAWZrCw |
| ContentType | Journal Article |
| DBID | AAYXX CITATION DOA |
| DOI | 10.1088/2632-072X/ae1e50 |
| DatabaseName | CrossRef DOAJ Directory of Open Access Journals |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | CrossRef |
| Database_xml | – sequence: 1 dbid: DOA name: DOAJ Directory of Open Access Journals url: https://www.doaj.org/ sourceTypes: Open Website |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 2632-072X |
| ExternalDocumentID | oai_doaj_org_article_e2bdf1e79c384938829f9fae5bc69e40 10_1088_2632_072X_ae1e50 |
| GroupedDBID | AAYXX ABHWH ACHIP AEINN AKPSB ALMA_UNASSIGNED_HOLDINGS CITATION CJUJL EBS GROUPED_DOAJ N5L O3W OK1 |
| ID | FETCH-LOGICAL-c1490-9b4fd5013e56c6e720c1c69cd93cf37f2d3a4439522fc20a42273dbf92c997fc3 |
| IEDL.DBID | DOA |
| ISSN | 2632-072X |
| IngestDate | Mon Dec 01 19:29:25 EST 2025 Thu Nov 13 04:31:13 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Language | English |
| License | https://creativecommons.org/licenses/by/4.0 https://iopscience.iop.org/info/page/text-and-data-mining |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c1490-9b4fd5013e56c6e720c1c69cd93cf37f2d3a4439522fc20a42273dbf92c997fc3 |
| ORCID | 0000-0003-3105-2869 |
| OpenAccessLink | https://doaj.org/article/e2bdf1e79c384938829f9fae5bc69e40 |
| ParticipantIDs | doaj_primary_oai_doaj_org_article_e2bdf1e79c384938829f9fae5bc69e40 crossref_primary_10_1088_2632_072X_ae1e50 |
| PublicationCentury | 2000 |
| PublicationDate | 2025-11-11 |
| PublicationDateYYYYMMDD | 2025-11-11 |
| PublicationDate_xml | – month: 11 year: 2025 text: 2025-11-11 day: 11 |
| PublicationDecade | 2020 |
| PublicationTitle | Journal of physic, complexity |
| PublicationYear | 2025 |
| Publisher | IOP Publishing |
| Publisher_xml | – name: IOP Publishing |
| SSID | ssj0002771151 |
| Score | 2.3088 |
| Snippet | The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically... The simulation hypothesis has recently excited renewed interest in the physics and philosophy communities. However, the hypothesis specifically concerns... |
| SourceID | doaj crossref |
| SourceType | Open Website Index Database |
| StartPage | 045010 |
| SubjectTerms | Church–Turing thesis computer science theory Rice’s theorem simulation hypothesis the recursion theorem |
| Title | What computer science has to say about the simulation hypothesis |
| URI | https://doaj.org/article/e2bdf1e79c384938829f9fae5bc69e40 |
| Volume | 6 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: DOAJ Directory of Open Access Journals customDbUrl: eissn: 2632-072X dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002771151 issn: 2632-072X databaseCode: DOA dateStart: 20200101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVIOP databaseName: Institute of Physics Journals Open Access customDbUrl: eissn: 2632-072X dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002771151 issn: 2632-072X databaseCode: O3W dateStart: 20200529 isFulltext: true titleUrlDefault: http://iopscience.iop.org/ providerName: IOP Publishing |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV07T8MwELZQxQAD4ilaHvLAwmDVsZ3a3niIigEVBh7dIsf2qUWirZqC1H-P7QSUjYUlgxVZzneJ7rvc3XcIXXiXq6hER4znQISljpS0dCTLnTWGUciTlt7rgxyN1Hisn1qjvmJNWC0PXAPX96x0kHmpLVdC80AINWgwPi_tQHuRonUqdSuYek_pNBmoTtbkJcOX1I-65IRKNu4bn_nYZt_yQy25_uRXhrtopyGE-Lo-yB7a8LN9tN2SCTxAV1FfG9tm_gJunBaemAqv5rgya5zKi3HgcriafjQDufBkvYjtVdW0OkQvw7vn23vSTD4gNkQslOhSgMvjH8p8YAdeMmqz8LjWaW6BS2COGxGoRCBPYBk1ggUW4krQzGotwfIj1JnNZ_4Y4cyBUGELD54L5pThQjiI_bVgArkru-jyB4diUQtcFCkxrVQRMSsiZkWNWRfdRKB-74vS1GkhGKxoDFb8ZbDef2xygrZYHMQb6_GyU9RZLT_9Gdq0X6tptTxP70K4PvK3b4bruv8 |
| linkProvider | Directory of Open Access Journals |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=What+computer+science+has+to+say+about+the+simulation+hypothesis&rft.jtitle=Journal+of+physic%2C+complexity&rft.au=David+H+Wolpert&rft.date=2025-11-11&rft.pub=IOP+Publishing&rft.eissn=2632-072X&rft.volume=6&rft.issue=4&rft.spage=045010&rft_id=info:doi/10.1088%2F2632-072X%2Fae1e50&rft.externalDBID=DOA&rft.externalDocID=oai_doaj_org_article_e2bdf1e79c384938829f9fae5bc69e40 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2632-072X&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2632-072X&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2632-072X&client=summon |