The issue is assigning probability to the outcome (Omega predicted player one-boxing whereas player two-boxed), as it is the only one where two-boxing wins.
No, because two-boxing also wins if Omega predicts you to two-box, and therefore always wins if your decision doesn't alter Omega's prediction of that very decision. CDT would two-box because n+1000 > n for both n = 0 and n = 1000000.
But, because Newcomb can't exist, CDT can never choose anything in Newcomb.
Other than that, your post seems pretty accurate.
I don't see a problem with the perfect predictor existing, I see the statement like "one can choose something other than what Omega predicted" as a contradiction in the problem's framework. I suppose the trick is to have an imperfect predictor and see if it makes sense to take a limit (prediction accuracy -> 100%).
I have read lots of LW posts on this topic, and everyone seems to take this for granted without giving a proper explanation. So if anyone could explain this to me, I would appreciate that.
This is a simple question that is in need of a simple answer. Please don't link to pages and pages of theorycrafting. Thank you.
Edit: Since posting this, I have come to the conclusion that CDT doesn't actually play Newcomb. Here's a disagreement with that statement:
And here's my response:
Edit 2: Clarification regarding backwards causality, which seems to confuse people:
Edit 3: Further clarification on the possible problems that could be considered Newcomb:
Edit 4: Excerpt from Nozick's "Newcomb's Problem and Two Principles of Choice":