orthonormal comments on Decision Theories: A Semi-Formal Analysis, Part I - Less Wrong

21 Post author: orthonormal 24 March 2012 04:01PM

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

Comments (90)

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

Comment author: orthonormal 24 March 2012 11:19:39PM 1 point [-]

You'll see by Part III. (Hint: when you see an infinite regress, consider a clever quining.)

Comment author: Vaniver 25 March 2012 07:13:07AM 0 points [-]

Ok. I see how to do quining to only cooperate with copies of your source code, but I don't yet see how to do quining with outcome dependencies.

Comment author: orthonormal 28 March 2012 01:34:24AM 0 points [-]

By the way, I was too blasé in the grandparent comment. I have a model of TDT that does almost the right thing, but I haven't figured out how to quine it so that it does exactly the right thing. (Technically, I can't be sure it'll still work if I do get the right quine in, but my gut feeling is that it will.)

Comment author: Vaniver 28 March 2012 04:44:34AM 0 points [-]

So, I'm going to be pretty disappointed if this whole affair is just someone inventing a meta-cliquebot that's actually just a cliquebot.

Comment author: orthonormal 28 March 2012 02:15:01PM 0 points [-]

Trust me, there's better stuff than that. (In particular, I've got a more nicely formalized write-up of UDT. It's just TDT I'm having issues with.)

Comment author: wedrifid 28 March 2012 01:43:00AM 0 points [-]

I haven't figured out how to quine it so that it does exactly the right thing.

The quining part usually seems to be the tricky part doesn't it?