This just talks about the bits of program available in our physics’ subroutine of a simulation tree, rather than about a universal across Teg 4 convergence, right?
(probably the bit it does is the useful bit, I’ve just been wishing for some convergent UTM for the multiverse for philosophical satisfaction for a while)
Yeah, I’m not convinced that the problem of induction is solvable at Teg 4. However, Universes with similar primitive laws and operations to ours will tend to produce intelligences with similar built-in priors. Thus, the right UTM to use is in a sense just the one that you happen to have in your possession.
This just talks about the bits of program available in our physics’ subroutine of a simulation tree, rather than about a universal across Teg 4 convergence, right?
(probably the bit it does is the useful bit, I’ve just been wishing for some convergent UTM for the multiverse for philosophical satisfaction for a while)
Yeah, I’m not convinced that the problem of induction is solvable at Teg 4. However, Universes with similar primitive laws and operations to ours will tend to produce intelligences with similar built-in priors. Thus, the right UTM to use is in a sense just the one that you happen to have in your possession.
Yeah, I mostly think that this is where it ends up, but it would be so neat if it there was convergence.
A proof of exactly why that’s not an option might also be similarly satisfying/enlightening.
Is this wish compatible with not throwing away a free lunch?
it’s settling on a universal price for each lunch, rather than just subjective ones depending on which lunch you’re near