Under some circumstances, it seems that option 4 would result in the predictor trying to solve the Halting Problem since figuring out your best option may in effect involve simulating the predictor.
(Of course, you wouldn’t be simulating the entire predictor, but you may be simulating enough of the predictor’s chain of reasoning that the predictor essentially has to predict itself in order to predict you.)
Under some circumstances, it seems that option 4 would result in the predictor trying to solve the Halting Problem since figuring out your best option may in effect involve simulating the predictor.
(Of course, you wouldn’t be simulating the entire predictor, but you may be simulating enough of the predictor’s chain of reasoning that the predictor essentially has to predict itself in order to predict you.)
That’s a interesting point.