cousin_it comments on What a reduction of "could" could look like - Less Wrong

53 Post author: cousin_it 12 August 2010 05:41PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (103)

You are viewing a single comment's thread. Show more comments above.

Comment author: cousin_it 12 August 2010 07:01:28PM *  0 points [-]

I think Silas meant Eliezer's "solution to free will", not TDT.

Comment author: SilasBarta 12 August 2010 11:05:16PM 1 point [-]

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

Comment author: Vladimir_Nesov 12 August 2010 07:09:52PM 0 points [-]

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