- 10,876
- 423
stevendaryl said:In my opinion, calling an observable of a C*-algebra an "equivalence class of measuring devices" is more suggestive than rigorous. I would think that if one really wanted to seriously talk about equivalence classes, then one would have to
- Define what a "measuring device" is.
- Define an equivalence relation on measuring devices.
- Define the operations on measuring devices (addition, multiplication, scaling, or whatever).
- Prove that the equivalence relation is a congruence with respect to those operations.
I don't think you can really do that in a noncircular way, because to make sense of the claim that a particular device is a measuring device for the z-component of spin angular momentum of some particle, you would need to assume some kind of dynamics whereby the device interacts with the particle so that its state evolves to a persistent record of the z-component of the spin angular momentum. You need to have a theory of interactions before you can ever know that something is a measuring device. So it's a bit weird to put in equivalence classes of measuring devices at the beginning, as opposed to having them come out of the theory.
A full definition of a theory must include statements that tell us how to interpret the mathematics as predictions about measurement results. These statements, called "correspondence rules", must tell us what sort of devices we're supposed to use. This is where things get complicated.
Let's say that we want to write down the correspondence rules for (say) the theory of classical point particles in Minkowski spacetime. One of the rules must specify what a clock is. This is a problem. We can't just say that a clock is a device that measures time, because "time" is defined by the theory we're trying to define. The solution is to define a clock by explicit instructions on how to build one.
In principle those instructions can be written so that they can be followed by people who don't know any physics at all, but I can't even imagine what they would look like if we write them that way.
This is still pretty weird, because the best clocks are designed using SR, QM and a lot more. I'm not sure we absolutely need to address that issue, but I see one way that it can be addressed: We define a hierarchy of theories. In the level-0 theories, we use very simple descriptions of measuring devices. Then for each positive integer n, when we define the level-n theories, we make sure that the instructions in the correspondence rules can be understood by people who understand level-(n-1) theories and have access to level-(n-1) measuring devices.
As you can see this is all really complicated, and this is just a discussion of what it takes to completely write down the definition of a good theory (something that certainly has never been done). But I think it's clear that we can at least avoid circularity in the definition of the theory.
I have to go, so I don't have time to address the issue of circularity in the algebraic approach. Maybe later. (I don't think there is any circularity there).