¿David Deutsch realmente refutó la hipótesis de la simulación?

En The Fabric of Reality (1997) de David Deutsch, dice:

Imagine una computadora construida para representar todas las realidades virtuales posibles. Suponga que todos los entornos posibles producidos por este generador se pueden diseñar secuencialmente, como Entorno 1, Entorno 2, etc. Tome segmentos de tiempo a través de cada uno de estos de igual duración. (Deutsch especifica un minuto, pero esto podría, en principio, ser cualquier cosa, por ejemplo, el tiempo de Planck). Ahora construya un nuevo entorno de la siguiente manera. En el primer período de tiempo, genere en el ambiente cualquier cosa que sea diferente del Ambiente 1, y en el segundo período de tiempo, cualquier cosa diferente del Ambiente 2, y así sucesivamente. Este nuevo entorno no se puede encontrar en el diseño secuencial de entornos especificado anteriormente, ya que se diferencia de todos los entornos posibles por lo que sucede en un intervalo de tiempo particular. Por lo tanto, esto significa que no se puede crear un generador VR universal de este tipo,

Tomemos el Juego de Ajedrez. Creamos la Serie 1 jugando secuencialmente todos los juegos posibles y llamamos a cada juego Entorno 1, Entorno 2, etc. Ahora la Serie 1 tendrá todas las posiciones de juego posibles, además (y excepto la primera y la última posición en cada Entorno): cada posición tendrá inmediatamente delante de él todas las posiciones posibles que pueden conducir a él, y después de él todas las posiciones posibles que pueden seguirse de él. Además, la mayoría de los puestos existirán en muchos entornos, y los puestos anteriores aparecerán con más frecuencia.

Vamos a crear una segunda serie y llamarla Entorno X. Tomamos posiciones secuencialmente de Entornos secuenciales: la posición 1 del Entorno 1, la posición 2 del Entorno 2, y así sucesivamente. Es obvio que hay dos resultados posibles para el Entorno X, dependiendo de cómo se organizaron los Entornos en la Serie 1 : A) A la Posición 1, al Entorno 1 le sigue P2E2, que es un posible sucesor de P1E1, P2E2 es seguido por su posible sucesor P3E3, etc. - Por lo tanto, se garantiza que el Entorno X será un juego posible en algún lugar de la Serie 1. B) La disposición de los Entornos es tal que cada posición en Entornos sucesivos no siempre es posible desde la posición anterior en el entorno anterior. - Aquí bien puede ser que el Entorno X sea unjuego imposible .

Ahora creamos Environment X siguiendo las líneas del "nuevo entorno" de Deutsch. A) Usamos una posición aleatoria ( fracción de tiempo ) de entornos sucesivos. - En este caso, sería posible tener el Entorno X tal que esté ausente en la Serie 1, pero no garantizado. B) ( exactamente como Deutsch ) Elegimos específicamente cada posición (n) en el entorno X de modo que no exista en el entorno (n). - Esto nos deja con un juego completamente imposible.

No estoy seguro de qué hacer con esto. ¿Está Deutsch utilizando un escenario imposible para demostrar que no se pueden simular todos los escenarios posibles? ¿Está diciendo que la agencia externa es la única forma en que podemos estar seguros de que no estamos en una simulación?

¿Me estoy perdiendo de algo?

EDITAR: un poco más de investigación en "entornos cantgotu" - http://www.liquisearch.com/simulated_reality/arguments/cantgotu_environments - revela que el argumento de Deutsch no pretende refutar la hipótesis de la simulación, sino que pretende probar que ciertos mundos no puede ser creado por un "generador universal de mundos posibles". Todavía no entiendo muy bien cómo su argumento prueba algo más allá de la tautología: un generador de mundos posibles no puede producir mundos imposibles.

Dos líneas de investigación me presentan: 1) Hay algún tipo de conflagración de posibilidades - imposibilidades, infinitesimales/infinitos - objetos físicamente posibles. 2) Un solo generador no es suficiente para crear todos los mundos; algo que intento explorar aquí: ¿Deberíamos pensar dos veces sobre el dualismo? y ¿Es la Realidad una intersección de Ontologías Incompatibles?

El problema que tienes es que Duetsch crea una posible situación fuera del alcance de su máquina de simulación. Si todo lo que hace su ejemplo de ajedrez es crear una situación imposible, entonces es su ejemplo el que es más débil que el de Deutsch, no lo contrarresta.
Duetsch usa infinitos para crear el "nuevo entorno", no está tan claro si esto se puede hacer con universos reales, con edades finitas y períodos de tiempo de duración mínima. El ejemplo del ajedrez muestra que en un multiverso, con reglas estables y un intervalo de tiempo mínimo (un movimiento), todos los escenarios posibles son alcanzables. Para el argumento de Duetsche, esto significa que los intervalos de tiempo sucesivos, en el nuevo entorno, no siempre seguirían al anterior de acuerdo con la ley natural. ¿Cómo podría ser ese un mundo posible ?

Respuestas (2)

Para ser honesto, no pude seguir exactamente tu construcción. Pero puedo decir que Deutsch definitivamente no está usando un escenario imposible. En realidad, está adaptando el Argumento de Diagonalización de Cantor , que es una técnica bien conocida en Matemática Pura. Está demostrando que para cualquier lista infinitamente larga de escenarios, hay algún escenario (que es un escenario posible) que no está en la lista. Es decir, ninguna lista de este tipo podría ser exhaustiva, incluso si fuera infinitamente larga.

Sin embargo, no veo cómo esto prueba algo sobre la teoría de la simulación; para mí, solo parece mostrar que no se pueden enumerar las simulaciones en una secuencia. Pero podría estar equivocado.

Como nota final, el argumento de la diagonalización (y su variante aquí) se basa en el hecho de que hay una infinidad de elementos que podrían cambiarse potencialmente. Por esta razón, los juegos de ajedrez que consisten en un número finito de movimientos no funcionarán. El escenario de Deutsch funciona porque tiene infinitas porciones de tiempo para modificar.

Editar: la página de wikipedia en realidad no es la descripción más accesible, pero hay montones de blogs de matemáticas y demás.

El llamado " ... Entorno CantGoTu toma las ideas incrustadas en el Argumento Diagonal de George Cantor, los teoremas de Indecidibilidad de Kurt Gödel y los límites de computabilidad destacados por Alan Turing, y los aplica a los entornos de Realidad Virtual " - mixedreality.wikia .com/wiki/Simulated_reality La analogía del ajedrez intenta mostrar: un mundo posible debe tener una "fracción de tiempo" mínima (tiempo de planck) corrolada a 1 movimiento de ajedrez. Si todos los juegos/entornos posibles están en una serie que contiene todas las progresiones válidas, cualquier juego que no esté en serie es un "mundo" imposible. Véase también editar.
Sí, pero ¿no se demuestra que la afirmación "todos los juegos posibles están en una serie" es incorrecta mediante la diagonalización? Tal vez escaparías si tuviéramos un universo de relojería determinista duro, pero con la descomposición radiactiva probabilística, creo que es más como juegos de ajedrez infinitamente largos donde las piezas reaparecen al azar.
No, los juegos tienen las mismas reglas de progresión y la progresión es por pasos discretos . la garantía se refiere a simulación/no simulación. Tenga en cuenta que mientras el decaimiento probabilístico se ajusta a un gráfico, el decaimiento real se granula por el tiempo de Planck.
Pero si el número de escenarios es finito (o temporalmente finito) este argumento no refuta la hipótesis de la simulación, ¿verdad?

Deutsch está reafirmando algunos resultados bien conocidos en la teoría de la computación descubierta por Gödel y Turing. El resultado explica que no todas las funciones pueden ser calculadas por una computadora. Esto no es una crítica al argumento de la simulación.

La crítica de Deutsch al argumento de la simulación se puede encontrar en las páginas 11-12 de It from Qubit . Una computadora universal solo requiere un sistema físico capaz de realizar un conjunto limitado particular de operaciones, que puede ser realizado por una amplia gama de sistemas físicos, por ejemplo, tubos de vacío y chips de silicio. Entonces, si somos un programa que se ejecuta en una computadora, no podemos saber nada sobre el hardware subyacente, es decir, las leyes reales de la física. Así que el argumento de la simulación es anticientífico ya que no podemos entender nada acerca de las leyes reales de la física.

Deutsch señala otro problema con el argumento de la simulación en "El comienzo del infinito": no sé exactamente dónde, puedes buscarlo en el índice al final del libro. El argumento de la simulación también dice que se ejecutará en muchas simulaciones, por lo que es probable que estemos en una simulación, pero no especifica cómo se deben contar esas simulaciones. Por ejemplo, la computadora en la que estoy escribiendo esto puede estar usando múltiples electrones en el mismo cable para representar el mismo bit. ¿Deberíamos contar todas estas instancias redundantes de la misma información como simulaciones separadas de lo que sea que esté haciendo mi computadora?

"Por ejemplo, la computadora en la que estoy escribiendo esto puede estar usando múltiples electrones en el mismo cable para representar el mismo bit" - Me encanta esta oración, es una fuente tan fértil para la metáfora... es decir, los electrones representan bits a través del movimiento , posición, potencial o presencia, todos relacionados con diferentes perspectivas metafísicas sobre la Realidad. - La otra pregunta es sobre un aspecto algo diferente a esta, muy apreciada, dirección de respuesta.
@ christo183 Una metáfora es "una figura retórica en la que una palabra o frase se aplica a un objeto o acción a la que no se aplica literalmente". Entonces, si los electrones representan bits en virtud de una cantidad física medible u otra, no es una metáfora, ya que se trata de lo que literalmente representa los bits. Lo que escribiste es una tontería y deberías tener más cuidado en tu escritura.
Es posible que hayas leído tonterías, pero todavía hay esperanza de que si buscas un significado, puedas encontrar algo de verdad. - Vea también la respuesta y los comentarios de @MoziburUllah aquí: philosofy.stackexchange.com/a/64626/33787