I think Silas meant Eliezer’s “solution to free will”, not TDT.
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
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 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).