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.