代理与数字物理
Agency and the physics of numbers
摘要：
类似于哥德尔的不完备性定理是物理学中的一个定理，其大意是给定证据的解释集是不可数无限的。这个定理的一个含义是，理论和实验之间的联系取决于计算和测量之外的活动--一些主体做出猜测的物理活动。站在猜测的需要，我们开发了一个表示的符号处理代理，既计算，有时，收到一个猜测与甲骨文的互动。我们展示：（1）物理学如何依赖这样一个主体来弥合理论和实验之间的逻辑鸿沟;（2）如何表示主体交流数字和其他符号的能力;（3）这种交流如何成为发展时空理论和实现的基础，以及相关的运动管理竞争方案。
英文摘要：
Analogous to Gödel's incompleteness theorems is a theorem in physics to the effect that the set of explanations of given evidence is uncountably infinite. An implication of this theorem is that contact between theory and experiment depends on activity beyond computation and measurement -- physical activity of some agent making a guess. Standing on the need for guesswork, we develop a representation of a symbol-handling agent that both computes and, on occasion, receives a guess from interaction with an oracle. We show: (1) how physics depends on such an agent to bridge a logical gap between theory and experiment; (2) how to represent the capacity of agents to communicate numerals and other symbols, and (3) how that communication is a foundation on which to develop both theory and implementation of spacetime and related competing schemes for the management of motion.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
