Vladimir_Nesov comments on Decision Theory Paradox: PD with Three Implies Chaos? - Less Wrong

19 Post author: orthonormal 27 August 2011 07:22PM

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

Comments (56)

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

Comment author: Vladimir_Nesov 27 August 2011 08:12:47PM *  2 points [-]

I thought I saw a formal specification a while back, but perhaps that was UDT.

You're probably thinking of cousin_it's proof sketch of cooperation in PD. That was ADT/UDT. TDT talking about formal proofs is not part of its theory that was discussed anywhere that I know of.