cousin_it comments on What a reduction of “could” could look like

[cousin_it]

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 :-)

[Vladimir_Nesov]

It is a formalization of UDT, but I don’t see how it’s a formalization of TDT.

[cousin_it]

I think Silas meant Eliezer’s “solution to free will”, not TDT.

[SilasBarta]

Posting to confirm. This is why I said:

I saw the context in which you were presenting this: as a way to clarify the existing free will solution EY gave

[Vladimir_Nesov]

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).