Dmitry67 said:
Fra, is Observer irreducable and fundametal?
In another words, can we write (in principle) very complicated function IsObserver(X) where X is any system, and IsObserver() returns boolean value?
The way I envision this program - which I think is the only consistent way I know of - is that the reconstruction of a probability theory(*) I imagine will also be a reconstruction of the makeup of viable physical systems, and thus observers.
The physical systems in nature are not arbitrary, as we know from the standard model. So indeed "any system" is already constrained if we count only those that we see in nature, and the constraints of "any system" is the same that qualifies them to be a "physical observer". So given that "the system" is constructed in a physical process (and not just beeing made up in some wild theory) then all physical systems qualifis as observers. That's my view.
(*) Since I share part of the spirit of Jaynes and Ariel, I think that somehow probability theory is an extension to logic and indeed the logic of science and reasning, but only sort of! The current continuum probability makes no sense. So the reconstruction I imagein, is really a reconstruction of a more physical measure theory, and in my interpretation and observer or a system IS thought of as a measure-complex. This measure complex is a generalisation and replacement of the hilbert space abstraction. Actually I expect there to be a one to one mapping from one measure-complex to one hilbert space, but the problem is that hilbert spaaces are normally thought of as qualifiying context. In my view the measure-complexes are embodied by observers, and these are evolving. So in my view hilbert spaces are evolving - which is why I find hilbert space the first axioms of ordinary QM to be inappropriate.
So I am working on an extension/reconstruction of probability theory which is the basis for statistical physics and classical thermodynamics. The new "information-complex" theory will (this is my conjecture) like classical probability leads to thermodynamics, lead to ordinary physics with much more complex interactions. The classical state space corresponding to a probability space, is replaced by a measure-complex (a system of related discrete spaces) which in a differential sense corresponds to hilbert spaces.
This plan, implies also that the actions or hamiltonians are encoded in the measure-complexes simply as natural diffusion type actions. The measure complex vs simple probability space is what I expect will make the interaction nontrivial and diverse, rather than just diffusion type like in thermodynamics.
/Fredrik