”Being very generous, I think their attempt is to invoke this result of Chaitin to basically say “if the universe was a simulation, then there would be a formal system that described how the universe worked. By Chaitin, there’s some ‘complexity bound’ for which statements beyond this bound are undecidable. But, these statements have physical meaning so we could theoretically construct the statement’s analog in our universe, and then the simulation would have to be able to decide these undecidable statements.”
What they don’t explain is:
why we should think that we’re guaranteed to be able to construct such physical analogs of these statements,
why they think that whatever universe that is simulating ours must have the same axioms as ours (e.g. Godel only applies to proving statements within the formal system under considerations),
why they can rule out that the hypothetical simulating computer wouldn’t be able to just throw some random value out when it encounters an undecidable statement (i.e. how do we know that physics is actually consistent without examining all events everywhere in the universe?),
...or a bunch of other necessary assumptions that they’re making and not really talking much about.
They also get into some more bad mathematics (maybe bad philosophy?) by appealing to Penrose-Lucas to claim that “human cognition surpasses formal computation,” but I don’t think this is anywhere near a universally accepted stance.”
r/badmathematics have already looked at it.
”Being very generous, I think their attempt is to invoke this result of Chaitin to basically say “if the universe was a simulation, then there would be a formal system that described how the universe worked. By Chaitin, there’s some ‘complexity bound’ for which statements beyond this bound are undecidable. But, these statements have physical meaning so we could theoretically construct the statement’s analog in our universe, and then the simulation would have to be able to decide these undecidable statements.”
What they don’t explain is:
why we should think that we’re guaranteed to be able to construct such physical analogs of these statements,
why they think that whatever universe that is simulating ours must have the same axioms as ours (e.g. Godel only applies to proving statements within the formal system under considerations),
why they can rule out that the hypothetical simulating computer wouldn’t be able to just throw some random value out when it encounters an undecidable statement (i.e. how do we know that physics is actually consistent without examining all events everywhere in the universe?),
...or a bunch of other necessary assumptions that they’re making and not really talking much about.
They also get into some more bad mathematics (maybe bad philosophy?) by appealing to Penrose-Lucas to claim that “human cognition surpasses formal computation,” but I don’t think this is anywhere near a universally accepted stance.”