Think of this scenario: I ask “is everything I am doing the optimal for my subjective preferences?”
Now think at your question.
It is provable that the oracle answer yes (or no) to my question if and only if the oracle answer yes (or no) to your question, and vice-versa.
This make my question a better choice since it is less complex (less bits). If you try to schematize some possible cases, you will see that the answer of the oracle in my example and yours is always the same.
The difference is, if the oracle tells you what you’re doing is suboptimal, you might arrive at wrong conclusions about why it’s suboptimal. Also, I see no reason why a shorter question is a priori better?
Think of this scenario: I ask “is everything I am doing the optimal for my subjective preferences?” Now think at your question. It is provable that the oracle answer yes (or no) to my question if and only if the oracle answer yes (or no) to your question, and vice-versa. This make my question a better choice since it is less complex (less bits). If you try to schematize some possible cases, you will see that the answer of the oracle in my example and yours is always the same.
The difference is, if the oracle tells you what you’re doing is suboptimal, you might arrive at wrong conclusions about why it’s suboptimal. Also, I see no reason why a shorter question is a priori better?