[论文解读] Resource Limited Theories and their Extensions

Paul Benioff|ArXiv.org|Mar 13, 2003

Computability, Logic, AI Algorithms参考文献 10被引用 3

一句话总结

本文提出一个框架，其中物理与数学理论受制于资源限制——如空间、时间、能量和动量——为每个资源水平 $r$ 引入特定领域的理论 $T_r$、语言 $L_r$ 和领域 $D_r$。主要贡献在于通过理论的偏序关系与反射原理，以资源受限的方式处理基础物理学与数学，应对哥德尔不完备性问题，旨在将统一的‘万物理论’（TOE）视为所有 $T_r$ 的极限。

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}.

研究动机与目标

• 通过将空间、时间、能量、动量等物理资源约束纳入理论构建，解决物理学与数学的基础性问题。
• 通过资源可用性来确立陈述的存在性与真理性，调和数学实在论与物理限制之间的张力。
• 利用反射原理扩展哥德尔不完备性定理，将一致性问题在资源受限理论的偏序结构中向上推进。
• 提出一个连贯的‘万物理论’（TOE）作为所有资源受限理论 $T_r$ 的极限，统一算术、量子力学与数学推理。
• 构建一个形式化框架，其中陈述的真理性与可证明性取决于验证或反驳它们所需的物理资源。

提出的方法

• 将领域 $D_r$ 定义为可使用最多 $r$ 个物理资源（空间、时间、能量、动量）验证或反驳的所有陈述的集合。
• 将理论 $T_r$ 定义为：其定理可在最多 $r$ 个资源内证明，且所有定理在 $D_r$ 中为真。
• 将语言 $L_r$ 定义为：可使用最多 $r$ 个资源创建、显示并维持的表达式集合。
• 使用资源向量 $r$ 的偏序关系定义理论的层级结构，当 $r' \geq r$ 在所有分量上时，$T_{r'}$ 扩展 $T_r$。
• 对有效性陈述 $Val_r(G(S))$ 应用反射原理，即 $T_r$ 对于陈述 $S$ 是有效的，以在资源层级中向上推进哥德尔第二不完备定理的含义。
• 将观察者的知识获取建模为资源使用路径，每一步验证或反驳一个陈述，并将总知识定义为这些陈述的并集。

实验结果

研究问题

• RQ1 如何系统性地将空间、时间、能量、动量等物理资源约束纳入物理与数学理论的基础？
• RQ2 陈述的真理性、可证明性与验证或反驳其所需的最小资源成本 $r(S)$ 之间有何关系？
• RQ3 在资源受限的框架中，如何利用反射原理处理哥德尔不完备性定理？
• RQ4 能否将统一的‘万物理论’（TOE）构建成所有 $T_r$ 理论的极限，其一致性有何含义？
• RQ5 语言与符号表征的物理本质如何影响 $L_r$ 的定义及表达式的资源成本？

主要发现

• 每个陈述 $S$ 都有最小资源成本 $r(S)$，且 $S$ 首次出现在 $D_{r(S)}$ 和 $T_{r(S)}$ 中，意味着其真值或假值仅在该资源层级才可访问。
• 理论 $T_r$ 按资源向量部分有序：当 $r' \geq r$ 在所有分量上时，$T_{r'}$ 扩展 $T_r$，确保 $T_r$ 的定理也是 $T_{r'}$ 的定理。
• 提出 TOE 作为所有 $T_r$ 的极限，统一算术、量子力学与数学推理，但无法证明其自身的一致性，因受哥德尔定理限制。
• 反射原理使得 $T_r$ 的一致性可在更高阶理论 $T_{r'}$ 中表达，从而将一致性问题在资源层级中向上推进。
• 该框架表明，数学对象与物理系统的存在性与资源可用性相关联，挑战数学实在论，并通过物理约束解释数学的‘不合理有效性’。
• 该模型表明，$L_r$ 中的语言表达必须考虑可变的物理表现场景（从纳米级到公里级），挑战了关于符号大小与资源成本固定的先前假设。