None of our formal systems “accurately describe the design”. They all have domains of applicability - operational parameters. The appeal of the simulation hypo

None of our formal systems “accurately describe the design”. They all have domains of applicability - operational parameters. The appeal of the simulation hypothesis is that IF our formalisms could actually explain all of reality THEN it follows by logical implication that reality can be simulated. This logical implication is true because formal languages are Turing-recognizable. You can “explain” a formalism to a computer. You can program the computer with the Theory of Everything therefore universe can be run on a computer. This is ALL in the abstract. Unfortunately humans have the propensity to commit the mind-projection fallacy.