dorsal/arxiv
View SchemaOn the computational capabilities of physical systems part II: relationship with conventional computer science
| Authors | David H. Wolpert |
|---|---|
| Categories | |
| ArXiv ID | physics/0005059 |
| URL | https://arxiv.org/abs/physics/0005059 |
Abstract
In the first of this pair of papers, it was proven that that no physical computer can correctly carry out all computational tasks that can be posed to it. The generality of this result follows from its use of a novel definition of computation, ``physical computation''. This second paper of the pair elaborates the mathematical structure and impossibility results associated with physical computation. Analogues of Chomsky hierarcy results concerning universal Turing Machines and the Halting theorem are derived, as are results concerning the (im)possibility of certain kinds of error-correcting codes. In addition, an analogue of algorithmic information complexity, ``prediction complexity'', is elaborated. A task-independent bound is derived on how much the prediction complexity of a computational task can differ for two different universal physical computers used to solve that task, a bound similar to the ``encoding'' bound governing how much the algorithm information complexity of a Turing machine calculation can differ for two universal Turing machines. Finally, it is proven that either the Hamiltonian of our universe proscribes a certain type of computation, or prediction complexity is unique (unlike algorithmic information complexity).
{
"annotation_id": "e8c812f1-e2ec-4a00-9ad8-ca03874381c4",
"date_created": "2026-03-02T18:00:32.024000Z",
"date_modified": "2026-03-02T18:00:32.024000Z",
"file_hash": "466cb72993804b73494c905199e8656c367eb353f7553d51ec097e74b8c3d2cd",
"private": false,
"record": {
"abstract": "In the first of this pair of papers, it was proven that that no physical\ncomputer can correctly carry out all computational tasks that can be posed to\nit. The generality of this result follows from its use of a novel definition of\ncomputation, ``physical computation\u0027\u0027. This second paper of the pair elaborates\nthe mathematical structure and impossibility results associated with physical\ncomputation. Analogues of Chomsky hierarcy results concerning universal Turing\nMachines and the Halting theorem are derived, as are results concerning the\n(im)possibility of certain kinds of error-correcting codes. In addition, an\nanalogue of algorithmic information complexity, ``prediction complexity\u0027\u0027, is\nelaborated. A task-independent bound is derived on how much the prediction\ncomplexity of a computational task can differ for two different universal\nphysical computers used to solve that task, a bound similar to the ``encoding\u0027\u0027\nbound governing how much the algorithm information complexity of a Turing\nmachine calculation can differ for two universal Turing machines. Finally, it\nis proven that either the Hamiltonian of our universe proscribes a certain type\nof computation, or prediction complexity is unique (unlike algorithmic\ninformation complexity).",
"arxiv_id": "physics/0005059",
"authors": [
"David H. Wolpert"
],
"categories": [
"physics.comp-ph",
"cond-mat.stat-mech",
"cs.CC",
"math.OC",
"physics.gen-ph"
],
"title": "On the computational capabilities of physical systems part II: relationship with conventional computer science",
"url": "https://arxiv.org/abs/physics/0005059"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "906573ab-73a4-4369-a09d-915999804bd6",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}