Undecidable classical properties of observers


A property of a system is called actual, if the observation of the test that pertains to that property, yields an affirmation with certainty. We formalize the act of observation by assuming that the outcome correlates with the state of the observed system and is codified as an actual property of the state of the observer at the end of the measurement… (More)