P(simulation | seems like HOH) = P(seems like HOH | simulation)*P(simulation) / (P(seems like HOH | simulation)*P(simulation) + P(seems like HOH | not simulation)*P(not simulation))
Even if P(seems like HoH | simulation) >> P(seems like HoH | not simulation), P(simulation | seems like HOH) could be much less than 50% if we have a low prior for P(simulation). That’s why the term on the right might be wrong—the present text is claiming that our prior probability of being in a simulation should be large enough that HOH should make us assign a lot more than 50% to being in a simulation, which is a stronger claim than HOH just being strong evidence for us being in a simulation.
Agreed, I was assuming that the prior for the simulation hypothesis isn’t very low because people seem to put credence in it even before Will’s argument.
But I found it worth noting that Will’s inequality only follows from mine (the likelihood ratio) plus having a reasonably even prior odds ratio.
people seem to put credence in it even before Will’s argument.
This is kind of tangential, but some of the reasons that people put credence in it before Will’s argument are very similar to Will’s argument, so one has to make sure to not update on the same argument twice. Most of the force from the original simulation argument comes from the intuition that ancestor simulations are particularly interesting. (Bostrom’s trilemma isn’t nearly as interesting for a randomly chosen time-and-space chunk of the universe, because the most likely solution is that nobody ever hade any reason to simulate it.) Why would simulations of early humans be particularly interesting? I’d guess that this bottoms out in them having disproportionately much influence over the universe relative to how cheap they are to simulate, which is very close to the argument that Will is making.
Not necessarily.
P(simulation | seems like HOH) = P(seems like HOH | simulation)*P(simulation) / (P(seems like HOH | simulation)*P(simulation) + P(seems like HOH | not simulation)*P(not simulation))
Even if P(seems like HoH | simulation) >> P(seems like HoH | not simulation), P(simulation | seems like HOH) could be much less than 50% if we have a low prior for P(simulation). That’s why the term on the right might be wrong—the present text is claiming that our prior probability of being in a simulation should be large enough that HOH should make us assign a lot more than 50% to being in a simulation, which is a stronger claim than HOH just being strong evidence for us being in a simulation.
Agreed, I was assuming that the prior for the simulation hypothesis isn’t very low because people seem to put credence in it even before Will’s argument.
But I found it worth noting that Will’s inequality only follows from mine (the likelihood ratio) plus having a reasonably even prior odds ratio.
Ok, I see.
This is kind of tangential, but some of the reasons that people put credence in it before Will’s argument are very similar to Will’s argument, so one has to make sure to not update on the same argument twice. Most of the force from the original simulation argument comes from the intuition that ancestor simulations are particularly interesting. (Bostrom’s trilemma isn’t nearly as interesting for a randomly chosen time-and-space chunk of the universe, because the most likely solution is that nobody ever hade any reason to simulate it.) Why would simulations of early humans be particularly interesting? I’d guess that this bottoms out in them having disproportionately much influence over the universe relative to how cheap they are to simulate, which is very close to the argument that Will is making.