I think this ascription is meant to be pretty informal and general. So you could say for example that quicksort believes that 5 is less than 6.
I don’t think there’s meant to be any presumption that the inner workings of the algorithm are anything like a mind. That’s my read from section I.2. Ascribing beliefs to arbitrary computations.
I think this ascription is meant to be pretty informal and general. So you could say for example that quicksort believes that 5 is less than 6.
I don’t think there’s meant to be any presumption that the inner workings of the algorithm are anything like a mind. That’s my read from section I.2. Ascribing beliefs to arbitrary computations.