dorsal/arxiv
View SchemaUndecidable classical properties of observers
| Authors | Sven Aerts |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0507001 |
| URL | https://arxiv.org/abs/quant-ph/0507001 |
| DOI | 10.1007/s10773-005-9008-9 |
Abstract
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 interaction. For an actual property, the observed outcome has to affirm that property with certainty, hence in this case the correlation needs to be perfect. A property is called classical if either the property or its negation is actual. It is shown by a diagonal argument that there exist classical properties of an observer that he cannot observe perfectly. Because states are identified with the collection of properties that are actual for that state, it follows that no observer can perfectly observe his own state. Implications for the quantum measurement problem are briefly discussed.
{
"annotation_id": "d78c79dc-5231-45c5-942d-b8b5e263d5fc",
"date_created": "2026-03-02T18:02:16.988000Z",
"date_modified": "2026-03-02T18:02:16.988000Z",
"file_hash": "f550102279bd3523f5ca4f5ff9973aeb42d57c73a226fb7d87fd667b80d15069",
"private": false,
"record": {
"abstract": "A property of a system is called actual, if the observation of the test that\npertains to that property, yields an affirmation with certainty. We formalize\nthe act of observation by assuming that the outcome correlates with the state\nof the observed system and is codified as an actual property of the state of\nthe observer at the end of the measurement interaction. For an actual property,\nthe observed outcome has to affirm that property with certainty, hence in this\ncase the correlation needs to be perfect. A property is called classical if\neither the property or its negation is actual. It is shown by a diagonal\nargument that there exist classical properties of an observer that he cannot\nobserve perfectly. Because states are identified with the collection of\nproperties that are actual for that state, it follows that no observer can\nperfectly observe his own state. Implications for the quantum measurement\nproblem are briefly discussed.",
"arxiv_id": "quant-ph/0507001",
"authors": [
"Sven Aerts"
],
"categories": [
"quant-ph"
],
"doi": "10.1007/s10773-005-9008-9",
"title": "Undecidable classical properties of observers",
"url": "https://arxiv.org/abs/quant-ph/0507001"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "aa6a21bf-6576-439c-884a-0753fa5b5a52",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}