There are a fair number of formal analyses of Newcomb’s problem. I particularly like this one:
D.H. Wolpert and G. Benford, What does Newcomb’s paradox teach us? (showing that the standard approaches to the paradox encode fundamentally different—and inconsistent—views about the nature of the decision problem, and clearing up a number of other confusions.)
Ok, I had interpreted the scope more widely than you intended.
I believe Eliezer has a formal analysis of Newcomb’s problem, but I don’t know if he’s published it anywhere.
There are a fair number of formal analyses of Newcomb’s problem. I particularly like this one:
D.H. Wolpert and G. Benford, What does Newcomb’s paradox teach us? (showing that the standard approaches to the paradox encode fundamentally different—and inconsistent—views about the nature of the decision problem, and clearing up a number of other confusions.)
Newcomb’s problem seems to disappear under any known formalization, and as far as I can tell from that thread and all others Eliezer doesn’t have any good formalization which preserves its paradoxical nature