Sorry if I wasn't clear but that was my point. I was trying to get people to read it rather than simply regurgitate what it says and in doing so wasn't 100% clear in what I was trying to get across.
I was quoting Feller to make a point about post #47 by vanhees71. Do you call that reguritation?
In speaking of Feller I was talking of the introduction - The Nature Of Probability Theory.
In post #49 you mention the early chapters.
The whole chapter needs to be read. If I was to post about it would simply repeat that chapter and I urge anyone interested in applying probability theory, and indeed applied math in general, to read it.
However a quote from page 3 sums it up:
'We shall no more attempt to explain the true meaning of probability than the modern physicist dwells on the real meaning of mass and energy or the geometer discusses the nature of a point. Indeed we shall prove theroms and see how they are applied'
In particular the Kolmogorov axioms leave the notion of event undefined. Applying it requires the mapping of that concept to 'things' out there which only comes from practice and experience. Its similar to the concept of point in geometry. In Euclid's axioms a point has position and no size. Such of course do not exist, but from drawing diagrams and seeing how theorems are proved you get an intuitive feel how to map it to things about there such pegs (for points) and strings (for lines) surveyors use. It's usually so obvious no one explicitly states it. The same in probability - by seeing how events are mapped to things like coin tosses etc etc we gradually build up an understanding.
An event is defined in probability theory as a subset of the probability space.
In QM the primitive is observation. The usual formalism no more attempts to define precisely what that is than probability does event. It can be done - see the Geometry of Quantum Theory by Varadarajan - but like other highly abstract approaches to physics such as Symplectic geometry and mechanics its mathematical beauty is sublime - applying it however is another matter - which is why physicists in general take a different route. Its like Hilbert's axioms of Euclidean geometry. Mathematically it defines exactly what Euclidean geometry is, but from an applied viewpoint Euclid's axioms are used because how to apply it is much clearer - but from the viewpoint of pure math has issues - which is why Hilbert came up with his axioms.
I'm going to quibble here. A primitive of a theory is an undefined term, such as mass, length, time and force in Newtonian Mechanics. BTW energy is not a primitive, but is define in terms of the others. Observation = measurement is well define in QM by an axiom, as is state.
An interesting thing about probability is the same Kolomogorov axioms are used for both pure and applied approaches.
Thanks
Bill