Will_Sawin comments on Controlling Constant Programs - Less Wrong

25 Post author: Vladimir_Nesov 05 September 2010 01:45PM

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

Comments (33)

You are viewing a single comment's thread.

Comment author: Will_Sawin 24 June 2011 09:43:12PM 0 points [-]

Doesn't this fail Parfit's Hitchhiker?

Comment author: Vladimir_Nesov 25 June 2011 01:29:16AM 0 points [-]

You'd need to figure out a model first. To the extent Parfit's Hitchhiker is like a two-player game, the tools for figuring out what happens are very brittle and hard to work with. To the extent it's like Newcomb's problem, you can model it and get the right answer.

Comment author: Will_Sawin 25 June 2011 02:29:47AM 0 points [-]

Actually I think it doesn't depend. Because you don't update on evidence, so you can't incorporate that into your proofs, so you don't get bad moral arguments.

Comment author: Vladimir_Nesov 25 June 2011 02:41:55AM 0 points [-]

I need a clearer explanation to understand what you are talking about.

Comment author: Will_Sawin 25 June 2011 02:49:36AM *  0 points [-]

Ok so the code goes like:

Use the appropriate decision theory to implement a function f from {picks you up, doesn't pick you up} and {world-programs} to {pay, don't pay}

Then set:

world-program:

If (f(picks you up, world-program)={pay}) then

superfluously call f(picks you up,world-program)
return 10000

else

superfluously call f(doesn't pick you up,world-program)
return 0