does an algorithm that adds two numbers have a belief about the rules of addition? Does a GIF to JPEG converter have a belief about which image format is “better”?
I’m not assuming any fact of the matter about what beliefs an system has. I’m quantifying over all “reasonable” ways of ascribing beliefs. So the only question is which ascription procedures are reasonable.
I think the most natural definition is to allow an ascription procedure to ascribe arbitrary fixed beliefs. That is, we can say that an addition algorithm has beliefs about the rules of addition, or about what kinds of operations will please God, or about what kinds of triples of numbers are aesthetically appealing, or whatever you like.
Universality requires dominating the beliefs produced by any reasonable ascription procedure, and adding particular arbitrary beliefs doesn’t make an ascription procedure harder to dominate (so it doesn’t really matter if we allow the procedures in the last paragraph as reasonable). The only thing that makes it hard to dominate C is the fact that C can do actual work that causes its beliefs to be accurate.
their inner workings are not immediately obvious
OK, consider the theorem prover that randomly searches over proofs then?
I’m not assuming any fact of the matter about what beliefs an system has. I’m quantifying over all “reasonable” ways of ascribing beliefs. So the only question is which ascription procedures are reasonable.
I think the most natural definition is to allow an ascription procedure to ascribe arbitrary fixed beliefs. That is, we can say that an addition algorithm has beliefs about the rules of addition, or about what kinds of operations will please God, or about what kinds of triples of numbers are aesthetically appealing, or whatever you like.
Universality requires dominating the beliefs produced by any reasonable ascription procedure, and adding particular arbitrary beliefs doesn’t make an ascription procedure harder to dominate (so it doesn’t really matter if we allow the procedures in the last paragraph as reasonable). The only thing that makes it hard to dominate C is the fact that C can do actual work that causes its beliefs to be accurate.
OK, consider the theorem prover that randomly searches over proofs then?
Was this meant to read, “The only thing that makes it hard to dominate C …”, or something like that? I don’t quite understand the meaning as written.
Yes, thanks.