The logic is not faulty, it is predicated upon conditional statements. It is actually a synthesis of Bostrom’s trilemma, Zuse/Fredkin digital ontology, Dyson/Fermi cosmological reasoning, and extrapolation from current computational capabilities.
The “holes” are epistemic, not logical.
I am skipping steps because this topic demands thought, research, and exploration, but ultimately the conclusion is, in my view, inevitable.
We are already building advanced simulators. Video games grow in realism and complexity. With realtime generative AI, these games will become increasingly indistinguishable to a mind. There are already countless humans simultaneously building the thing.
And actually, the lack of evidence of extra-terrestrial life is support of the idea. Once a civilization grows large enough, they may simply build Dyson sphere scale computation devices, Matrioshka brains. Made efficient, they would emit little to no EM radiation and appear as dark gravitational anomalies. With that device, what reason would beings have to endanger themselves in the universe?
But I agree, the hard evidence isn’t there. So I propose human society band together and build interstellar ships to search for the evidence.
Simulation theory is actually an inevitability. Look up ancestor simulators for a brief on why.
Eventually when civilization reaches a certain computationally threshold it will be possible to simulate an entire planet. The inputs and outputs within the computational space will be known with some minor infinite unknowns that are trivial to compensate for given a higher infinite.
Either we are already in one or we will inevitably create one in the future.
This paper is shit.
https://jhap.du.ac.ir/article_488_8e072972f66d1fb748b47244c4813c86.pdf
They proved absolutely nothing.
For instance, they treat physics as a formal axiomatic system, which is fine for a human model of the physical world, but not for the physical world itself.
You can’t say something is “unprovable” and make a logical leap to saying it is “physically undecidable.” Gödel-incompleteness produces unprovable sentences inside a formal system, it doesn’t imply that physical observables correspond to those sentences.
I could go on but the paper is 12 short pages of non-sequiturs and logical leaps, with references to invoke formality, it’s a joke that an article like this is being passed around and taken as reality.
From my perspective it is 100% true as I have seen the other side. Having the conclusion known gives a small advantage in forming the logic to get there.