It is not an empirical truth. It is at best a logical truth (and only do because of the axioms I choose). Maybe it is possible that there is an empirically optimal strategy—I doubt I’ll ever find it. The best I can do is show that if you accept some axioms, some specific strategy is optimal. The truth of optimality then is analytical rather than synthetic. I do not call what I’m doing truthseeking because of that.
It is not an empirical truth. It is at best a logical truth (and only do because of the axioms I choose). Maybe it is possible that there is an empirically optimal strategy—I doubt I’ll ever find it. The best I can do is show that if you accept some axioms, some specific strategy is optimal. The truth of optimality then is analytical rather than synthetic. I do not call what I’m doing truthseeking because of that.