For it to be a formal claim would require us knowing more physics than we do such that we would know the true metaphysics of the universe.
You are correct that I used Church-Turing as a shortcut to demonstrate my claim that MWH is computable. However, I am not aware of anyone seriously claiming quantum physics is non computable. People simulate quantum physics on computers all the time, although it is slow.
I’m inclined to view your description as a strawman of MWI
I don’t think it’s quite a strawman, since the point is that MTM is literally equivalent to MWH. In math saying “A is isomorphic to B, but B is easier to reason about” is something that is done all the time.
but it’s also not an argument against MWI, only against MWI mattering to your purposes.
You are correct that I used Church-Turing as a shortcut to demonstrate my claim that MWH is computable. However, I am not aware of anyone seriously claiming quantum physics is non computable. People simulate quantum physics on computers all the time, although it is slow.
I don’t think it’s quite a strawman, since the point is that MTM is literally equivalent to MWH. In math saying “A is isomorphic to B, but B is easier to reason about” is something that is done all the time.
Yes.