> Ultimately, you land on a model where all consistent mathematical representations of a reality exist. [...] IIRC there are no arguments about computation or what underlying medium(s) are involved, it seems like a separate question.
These are actually related by Goedel's incompleteness theorems and the Curry-Howard isomorphism. Computation and mathematics are inextricably linked.
The Computable Universe is a necessary restriction on the mathematical universe hypothesis to avoid accepting inconsistent universes.