Preguntas¿Existe realmente el mundo?Calcular todos los universos posibles cuesta menos que calcular uno solo
¿Existe realmente el mundo?Probablemente una simulación

Calcular todos los universos posibles cuesta menos que calcular uno solo

El Gran Programador; la física digital; el universo es calculado (Zuse, Schmidhuber)

Jürgen Schmidhuber nacido en 1963Informático: nuestro universo quizá sea calculado por un programa muy corto, que calcula también todos los demás universos posibles.
Ver su ficha
Lo que sostiene

Por lo tanto, es razonable pensar que nuestro universo es computado por un programa corto, entre todos los universos computables: estamos, en este sentido, en una simulación.

Por qué

Un programa breve que ejecuta todos los universos posibles requiere menos información que describir uno solo de ellos: es más simple.

La misma idea a lo largo de la historia
Konrad Zuse1969Zuse es el primero en proponer, ya en 1967 (libro «Rechnender Raum» en 1969), que la historia del universo sea calculada por un ordenador, quizá un autómata celular. No lo hemos leído directamente: este es el resumen de Schmidhuber.
Edward Fredkin1985Fredkin retoma la idea en la década de 1980 («física digital»), según la página de Schmidhuber; no hemos leído sus textos.
Jürgen Schmidhuber1997En 1997, Schmidhuber plantea como hipótesis un Gran Programador que ejecuta todos los universos computables, y añade un argumento de simplicidad: describirlos todos requiere menos información que describir uno solo. En 2000, defiende la hipótesis en sí misma: es la explicación más simple compatible con lo que sabemos.
Max Tegmark2008Tegmark lleva la idea más lejos: el ordenador ni siquiera necesita calcular, le basta con describir la estructura matemática del universo.
En resumen

«Calcular todos los universos posibles cuesta menos que calcular uno solo» es un argumento de Jürgen Schmidhuber (Schmidhuber, 1997 y 2000, 1997) sobre la pregunta «¿Existe realmente el mundo?» (respuesta: probablemente una simulación). Su tesis: Por lo tanto, es razonable pensar que nuestro universo es computado por un programa corto, entre todos los universos computables: estamos, en este sentido, en una simulación. Según la verificación lógica de AskPhilosophy (solucionador Z3), el argumento es válido solo si se admite una premisa que el autor no formula (P4). AskPhilosophy presenta 2 objeciones, 1 de ellas con una réplica documentada, y el texto original de cada premisa, verificado palabra por palabra.

Schmidhuber, 1997 y 2000
Válido con una premisa implícita

En 1997, el informático Jürgen Schmidhuber imagina un «Gran Programador» que, hace mucho tiempo, escribió un programa que ejecuta en su gran ordenador todos los universos posibles, es decir, todos los que son computables. El nuestro sería uno de ellos. Su argumento es de simplicidad. La mayoría de los universos posibles son puro desorden, y haría falta un programa larguísimo para describir siquiera uno. Pero el programa que los ejecuta todos, uno tras otro, es muy corto. En 2000 añade la pieza que faltaba: nada de lo que sabemos nos obliga a pensar que el universo es incomputable, y una teoría en la que es calculado es la más simple de todas. Por tanto, se puede creer en ella mientras ninguna prueba la contradiga. Una advertencia: el Gran Programador es una imagen; el argumento trata de la longitud de los programas, no de quién los ejecutaría. Esta postura es «probablemente una simulación» en el sentido de «un mundo calculado», no en el sentido de Bostrom (descendientes que nos simulan).

P1Nada de lo que sabemos nos obliga a pensar que el universo es incomputable: una historia producida paso a paso por un programa es la explicación más simple compatible con lo que observamos.
P2Casi todos los universos computables son puro desorden: describir uno en particular exige un programa larguísimo. En cambio, el programa que los ejecuta todos es muy corto.
P3Cuando existen dos explicaciones, la más simple es la mejor: un montaje en el que se computan todos los universos posibles es más simple que uno en el que solo se computa el nuestro.
P4 · premisa implícitaSi la mejor explicación de nuestro universo es que es el resultado de un programa, entonces vivimos en un mundo computado, es decir, simulado.
Por lo tanto, es razonable pensar que nuestro universo es computado por un programa corto, entre todos los universos computables: estamos, en este sentido, en una simulación.

haz clic en una premisa para rechazarla

Si aceptas todas las premisas, la lógica te obliga a aceptar la conclusión. Por tanto, el debate gira en torno a las premisas.
Verificado por un solucionador lógico: es imposible que todas las premisas sean verdaderas y la conclusión falsa.
Sin la premisa implícita: Sin P4, nada impide que la explicación más simple del universo sea un programa sin que eso nos convierta en seres «simulados»: un programa puede limitarse a describir las leyes, sin que nadie lo ejecute.
P1: nada nos obliga a pensar que el universo es incomputable, y pensar que es computado es lo más simple. P2: computar todos los universos cuesta menos información que computar uno solo. P3: la simplicidad decide entre explicaciones. P4, oculta, dice que un universo cuya mejor explicación es un programa es, en efecto, un mundo computado. Por lo tanto, es razonable creer que estamos en un mundo computado. Lo que se debate: P1 (¿es computable la física?) y la distancia entre «computado» y «simulado por alguien».
Analogía. Piensa en una biblioteca que contuviera todos los libros posibles. Se puede describir en una frase («todas las sucesiones de letras»), mientras que describir un único libro concreto, de apariencia aleatoria, exige copiarlo entero. La idea de Schmidhuber es la misma: computarlo todo es más simple que elegir un solo universo al azar. (Imagen nuestra.)

Objeciones

2

Cada objeción es una conversación: haz clic para ver quién responde y en qué punto está el debate.

Roger Penrose 1989 · ataca la premisa 1

Penrose sostiene que el pensamiento consciente no se reduce a un cálculo y que hará falta una física nueva, no computable, para comprenderlo. Si eso es cierto, el universo no es el resultado de un programa, y P1 cae.

Schmidhuber responde
Schmidhuber
Schmidhuber responde que ninguna prueba obliga a atribuir un papel a magnitudes incomputables para explicar el mundo. Se puede creer que el universo es computable mientras nadie demuestre que no podría existir sin números incomputables.
El debate continúa (nuestro resumen) La respuesta es general: Schmidhuber no discute el argumento propio de Penrose, que parte de la comprensión matemática y del teorema de Gödel, no de una observación física (nuestro resumen).
En qué punto está el debate (nuestro resumen)Punto abierto: no sabemos si las leyes de la física son enteramente computables. Schmidhuber pone la carga de la prueba del lado de Penrose; Penrose cree haberla aportado con Gödel, algo que la mayoría de los lógicos rechaza (nuestro resumen).
S
Sabine Hossenfelder 2021 · ataca la premisa 1

Hossenfelder admite que «nuestro universo computa sus leyes» no tiene nada de escandaloso, pero señala que hoy nadie sabe recuperar la relatividad general y el modelo estándar con un algoritmo paso a paso. Los intentos son, en general, incompatibles con las simetrías de Einstein.

sin respuesta
Todavía no hemos encontrado una respuesta directa de Schmidhuber en sus textos.
El debate continúa (nuestro resumen) Hossenfelder escribe en 2021, después de Schmidhuber (1997); que sepamos, él no ha respondido a este texto. Ella apunta sobre todo a la idea de un programador que ejecuta una simulación, más que a la tesis prudente de Schmidhuber (nuestro resumen).
En qué punto está el debate (nuestro resumen)Desacuerdo de fondo: «el universo obedece leyes matemáticas» es ampliamente aceptado; «es el resultado de un algoritmo que reproduce la física conocida» no está demostrado. Punto abierto (nuestro resumen).