I think this is a good idea, thanks for implementing!
Very minor but the link lesswrong.com/moderation#rejected-comments just goes to the same page as lesswrong.com/moderation#rejected-posts (the written address is correct but the hyperlink goes to the wrong page)
The link to Harsanyi's paper doesn't work for me. Here is a link that does, if anyone is looking for one:
The infinite non-uniform discrete case is not much more difficult. If is a finite or countably infinite set, assigns a nonnegative value to each , and is a probability distribution on , then
Very minor, but shouldn't this read " is a probability distribution on " not ?
Thanks for writing this. I think that the arguments in parts III and IV are particularly compelling and well-written.
Thanks for writing this. I wanted to write something about how Deutsch performs a bit a of motte-and-bailey argument (motte:'there are some problems in physics which are hard to solve using the dynamical laws approach'. bailey:'these problems can be solved using constructor theory specifically, rather than other approaches'). Your comment does a good job of making this case. In the end I didn't include it, as the piece was already too long. I just wrote the sentence
Pointing out problems in the dynamical laws approach to physics and trying to find solutions is useful, even if constructor theory turns out not to be the best solution to them.
and left it at that.
I am confused about something. You write that a preference ordering L⪯M is geometrically rational ifGU∼PEO∼LU(O)≤GU∼PEO∼MU(O).
This is compared to VNM rationality which favours L⪯M if and only if EO∼LU(O)≤EO∼MU(O).
Why, in the the definition of geometric rationality, do we have both the geometric average and the arithmetic average? Why not just say "an ordering is geometrically rational if it favours L⪯M if and only if GO∼LU(O)≤GO∼MU(O) " ?
As I understand it, this is what Kelly betting does. It doesn't favour lotteries over either outcome, but it does reject the VNM continuity axiom, rather than the independence axiom.