Experiments, Computability, and the Existence of Physical Functions

想象你是一位厨师，正试图写下“完美汤品”的食谱。一位严格的数学家可能会问：“无论谁烹饪、使用何种炉灶、如何品尝，‘完美汤品’是否作为一个单一、普适的实体而存在？”这位数学家可能会担心，因为每位厨师的汤品都略有不同，所以根本找不到单一的“汤品函数”。

本文由物理学家伊萨克·佩雷斯·卡斯特罗（Isaac Pérez Castillo）撰写，他认为这种担忧源于对“实验”（或食谱）本质的误解。作者建议我们停止寻找宇宙中漂浮的某种神奇、无形的“完美汤品”，转而关注食谱本身。

以下是本文的论点，拆解为简单的概念和类比：

1. 实验是机器，而非谜团

文章从一个简单的定义开始：实验仅仅是一个有限的步骤列表，你遵循这些步骤以获得结果。

类比：想象一台自动售货机。你输入特定代码（输入），按下按钮（过程），几秒钟后，它掉出一包零食（输出）。
要点：你无需了解零食制作的深层物理原理，就能知道这台机器是有效的。只要机器拥有清晰的步骤、明确的启动方式和明确的停止方式，它就是一个“过程”。本文认为，每一个实验室实验都如同这台自动售货机。它接收制备好的样本，遵循规则，然后吐出一个数字。

2. 通往数学的“桥梁”（丘奇 - 图灵原理）

作者使用了一个名为“物理丘奇 - 图灵桥梁原理”的概念。这是一种 fancy 的说法，意指：“如果人类可以遵循一套规则获得结果，那么计算机也可以遵循同样的规则获得相同的结果。”

类比：想象你在教机器人烤蛋糕。如果你能把指令写得足够清晰，让人类能够遵循（例如“搅拌 2 分钟”、“在 350 度下烘烤”），那么计算机也能遵循这些指令。
结论：因为实验仅仅是指令集，所以它们是“可计算的”。如果一个过程是可计算的，那么它所创建的“映射”（输入 $\to$ 输出）就存在。函数之所以存在，是因为运行它的机器存在。

3. “有限精度”问题（为何我们不需要完美的数字）

一个常见的反对意见是：“但实验并不完美！它们给出的数字像 3.14 或 3.141，却永远不是精确的无限数 $\pi$ 。如果我们无法得到确切答案，函数还存在吗？”

类比：想象你试图测量房间的长度。你用尺子量得 10 英尺。然后用卷尺量得 10.1 英尺。接着用激光测量得 10.12 英尺。你从未得到“无限”的小数，但你正越来越接近。
本文观点：本文认为这没关系。在“可计算分析”（数学的一个分支）的世界里，如果你能一步步无限逼近某个数，该数就被视为“可计算的”。你不需要在一秒钟内打印出整个无限数字。你只需要一个过程，说明“如果你需要更高的精度，该如何获取”。
要点：实验不需要输出一个完美的、无限的实数才有效。它只需要能够在你每次要求时，提供比之前更好的近似值。

4. “溶解度”故事（为何语境至关重要）

作者讲了一个关于化学家朋友的故事，这位朋友担心“溶解度”（糖在水中的溶解量）。朋友问道：“是否存在一个‘溶解度函数’？”他感到困惑，因为答案会随着温度、水的类型或搅拌方式的变化而改变。

类比：想象你问：“房子的价格是多少？”答案完全取决于你问的是哪栋房子、哪个城市以及什么时间。整个宇宙并没有一个单一的“房价”。
本文的解决方案：本文说：“是的，函数存在，但仅针对你正在使用的特定食谱。”
- 如果你固定了温度、水的类型和搅拌方法，你就拥有了一个特定的“溶解度机器”。
- 该机器计算出一个特定的映射。
- 该函数对于那台机器是存在的。
- 如果你改变食谱（例如，用热水代替冷水），你就是在构建一台不同的机器，它计算出一个不同的映射。

5. 那随机性呢？（掷骰子）

有些实验是随机的。如果你运行十次相同的测试，可能会得到十个略有不同的数字。函数还存在吗？

类比：想象一台老虎机。你拉动拉杆（输入），它给出一个随机数字（输出）。结果并非每次相同。
本文观点：函数依然存在！只不过，它不再是一个给出单一特定数字的映射，而是一个给出数字分布的映射（一种随机模式）。
实验计算的是一个“采样器”。它不给你一个单点，而是给你一个可靠的点集模式。存在性主张依然成立；对象只是从单个点变成了点云。

总结：本文实际主张的内容

本文并非声称物理学中的一切都是可计算的，也非声称所有实验最终都会就一个单一的“普遍真理”达成一致。

相反，它提出了一个更简单、更尖锐的主张：

停止寻找魔法：不要担心抽象中是否存在一个“完美的、与协议无关的”函数。
关注过程：如果你有一个固定的食谱（协议）、一套固定的规则以及一种报告结果的方法，那么该食谱就是一个函数。
因运行而存在：因为食谱是一组有限的步骤，计算机可以遵循，所以它计算的函数存在。
语境为王：函数属于你正在运行的特定实验。如果你改变了实验，你就得到了一个不同的函数。这并不意味着第一个函数不存在；它只是意味着你更换了机器。

核心结论：
本文告诉我们，停止问“真正的溶解度存在吗？”，转而问"这个特定实验计算出了什么？”一旦你清晰地定义了实验，答案永远是“是的，它计算出了一个函数。”该函数就存在于机器的输出之中。

技术摘要：实验、可计算性与物理函数的存在性

问题陈述
本文探讨了实验科学中关于物理函数“存在性”的一个概念性难题。作者以溶解度函数为例指出，尽管实验室 routinely 测量各种量，但所报告的数值高度依赖于具体协议（溶剂、温度、平衡判据、样品制备）和报告惯例。这种依赖性引发了一个疑问：是否存在一个定义良好、与协议无关的数学函数？传统的数学观点通常要求函数是定义良好空间之间的连续映射，且其定义域和值域必须与协议无关，从而导致人们对在混乱的实验情境中是否存在此类函数持怀疑态度。本文旨在通过可计算性理论的视角重新框架化“存在性”问题，以解决这一难题。

方法论
作者采用了一个结合测量哲学、计量学（特别是《国际计量学词汇》和《测量不确定度表示指南》）以及可计算分析的框架。核心方法论的举措是将可重复的实验室实验视为一个有限的、有效的过程（即算法），该过程将允许的输入映射为有限的报告，而非视为随时间演化的物理过程。

论证按三个逻辑阶段展开：

结构分析：将实验定义为包含协议（ $P$ ）、背景条件（ $C$ ）和报告规则（ $R$ ）的步骤序列，该序列以有限输出终止。
桥梁原则：引入一个受限的物理图灵 - 丘奇桥梁原则。该论题主张，对于每一个固定的、有限指定的、可重复的实验室协议，都存在一个图灵可计算的过程，能够复现该协议的输入 - 输出行为。
可计算分析：应用可计算分析的工具来处理有限精度测量和随机性，区分有限报告的直接计算与实数值的近似计算。

主要贡献与结果

计算映射的存在性（命题 1）：
本文确立，一个固定的实验协议定义了一个可计算函数 $F: D \to \text{Rep}_{\text{fin}}$ ，其中 $D$ 是允许的有限输入描述集合， $\text{Rep}_{\text{fin}}$ 是有限报告对象集合（例如：有理数、区间、带有不确定性的字符串）。在物理图灵 - 丘奇桥梁原则下，实验是一个以报告终止的有效过程；因此，它所计算的映射在最小数学意义上是存在的。函数的存在性并非前提条件，而是实验作为一个终止的有效过程的结果。
有限精度与实值理想化（命题 2）：
本文澄清，实验并非在单一步骤中输出精确的实数。相反，利用可计算分析，如果一个过程能够产生任意请求精度的有理数近似值（ $|q_n - y| \le 2^{-n}$ ），则该实数值被认为是可计算的。本文认为，有限精度测量并非实值函数存在的障碍，恰恰是计算这些函数的机制。只有当有限报告能够被组织成一种连贯的细化方案（例如，增加积分时间或重复计数）并收敛于目标值时，实值函数才在此意义上存在。
协议依赖性与操作可测量：
本文明确拒绝为了存在性而需要一个单一的、与协议无关的函数的观点。相反，它定义了一个操作可测量（ $F_{P,C,R}$ ），该量特定于协议、条件和报告规则。改变这些参数会改变所计算的映射。不同的协议是否测量了“相同”的底层量，这是一个独立的、更高层级的科学成就问题，需要校准和稳健性论证，而非特定协议所计算函数存在性的先决条件。
随机性作为可计算对象：
对于重复运行产生不同报告的随机实验，本文认为所计算的对象并非存在性的失败，而是函数类型的转变。在随机情况下，实验计算的是报告上概率分布的采样过程（ $\mu_{x,k}$ ）。存在性主张依然成立：实验定义了一个从输入到报告分布（或其采样器）的可计算映射，而非确定性的点值映射。

意义与范围
本文的意义在于区分了科学哲学中常被混淆的三个不同问题：

函数是否存在（通过桥梁原则，针对固定协议给出肯定回答）。
函数是否可计算（在桥梁原则下给出肯定回答）。
不同协议的结果是否测量了相同的量（这是一个需要收敛性和校准的独立科学问题）。

作者明确限定了主张的范围：

本文并未证明适用于所有物理过程或任意物理演化的普适物理图灵 - 丘奇论题。
本文并未声称所有协议都收敛于单一的、与协议无关的实数值量。
本文并未涉及计算复杂性或评估这些函数的实际可行性。

结论是，一旦实验被规定为一个有限的终止过程，物理函数的“存在性”便得到了保障。科学工作随后从证明存在性转向解释所计算映射的结构、在不同协议间进行比较，并确定何时有必要将其统一为与协议无关的量。这将问题从关于未测量量之实在性的形而上学担忧，重构为对具体实验程序实际计算内容的分析方法。