Thanks for the response. EDIT: Adam pointed out to me that LDU does not suffer from dictatorship of the present as I originally stated below and as you argued above. What you are saying is true for a fixed discount factor, but in this case we take the limit as δ→1.
The property you describe is known as "dictatorship of the present", and you can read more about it here. In order to get rid of this "dictatorship" you end up having to do things like reject stationary, which are plausibly just as counterintuitive.
> I'm surprised that this is presented as a big advance in infinite ethics as people have certainly thought about this in economics, machine learning and ethics before.
Could you elaborate? The reason that I thought this was important was:
> Previous algorithms like the overtaking criterion had fairly "obvious" incomparable streams, with no real justification for why those streams would not be encountered by a decision-maker. LDU is not complete, but we at least have some reason to think that it may be all we "practically" need.
Are there other algorithms which you think are all we will "practically" need?
FYI, I was still confused about this so I posted on math .se. Someone responded that the above proof is incorrect, but they gave their own proof that there is no computable ordering over Z∞ which respects Pareto.
Thanks! But is that correct? I notice that your argument seems to work for finite sequences as well (or even single rational numbers), but clearly we can order the rational numbers.
Thanks! Someone (maybe it was you?) pointed me to Chen and Rubio's stuff before, and it sounds interesting.
I don't fully understand the informal write up you have above, but I'm looking forward to seeing the final thing!
Thanks! Your idea is interesting – I put a comment on that post.
Something you are probably aware of is that accepting "anonymity" (allowing the sequence to be reordered arbitrarily) requires us to reject seemingly intuitive principles like Pareto (if you can make someone better off and no one worse off, then you should).
Personally, I would rather keep Pareto than anonymity, but I think it's cool to explore what anonymous orderings can do.
The canonical problem in infinite ethics is to create a preference relation over [0,1]N which is in some sense "reasonable". That's what this approach does.
For more background you can see this background article or my overview of the field.
Thanks Oliver and Ben!
I believe it is working now; I posted it here: https://www.lesserwrong.com/posts/tW37uofzXd7ngW8Np/big-advance-in-infinite-ethics
Does latex work in posts? I wrote up a draft post and I'm pretty sure that I used the correct syntax, but I don't see the formulas being formatted.
Maybe it does not work unless the post is fully submitted instead of just a draft? I didn't want to submit the post just to test that out though.
That's a great question and yes, there is generally some amount of risk adjustment performed. To take the example Eliezer used early in this post: you can find much more information then you probably wanted about the risk adjustment for central line associated bloodstream infections (CLABSI) here .