自由能动性与决定论：计算源性是否存在合理的定义？

自由能动性能否与决定论相容？相容论者认为答案是肯定的，并且有人提出计算机科学中的“计算不可约性”原理有助于阐明这种相容性。它意味着一般不存在预测能动者行为的捷径，这解释了为何决定论下的能动者常显得自由行动。本文中，我们引入计算不可约性的一个变体，旨在更准确地刻画实际（而非表观）自由能动性的各个方面：计算源性，即无论预测耗时多久，对过程行为的成功预测通常必须包含该过程相关特征的近乎精确表征的现象。我们认为这可理解为过程本身是其行为之源，并猜想许多计算过程具有此性质。本文的主要贡献是技术性的：我们分析是否存在以及如何可能给出计算源性的合理形式化定义。虽未完全回答该问题，我们展示了它如何与在图灵机上寻找特定模拟前序相关，揭示了构造此类定义的具体障碍，并证明模拟层级间保持结构（而非仅简单或高效）的函数起着关键作用。