El reciente artículo "Consecuencias de la indecidibilidad en la física sobre la teoría de todo" de @LKrauss1 y otros argumenta que la incompletud de Gödel/Tarski implica que la realidad no puede ser una simulación. Pero están cometiendo un error de categoría.🧵

Una "teoría completa de la realidad" no necesita probar su propia consistencia. La incompletitud formal ≠ la incompletitud física. Esperaríamos que tal teoría fuera formalmente incompleta. Las afirmaciones no demostrables simplemente corresponderían a estructuras irreducibles en la realidad, no la invalidarían.

Los autores mapean las oraciones de Gödel a hechos físicos (por ejemplo, "microestados específicos de agujeros negros") y luego exigen un predicado de verdad no algorítmico "actualizado en la naturaleza". Esto salta de la meta-lógica a la ontología sin ninguna justificación.