- #36
bhobba
Mentor
- 10,824
- 3,690
bohm2 said:Okay, but it is the latter part of that quote that I was referring to. We are discussing physical theories. On its own, the QM formalism is just a piece of mathematics.
Sorry - but its not.
It makes statements about actual things out there called observations.
Euclidean geometry as presented by Euclid is more than math because it specifically maps to things out there - points and lines - and you draw actual diagrams.
Euclidean geometry as presented by Hilbert is a piece of abstract mathematics because it does not map to anything - everything is purely abstract
This is a really fundamental - its the difference between applied and pure math.
Take the foundational axiom in Ballentines treatment and my heuristic justification for it:
Imagine we have a system and some observational apparatus that has n possible outcomes associated with values yi. This immediately suggests a vector and to bring this out I will write it as Ʃ yi |bi>. Now we have a problem - the |bi> are freely chosen - they are simply man made things that follow from a theorem on vector spaces - fundamental physics can not depend on that. To get around it QM replaces the |bi> by |bi><bi| to give the operator Ʃ yi |bi><bi| - which is basis independent. This is the foundational axiom of QM, and heuristically why its reasonable.
I, and Ballentine, are talking about real things - a system and an observational apparatus with n distinct possible outcomes. This is not an abstract bit of math like Peanoes axioms etc - it is concrete.
All physicists agree on the formalism and without any interpretation can be used to solve problems and make predictions. In fact many, probably even most, couldn't give a hoot about interpretations and quite happily ignore it.
bohm2 said:Zonde had argued (if I understand him) that one of the PBR assumptions should not be questioned (e.g. systems that are prepared independently have independent physical states), because without it, we would have to abandon the scientific method.
It can be questioned - its validity is purely an experimental matter. What we know from everyday experience is it seems true - but science has a different standard.
This is similar to Noether's Theorem. Everyone exposed to it immediately senses this is the correct basis for conservation laws because that the laws of nature should not depend on where, when, or what direction is very intuitive from everyday experience - but its validity is, strictly speaking, still an experimental matter.
Feynman discusses this somewhere - in the Feynman Lectures I think - but don't hold me to it. He points out some philosophers claim that science couldn't even be done if the laws of nature were not like that. Poppycock - science doesn't depend on that - its nice that so far it has proven true - but its not required. Same with similarly prepared systems.
Thanks
Bill
Last edited: