Thanks. As per theorem 3.2 above you can’t have both Pareto and an anonymity constraint. Finite anonymity would add a constant factor to the complexity of the utility vector and hence shouldn’t affect the prior, so I assume your method follows the finite anonymity constraint.
As a result, you must be disobeying Pareto? It’s not obvious to me why your solution results in this, so I’m bringing it up in case it wasn’t obvious to you either. (Or it could be that I’m completely misunderstanding what you are trying to do. Or maybe that you don’t think Pareto is actually a reasonable requirement. In any case I think at least one of us is misunderstanding what’s going on.)
I haven’t read the entire post but I believe I solved “infinite ethics” in http://lesswrong.com/lw/jub/updateless_intelligence_metrics_in_the_multiverse/ (by sticking to a bounded utility function with discounts of particular asymptotics resulting from summing over a Solomonoff ensemble).
Thanks. As per theorem 3.2 above you can’t have both Pareto and an anonymity constraint. Finite anonymity would add a constant factor to the complexity of the utility vector and hence shouldn’t affect the prior, so I assume your method follows the finite anonymity constraint.
As a result, you must be disobeying Pareto? It’s not obvious to me why your solution results in this, so I’m bringing it up in case it wasn’t obvious to you either. (Or it could be that I’m completely misunderstanding what you are trying to do. Or maybe that you don’t think Pareto is actually a reasonable requirement. In any case I think at least one of us is misunderstanding what’s going on.)