Preguntas¿Existe realmente el mundo?Un ordenador no hace existir un mundo, lo describe
¿Existe realmente el mundo?Lo virtual también es real

Un ordenador no hace existir un mundo, lo describe

La hipótesis del universo matemático y la simulación (Tegmark)

Max Tegmark nacido en 1967Cosmólogo: nuestro mundo es una estructura matemática, y un ordenador que lo simula solo la describe, no la hace existir.
Ver su ficha
Lo que sostiene

Por tanto, un universo simulado existe tan realmente como el nuestro: «simulado» no significa «menos real», solo «especificado por un ordenador».

Por qué

Hacer funcionar el ordenador no cambia el hecho de que el mundo descrito exista: simulado o no, existe de la misma manera.

La misma idea a lo largo de la historia
Hans Moravec1998Moravec ya sostiene que todo mundo definido por sus reglas es real, lo ejecute o no una máquina.
Max Tegmark2008La versión que se presenta aquí, en el marco de la hipótesis del universo matemático: el ordenador especifica la estructura, no la crea.
David Chalmers2003Chalmers llega a una conclusión cercana respecto a Matrix, sin pasar por la idea de que todo es matemático.
En resumen

«Un ordenador no hace existir un mundo, lo describe» es un argumento de Max Tegmark (Tegmark, «The Mathematical Universe», 2008, 2008) sobre la pregunta «¿Existe realmente el mundo?» (respuesta: lo virtual también es real). Su tesis: Por tanto, un universo simulado existe tan realmente como el nuestro: «simulado» no significa «menos real», solo «especificado por un ordenador». 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, 0 de ellas con una réplica documentada, y el texto original de cada premisa, verificado palabra por palabra.

Tegmark, «The Mathematical Universe», 2008
Válido con una premisa implícita

El cosmólogo Max Tegmark defiende una idea audaz: nuestro mundo físico no está descrito por las matemáticas, sino que es una estructura matemática, es decir, objetos abstractos y las relaciones entre ellos. De ahí extrae una consecuencia sobre las simulaciones. Si se simulara un universo en un ordenador, ese universo sería también una estructura matemática, y ya existiría, incluso antes de que nadie la calcule. El papel del ordenador no sería calcular la historia del universo, sino especificarla. Que el ordenador funcione o no, no cambia el hecho de que ese universo exista. Cuidado: todo descansa en la hipótesis del universo matemático, que Tegmark presenta como una consecuencia de la existencia de una realidad exterior a nosotros, y que es muy discutida.

P1Nuestro mundo físico es una estructura matemática: entidades abstractas y las relaciones entre ellas (hipótesis del universo matemático).
P2Toda simulación de un universo corresponde también a una estructura matemática, que por tanto ya existe como tal.
P3El papel del ordenador que simula no es calcular la historia del universo, sino especificarla: hacerlo funcionar o no no cambia nada en la existencia de la estructura.
P4 · premisa implícitaLo que existe como estructura, se ejecute o no, existe tan realmente como nuestro mundo, si nuestro mundo es también una estructura.
Por tanto, un universo simulado existe tan realmente como el nuestro: «simulado» no significa «menos real», solo «especificado por un ordenador».

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, cabe imaginar que las estructuras matemáticas existen «en general» sin que eso baste para constituir un mundo en el que se vive: una ecuación existe, pero nadie habita en ella. El cálculo por sí solo no diría que el mundo descrito es real.
P1: nuestro mundo es una estructura. P2: un universo simulado también lo es. P3: el ordenador solo la especifica, así que hacerlo funcionar no cambia nada en su existencia. P4, oculta, dice que lo que existe como estructura existe tan realmente como nosotros. Por tanto, el mundo simulado es tan real como el nuestro. Lo que se discute: P1 (la hipótesis matemática) y P4 (¿basta existir como estructura para ser real?).
Analogía. Un plano de arquitecto completo no necesita ser construido para describir una casa: si el plano lo describe todo, la casa «existe» en el plano, lo dibuje alguien o no. Tegmark dice que el cálculo solo sirve para escribir el plano del universo. (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.

S
Sabine Hossenfelder 2007 · ataca la premisa 1

Hossenfelder, física, dice que las matemáticas describen la realidad pero no son la realidad. Se puede pensar y describir la función de onda de un electrón aunque el electrón no exista, y eso no lo hace real. Ella ve ahí una diferencia que la hipótesis de Tegmark borra.

sin respuesta
Todavía no hemos encontrado una respuesta directa de Tegmark en sus textos.
El debate continúa (nuestro resumen) Hossenfelder escribe en octubre de 2007, sobre la versión de abril de 2007 del artículo de Tegmark. No hemos encontrado ninguna respuesta de Tegmark a esa entrada (nuestro resumen).
En qué punto está el debate (nuestro resumen)Desacuerdo de fondo: ¿las matemáticas describen el mundo, o son el mundo? Punto abierto: ninguna posición es ampliamente aceptada (nuestro resumen).
G
Gordon McCabe 2005 · ataca la premisa 2

McCabe sostiene que una simulación digital no tiene un vínculo objetivo con el sistema que simula: solo existe como un proceso físico en las piezas del ordenador. Por lo tanto, nadie puede vivir «dentro» de una simulación digital, y no hay ningún mundo simulado del que se pueda decir que es real.

sin respuesta
Todavía no hemos encontrado una respuesta directa de Tegmark en sus textos.
En qué punto está el debate (nuestro resumen)Punto abierto: para McCabe, una simulación es solo un proceso en una máquina; para Tegmark, corresponde a una estructura matemática que ya existe. Tegmark cita a McCabe como una posición contraria, sin responderle en el artículo (resumen nuestro).