Well that's nice, but I had meant: have we come to a consensus on what sort of decision theory will auto-generate the right result, rather than merely writing down the result of the decision theory preinstalled in our brains and calling it correct? Has the "Paradox" part been formally resolved?
Because, you know, I don't want to post about it and then get told my thoughts were already thought five years ago and didn't actually help solve the problem.
Incarnations of UDT sufficient for this problem have been made completely formal.
Previous Open Thread
You know the drill - If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one.
3. Open Threads should start on Monday, and end on Sunday.
4. Open Threads should be posted in Discussion, and not Main.