The method that Eliezer is referring to is known as Solomonoff induction which relies on programs as defined by Turing machines. Quantum computing doesn’t come into this issue since these formulations just talk about length of specification, not efficiency of computation. There are theorems that also show that for any given Turing complete well-behaved language, the minimum size of program can’t be differ by more than a constant. So changing the language won’t alter the priors other than a fixed amount. Taken together with Aumann’s Agreement Theorem, the level of disagreement about estimated probability should go to zero in the limiting case (disclaimer I haven’t seen a proof of that last claim, but I suspect it would be a consequence of using a Solomonoff style system for your priors).
The method that Eliezer is referring to is known as Solomonoff induction which relies on programs as defined by Turing machines. Quantum computing doesn’t come into this issue since these formulations just talk about length of specification, not efficiency of computation. There are theorems that also show that for any given Turing complete well-behaved language, the minimum size of program can’t be differ by more than a constant. So changing the language won’t alter the priors other than a fixed amount. Taken together with Aumann’s Agreement Theorem, the level of disagreement about estimated probability should go to zero in the limiting case (disclaimer I haven’t seen a proof of that last claim, but I suspect it would be a consequence of using a Solomonoff style system for your priors).