That does make it clearer why I’m a 0-boxer and uninterested by it, and suggests I should refrain from approaching it on a level as intense as Eliezer’s paper until I am interested in formality, as a correct one-page explanation is unlikely to be formal and the reason the problem is interesting is in its formality.
The issue is expressing formally the algorithm which uses all the information to get the right answer in Newcomb’s.
That does make it clearer why I’m a 0-boxer and uninterested by it, and suggests I should refrain from approaching it on a level as intense as Eliezer’s paper until I am interested in formality, as a correct one-page explanation is unlikely to be formal and the reason the problem is interesting is in its formality.