Récursionvivons-nous dans une simulation ?
L'argument de la simulation est un argument philosophique sérieux, mais il n'y a aucune preuve en sa faveur. La vraie recherche derrière la fin de Cosmos Era « Récursion ».
Vivons-nous dans une simulation ? L'argument de la simulation de Nick Bostrom, publié en 2003, est un argument philosophique sérieux, et en 2012 des physiciens ont proposé un moyen de tester si l'univers est calculé sur un réseau. Mais rien ne prouve que nous vivions réellement dans une simulation. La fin « Récursion » du jeu pousse l'idée d'un cran : les civilisations à l'intérieur de la simulation font elles aussi tourner des simulations.
Cette page explique d'abord comment débloquer la fin, puis présente la science réelle derrière les deux nœuds « Jeux vidéo » et « Récursion », puis la théorie du calcul et de l'information dont dépend toute « simulation ».
Comment la débloquer
- Indice : les civilisations dans une simulation font aussi des jeux.
- Condition : assistez d'abord à la fin « Toutes les planètes ». Débloquez ensuite « Jeux vidéo » et « Récursion », puis assistez à la fin de l'univers.
- Récompense : l'interface gagne une bordure supplémentaire en « poupées gigognes ».
Cette fin appartient à la catégorie Information.
Deux dates dans l'argument de la simulation
- 2003 : l'argument de la simulation de Bostrom est un argument philosophique sérieux, pas de l'imagination de science-fiction.
- 2012 : des physiciens ont proposé un moyen de tester si l'univers est calculé sur un réseau. Autrement dit, la question n'est pas que de la philosophie, puisque quelqu'un a proposé un moyen de la tester.
L'arrière-plan réel des deux nœuds
- Jeux vidéo : en 1962, des étudiants du Massachusetts Institute of Technology ont écrit Spacewar!, où deux vaisseaux se tirent dessus dans la gravité d'une étoile.
- Récursion : les civilisations d'une simulation peuvent elles aussi faire tourner des simulations. Bostrom a fait remarquer que les simulations peuvent s'emboîter couche après couche, avec une puissance de calcul réduite à chaque couche. La question que pose le nœud « Récursion » du jeu est : avez-vous joué à un jeu appelé « Cosmos Era » ?
Ce dont une simulation a besoin : calcul et information
Toute discussion sur la simulation ramène à la théorie du calcul et de l'information, et les travaux fondateurs sont tous ici.
- Calculabilité : Alan Turing a imaginé une machine abstraite qui définissait ce qu'est le « calcul », posant le fondement théorique des ordinateurs modernes (Turing, Proceedings of the London Mathematical Society, 1936).
- Théorie de l'information : Claude Shannon a fait de l'« information » une grandeur mesurable, et le bit est né (Shannon, Bell System Technical Journal, 1948).
- Le transistor : un simple morceau de semi-conducteur peut amplifier un signal. Il a remplacé le tube à vide et fait passer l'ordinateur de la taille d'une pièce à quelque chose qui tient dans une poche (Bardeen et Brattain, Physical Review, 1948).
- Le World Wide Web : une proposition interne que le patron avait annotée « Vague but exciting » est devenue plus tard le World Wide Web (Berners-Lee, CERN, 1989).
Tout cela est de la recherche réelle apparentée. Cela montre comment les humains ont construit, pas à pas, des machines capables de « simuler » des choses. Ce ne sont pas des preuves que l'univers est une simulation.
Quelle complétude pour une simulation ?
Le Miroir de Liu Cixin (2004) parle d'un ordinateur à supercordes qui simule tout l'univers depuis le Big Bang, si bien que le miroir montre tout le passé et tout l'avenir, et qu'aucun secret ne peut rester caché. Son arrière-plan scientifique est le suivant : une simulation complète de l'univers demanderait plus d'information que l'univers lui-même ne peut en contenir, limitée par la borne de Bekenstein.
Simulacron-3 de Daniel F. Galouye (1964) parle d'un ingénieur qui construit une ville virtuelle pour des études de marché. Ses habitants se croient de vraies personnes, puis il se met à soupçonner que son propre monde n'est pas réel non plus. Son arrière-plan scientifique est le suivant : en 2003, Bostrom a transformé la question en un argument philosophique formel.
La fin de l'univers
Le destin de l'univers dans des milliers de milliards d'années et au-delà : les étoiles s'éteignent, les protons peuvent se désintégrer, et les trous noirs finissent par s'évaporer (Adams et Laughlin, Reviews of Modern Physics, 1997). Débloquer la fin exige d'assister à la fin de l'univers, c'est donc un arrière-plan apparenté.
Fiction du jeu, pas réel
Rien ne prouve que nous vivions réellement dans une simulation. La récompense est une bordure supplémentaire en « poupées gigognes » sur l'interface, en écho à la récursion d'une « simulation dans une simulation ».
Envie de lire les originaux ? Cherchez ces titres
- Turing (1936) : "On computable numbers, with an application to the Entscheidungsproblem"
- Shannon (1948) : "A mathematical theory of communication"
- Bardeen et Brattain (1948) : "The transistor, a semi-conductor triode"
- Berners-Lee (1989) : "Information management: A proposal"
- Adams et Laughlin (1997) : "A dying universe: the long-term fate and evolution of astrophysical objects"
Base réelle
L'argument de la simulation de Bostrom, en 2003, est un argument philosophique sérieux ; en 2012, des physiciens ont proposé des moyens de tester si l'univers est calculé sur un réseau.
Jeux vidéo: En 1962, des étudiants du MIT écrivirent Spacewar! : deux vaisseaux se tirent dessus dans la gravité d'une étoile.
Récursion: Une civilisation dans une simulation peut aussi lancer des simulations. Bostrom a noté que les simulations peuvent s'emboîter couche après couche, la puissance de calcul étant réduite à chaque couche.
Simulacron-3 (Daniel F. Galouye, 1964), côté science : Bostrom a transformé cette question en argument philosophique formel en 2003.
Le Miroir (Liu Cixin, 2004), côté science : une simulation complète de l'univers demanderait plus d'information que l'univers n'en peut contenir, selon la limite de Bekenstein.
Recherches liées
Ces études sont liées au sujet mais ne prouvent pas directement le contenu de cette page.
Calculabilité: Turing a imaginé une machine abstraite qui définissait ce qu'est le « calcul », posant la base théorique des ordinateurs modernes.
Source : Turing, Proceedings of the London Mathematical Society 1936, "On computable numbers, with an application to the Entscheidungsproblem"
Théorie de l'information: Shannon a fait de l'« information » une quantité mesurable, et le bit est né.
Source : Shannon, Bell System Technical Journal 1948, "A mathematical theory of communication"
Le transistor: Un morceau de semi-conducteur peut amplifier un signal. Il a remplacé les tubes à vide et ramené les ordinateurs de la taille d'une salle à celle d'une poche.
Source : Bardeen & Brattain, Physical Review 1948, "The transistor, a semi-conductor triode"
Le World Wide Web: Une proposition interne, que le patron a annotée « vague mais enthousiasmant ». Elle est devenue plus tard le World Wide Web.
Source : Berners-Lee, CERN 1989, "Information management: A proposal"
Le dernier chapitre de l'univers: A calculé le destin de l'univers sur des milliers de milliards d'années et au-delà : les étoiles s'éteignent, les protons se désintègrent peut-être, et les trous noirs finissent par s'évaporer.
Source : Adams & Laughlin, Reviews of Modern Physics 1997, "A dying universe: the long-term fate and evolution of astrophysical objects"
Fiction du jeu (inventée)
- Rien ne prouve que nous vivions réellement dans une simulation.
- Nœud « Récursion » : as-tu déjà joué à un jeu appelé « Cosmos Era » ?
- Résumé du roman Simulacron-3 : un ingénieur construit une ville virtuelle pour des études de marché, dont les habitants se croient de vraies personnes. Puis il commence à douter de son propre monde.
- Résumé du roman Le Miroir : un ordinateur à supercordes simule l'univers depuis le Big Bang, si bien que le miroir montre tout le passé et le futur, et aucun secret ne peut rester caché.