dorsal/arxiv
View SchemaResource Limited Theories and their Extensions
| Authors | Paul Benioff |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0303086 |
| URL | https://arxiv.org/abs/quant-ph/0303086 |
Abstract
This work is based on the idea that extension of physical and mathematical theories to include the amount of space, time, momentum, and energy resources required to determine properties of systems may influence what is true in physics and mathematics at a foundational level. Background material, on the dependence of region or system sizes on both the resources required to study the regions or systems and the indirectness of the reality status of the systems, suggests that one associate to each amount, r, of resources a domain, D_{r}, a theory, T_{r}, and a language, L_{r}. D_{r} is limited in that all statements in D_{r} require at most r resources to verify or refute. T_{r} is limited in that any theorem of T_{r} must be provable using at most r resources. Also any theorem of T_{r} must be true in D_{r}. L_{r} is limited in that all expressions in L_{r} require at most r resources to create, display, and maintain. A partial ordering of the resources is used to describe minimal use of resources, a partial ordering of the T_{r}, and motion of an observer using resources to acquire knowledge. Reflection principles are used to push the effect of Godel's incompleteness theorem on consistency up in the partial ordering. It is suggested that a coherent theory of physics and mathematics, or theory of everything, is a common extension of all the T_{r}.
{
"annotation_id": "eb899e80-ef1b-4568-8d5d-6c5353059a74",
"date_created": "2026-03-02T18:01:56.464000Z",
"date_modified": "2026-03-02T18:01:56.464000Z",
"file_hash": "3bc4288d139f17e470117b372f4506c9cc7421da79f72ce131b46c8c7896ec65",
"private": false,
"record": {
"abstract": "This work is based on the idea that extension of physical and mathematical\ntheories to include the amount of space, time, momentum, and energy resources\nrequired to determine properties of systems may influence what is true in\nphysics and mathematics at a foundational level. Background material, on the\ndependence of region or system sizes on both the resources required to study\nthe regions or systems and the indirectness of the reality status of the\nsystems, suggests that one associate to each amount, r, of resources a domain,\nD_{r}, a theory, T_{r}, and a language, L_{r}. D_{r} is limited in that all\nstatements in D_{r} require at most r resources to verify or refute. T_{r} is\nlimited in that any theorem of T_{r} must be provable using at most r\nresources. Also any theorem of T_{r} must be true in D_{r}. L_{r} is limited in\nthat all expressions in L_{r} require at most r resources to create, display,\nand maintain. A partial ordering of the resources is used to describe minimal\nuse of resources, a partial ordering of the T_{r}, and motion of an observer\nusing resources to acquire knowledge. Reflection principles are used to push\nthe effect of Godel\u0027s incompleteness theorem on consistency up in the partial\nordering. It is suggested that a coherent theory of physics and mathematics, or\ntheory of everything, is a common extension of all the T_{r}.",
"arxiv_id": "quant-ph/0303086",
"authors": [
"Paul Benioff"
],
"categories": [
"quant-ph",
"gr-qc"
],
"title": "Resource Limited Theories and their Extensions",
"url": "https://arxiv.org/abs/quant-ph/0303086"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "478e6a50-e4fd-4f9b-8b7c-fd550bd290a2",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}