I’m not sure what the question is here, so I’ll comment instead.
Now, if the Church Turing Hypothesis is true, then this metaphorical tape is sufficiently powerful to simulate not only boring things like computers, but also fancy things like black-holes and (dare I say it) human intelligence!
I believe this to be an overstep. First, the Church-Turing Thesis is not a formal claim we can readily assess the truth of (formally speaking, we’d probably just say it’s false), and instead a belief that some interpret as “the universe is computable” but mostly shows up in computer science as a way to handwave around messy details of proving any particular function is computable. 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. Thus by invoking it you put the cart before the horse, claiming a thing that would already prove your argument without justification.
Since this is part of the post that seems to be making an argument you disagree with, I’m inclined to view your description as a strawman of MWI in light of this. If you mean it to be a strong argument against MWI I think you’ll have to present it in a way that would convince someone who believes in MWI, since this reads to me like you haven’t understood the MWI position and so are objecting to a position superficially similar to the MWI position but that’s not the real position.
P.P.S. In case my own viewpoint was not obvious, I think “shut up and calculate” means we only worry about things that could potentially affect our future observations, and worrying about whether or not the other branches of the multiverse “exist” is about as meaningful as worrying about how many angels could stand on the head of a pin.
That’s a pragmatic view, and you are free to ignore the (currently) metaphysical question being addressed by MWI because you think it doesn’t matter to your life, but it’s also not an argument against MWI, only against MWI mattering to your purposes.
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.
I’m not sure what the question is here, so I’ll comment instead.
I believe this to be an overstep. First, the Church-Turing Thesis is not a formal claim we can readily assess the truth of (formally speaking, we’d probably just say it’s false), and instead a belief that some interpret as “the universe is computable” but mostly shows up in computer science as a way to handwave around messy details of proving any particular function is computable. 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. Thus by invoking it you put the cart before the horse, claiming a thing that would already prove your argument without justification.
Since this is part of the post that seems to be making an argument you disagree with, I’m inclined to view your description as a strawman of MWI in light of this. If you mean it to be a strong argument against MWI I think you’ll have to present it in a way that would convince someone who believes in MWI, since this reads to me like you haven’t understood the MWI position and so are objecting to a position superficially similar to the MWI position but that’s not the real position.
That’s a pragmatic view, and you are free to ignore the (currently) metaphysical question being addressed by MWI because you think it doesn’t matter to your life, 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.