I was confused on the first reading: I thought you were presenting a contrasting reduction of couldness. Then, on reading the earlier comment, I saw the context in which you were presenting this: as a way to clarify the existing free will solution EY gave. Now, it makes more sense.
(It might be helpful to include more of the motivation for this explanation at the start.)
It’s true that I agree with Eliezer’s solution and my post can be seen as a formalization of that, but I’d much rather not discuss free will here and now :-)
I believe “solution to free will” was based on TDT (although if you make TDT informal, and then formalize the result, it can well be no longer a formalization of TDT, and work better too).
I was confused on the first reading: I thought you were presenting a contrasting reduction of couldness. Then, on reading the earlier comment, I saw the context in which you were presenting this: as a way to clarify the existing free will solution EY gave. Now, it makes more sense.
(It might be helpful to include more of the motivation for this explanation at the start.)
It’s true that I agree with Eliezer’s solution and my post can be seen as a formalization of that, but I’d much rather not discuss free will here and now :-)
It is a formalization of UDT, but I don’t see how it’s a formalization of TDT.
I think Silas meant Eliezer’s “solution to free will”, not TDT.
Posting to confirm. This is why I said:
I believe “solution to free will” was based on TDT (although if you make TDT informal, and then formalize the result, it can well be no longer a formalization of TDT, and work better too).