nekomata comments on Problematic Problems for TDT - Less Wrong

36 Post author: drnickbone 29 May 2012 03:41PM

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

Comments (298)

You are viewing a single comment's thread.

Comment author: nekomata 23 May 2012 08:19:53AM 0 points [-]

I don't understand the special role of box 1 in Problem 2. It seems to me that if Omega just makes different choices for the box in which to put the money, all decision theories will say "pick one at random" and will be equal.

In fact, the only reason I can see why Omega picks box 1 seems to be that the "pick at random" process of your TDT is exactly "pick the first one". Just replace it with something dependant on its internal clock (or any parameter not known at the time when Omega asks its question) and the problem disappears.

Comment author: drnickbone 23 May 2012 09:00:11AM *  1 point [-]

Omega's choice of box depends on its assessment of the simulated agent's choosing probabilities. The tie-breaking rule (if there are several boxes with equal lowest choosing probability, then select the one with the lowest label) is to an extent arbitrary, but it is important that there is some deterministic tie-breaking rule.

I also agree this is entirely a maths problem for Omega or for anyone whose decisions aren't entangled with the problem (with a proof that Box 1 will contain the $1 million). The difficulty is that a TDT agent can't treat it as a straight maths problem which is unlinked to its own decisions.

Comment author: nekomata 24 May 2012 03:19:31PM 1 point [-]

Why is it important that there is a deterministic breaking rule ? When you would like random numbers, isn't it always better to have a distribution as close as random as possible, even if it is pseudo-random ?

That question is perhaps stupid, I have the impression that I am missing something important...

Comment author: drnickbone 25 May 2012 11:31:36AM 1 point [-]

Remember it is Omega implementing the tie-breaker rule, since it defines the problem.

The consequence of the tie-breaker is that the choosing agent knows that Omega's box-choice was a simple deterministic function of a mathematical calculation (or a proof). So the agent's uncertainty about which box contains the money is pure logical uncertainty.

Comment author: nekomata 25 May 2012 12:03:49PM 0 points [-]

Whoops... I can't believe I missed that. You are obviously right.