Un ordinateur ne fait pas exister un monde, il le décrit
L'hypothèse de l'univers mathématique et la simulation (Tegmark)
Un univers simulé existe aussi réellement que le nôtre : « simulé » ne veut pas dire « moins réel », seulement « spécifié par un ordinateur ».
Faire tourner l'ordinateur ne change pas si le monde décrit existe : simulé ou non, il existe de la même façon.
« Un ordinateur ne fait pas exister un monde, il le décrit » est un argument de Max Tegmark (Tegmark, « The Mathematical Universe », 2008, 2008) sur la question « Le monde existe-t-il vraiment ? » (réponse : le virtuel est réel aussi). Sa thèse : Un univers simulé existe aussi réellement que le nôtre : « simulé » ne veut pas dire « moins réel », seulement « spécifié par un ordinateur ». Selon la vérification logique d'AskPhilosophy (solveur Z3), l'argument est valide à condition d'admettre une prémisse que l'auteur ne formule pas (P4). AskPhilosophy présente 2 objections, dont 0 avec une réponse documentée, et le texte original de chaque prémisse, vérifié mot pour mot.
Le cosmologue Max Tegmark défend une idée audacieuse : notre monde physique n'est pas décrit par des mathématiques, il est une structure mathématique, c'est-à-dire des objets abstraits et les relations entre eux. De là il tire une conséquence sur les simulations. Si l'on simulait un univers sur un ordinateur, cet univers serait lui aussi une structure mathématique, et elle existerait déjà, avant même qu'on la calcule. Le rôle de l'ordinateur ne serait pas de calculer l'histoire de l'univers, mais de la spécifier. Que l'ordinateur tourne ou non, cela ne change pas si cet univers existe. Attention : tout repose sur l'hypothèse de l'univers mathématique, que Tegmark présente comme une conséquence de l'existence d'une réalité extérieure à nous, et qui est très discutée.
clique sur une prémisse pour la rejeter
Sans la prémisse implicite : Sans P4, on peut imaginer que les structures mathématiques existent « en général » sans que cela suffise à faire un monde où l'on vit : une équation existe, mais personne n'y habite. Le calcul seul ne dirait pas que le monde décrit est réel.
Objections
2Chaque objection est une conversation : clique pour voir qui répond, et où en est le débat.
SSabine Hossenfelder 2007 · attaque la prémisse 1Hossenfelder, physicienne, dit que les mathématiques décrivent la réalité mais ne sont pas la réalité. On peut penser et décrire la fonction d'onde d'un électron même si l'électron n'existe pas, et cela ne le rend pas réel. Elle y voit une différence que l'hypothèse de Tegmark gomme.
sans réponse
Hossenfelder, physicienne, dit que les mathématiques décrivent la réalité mais ne sont pas la réalité. On peut penser et décrire la fonction d'onde d'un électron même si l'électron n'existe pas, et cela ne le rend pas réel. Elle y voit une différence que l'hypothèse de Tegmark gomme.
GGordon McCabe 2005 · attaque la prémisse 2McCabe soutient qu'une simulation numérique n'a pas de lien objectif avec le système qu'elle simule : elle n'existe que comme un processus physique dans les pièces de l'ordinateur. Personne ne peut donc vivre « dans » une simulation numérique, et il n'y a pas de monde simulé dont on pourrait dire qu'il est réel.
sans réponse
McCabe soutient qu'une simulation numérique n'a pas de lien objectif avec le système qu'elle simule : elle n'existe que comme un processus physique dans les pièces de l'ordinateur. Personne ne peut donc vivre « dans » une simulation numérique, et il n'y a pas de monde simulé dont on pourrait dire qu'il est réel.