dorsal/arxiv
View SchemaMeasurability and Computability
| Authors | Masanao Ozawa |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/9809048 |
| URL | https://arxiv.org/abs/quant-ph/9809048 |
Abstract
The conceptual relation between the measurability of quantum mechanical observables and the computability of numerical functions is re-examined. A new formulation is given for the notion of measurability with finite precision in order to reconcile the conflict alleged by M. A. Nielsen [Phys. Rev. Lett. 79, 2915 (1997)] that the measurability of a certain observable contradicts the Church-Turing thesis. It is argued that any function computable by a quantum algorithm is a recursive function obeying the Church-Turing thesis, whereas any observable can be measured in principle.
{
"annotation_id": "f0c1417e-cbcb-4c87-84e8-bd2d98e7ffe1",
"date_created": "2026-03-02T18:02:44.968000Z",
"date_modified": "2026-03-02T18:02:44.968000Z",
"file_hash": "d823678ef9255770a21b8a00e2b2e924e02c402fca1af9ab1a991ab3e68b9ee0",
"private": false,
"record": {
"abstract": "The conceptual relation between the measurability of quantum mechanical\nobservables and the computability of numerical functions is re-examined. A new\nformulation is given for the notion of measurability with finite precision in\norder to reconcile the conflict alleged by M. A. Nielsen [Phys. Rev. Lett. 79,\n2915 (1997)] that the measurability of a certain observable contradicts the\nChurch-Turing thesis. It is argued that any function computable by a quantum\nalgorithm is a recursive function obeying the Church-Turing thesis, whereas any\nobservable can be measured in principle.",
"arxiv_id": "quant-ph/9809048",
"authors": [
"Masanao Ozawa"
],
"categories": [
"quant-ph"
],
"title": "Measurability and Computability",
"url": "https://arxiv.org/abs/quant-ph/9809048"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "66c1458a-60db-4333-8fa5-e5517bf19950",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}