I guess it works out if any number of bits of optimization being exerted given the existence of an optimizer is as probable as any other number, but if that is the prior we’re starting from then this seems worth stating (unless it follows from the rest in a way that I’m overlooking).
I guess it works out if any number of bits of optimization being exerted given the existence of an optimizer is as probable as any other number, but if that is the prior we’re starting from then this seems worth stating (unless it follows from the rest in a way that I’m overlooking).